Python And OopObject-Oriented Programming concepts in Python
Stars: ✭ 123 (-33.87%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (-56.45%)
Laravel OwnershipLaravel Ownership simplify management of Eloquent model's owner.
Stars: ✭ 71 (-61.83%)
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 (-75.27%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-82.26%)
DynoRuntime polymorphism done right
Stars: ✭ 674 (+262.37%)
FelixThe Felix Programming Language
Stars: ✭ 609 (+227.42%)
Dynamix🍥 A new take on polymorphism in C++
Stars: ✭ 504 (+170.97%)
VariantC++17 `std::variant` for C++11/14/17
Stars: ✭ 484 (+160.22%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+2465.05%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (+86.02%)
nest-angularFull-stack with nest js & angular 8
Stars: ✭ 32 (-82.8%)
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 (-85.48%)
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 (-89.25%)
submlSubML (prototype) language
Stars: ✭ 21 (-88.71%)
BattleshipAn Object-Oriented VBA experiment
Stars: ✭ 66 (-64.52%)
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-60.75%)
swagger-object-validatorNode-Module to validate your model against a swagger spec and receive in-depth error traces
Stars: ✭ 27 (-85.48%)
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-76.34%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-89.25%)
GeneticVariation.jlDatastructures and algorithms for working with genetic variation
Stars: ✭ 33 (-82.26%)
Java-ProgramsJava Practiced Problems including concepts of OOPS, Interface, String , Collection.
Stars: ✭ 51 (-72.58%)
poly collectionFast containers of polymorphic objects.
Stars: ✭ 58 (-68.82%)
typeclass-interface-patternIdeas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Stars: ✭ 26 (-86.02%)
React Polymorphic BoxBuilding blocks for strongly typed polymorphic components in React.
Stars: ✭ 206 (+10.75%)
JsonsubtypesDiscriminated Json Subtypes Converter implementation for .NET
Stars: ✭ 201 (+8.06%)