ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+885.74%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (-28.51%)
nest-angularFull-stack with nest js & angular 8
Stars: ✭ 32 (-93.39%)
OOP-In-CPlusPlusAn Awesome Repository On Object Oriented Programming In C++ Language. Ideal For Computer Science Undergraduates, This Repository Holds All The Resources Created And Used By Me - Code & Theory For One To Master Object Oriented Programming. Filled With Theory Slides, Number Of Programs, Concept-Clearing Projects And Beautifully Explained, Well Doc…
Stars: ✭ 27 (-94.42%)
archsatA proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-95.87%)
submlSubML (prototype) language
Stars: ✭ 21 (-95.66%)
BattleshipAn Object-Oriented VBA experiment
Stars: ✭ 66 (-86.36%)
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-84.92%)
swagger-object-validatorNode-Module to validate your model against a swagger spec and receive in-depth error traces
Stars: ✭ 27 (-94.42%)
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-90.91%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-95.87%)
GeneticVariation.jlDatastructures and algorithms for working with genetic variation
Stars: ✭ 33 (-93.18%)
Java-ProgramsJava Practiced Problems including concepts of OOPS, Interface, String , Collection.
Stars: ✭ 51 (-89.46%)
poly collectionFast containers of polymorphic objects.
Stars: ✭ 58 (-88.02%)
Unity-SerializeReferenceExtensionsProvide popup to specify the type of the field serialized by the [SerializeReference] attribute in the inspector.
Stars: ✭ 255 (-47.31%)
typeclass-interface-patternIdeas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Stars: ✭ 26 (-94.63%)
React Polymorphic BoxBuilding blocks for strongly typed polymorphic components in React.
Stars: ✭ 206 (-57.44%)
JsonsubtypesDiscriminated Json Subtypes Converter implementation for .NET
Stars: ✭ 201 (-58.47%)
TeTE: C++17 Run-time polymorphism (type erasure) library
Stars: ✭ 186 (-61.57%)
Python And OopObject-Oriented Programming concepts in Python
Stars: ✭ 123 (-74.59%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (-83.26%)
Laravel OwnershipLaravel Ownership simplify management of Eloquent model's owner.
Stars: ✭ 71 (-85.33%)
ZipperpositionAn automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Stars: ✭ 46 (-90.5%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-93.18%)
DynoRuntime polymorphism done right
Stars: ✭ 674 (+39.26%)
FelixThe Felix Programming Language
Stars: ✭ 609 (+25.83%)
Dynamix🍥 A new take on polymorphism in C++
Stars: ✭ 504 (+4.13%)