Laravel OwnershipLaravel Ownership simplify management of Eloquent model's owner.
Stars: ✭ 71 (-8.97%)
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 (-41.03%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-57.69%)
DynoRuntime polymorphism done right
Stars: ✭ 674 (+764.1%)
FelixThe Felix Programming Language
Stars: ✭ 609 (+680.77%)
Dynamix🍥 A new take on polymorphism in C++
Stars: ✭ 504 (+546.15%)
VariantC++17 `std::variant` for C++11/14/17
Stars: ✭ 484 (+520.51%)
ArrowΛrrow - Functional companion to Kotlin's Standard Library
Stars: ✭ 4,771 (+6016.67%)
ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (+343.59%)
nest-angularFull-stack with nest js & angular 8
Stars: ✭ 32 (-58.97%)
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 (-65.38%)
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 (-74.36%)
submlSubML (prototype) language
Stars: ✭ 21 (-73.08%)
BattleshipAn Object-Oriented VBA experiment
Stars: ✭ 66 (-15.38%)
vanilla-langAn implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Stars: ✭ 73 (-6.41%)
swagger-object-validatorNode-Module to validate your model against a swagger spec and receive in-depth error traces
Stars: ✭ 27 (-65.38%)
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (-43.59%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-74.36%)
GeneticVariation.jlDatastructures and algorithms for working with genetic variation
Stars: ✭ 33 (-57.69%)
Java-ProgramsJava Practiced Problems including concepts of OOPS, Interface, String , Collection.
Stars: ✭ 51 (-34.62%)
poly collectionFast containers of polymorphic objects.
Stars: ✭ 58 (-25.64%)
Unity-SerializeReferenceExtensionsProvide popup to specify the type of the field serialized by the [SerializeReference] attribute in the inspector.
Stars: ✭ 255 (+226.92%)
typeclass-interface-patternIdeas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Stars: ✭ 26 (-66.67%)
React Polymorphic BoxBuilding blocks for strongly typed polymorphic components in React.
Stars: ✭ 206 (+164.1%)
JsonsubtypesDiscriminated Json Subtypes Converter implementation for .NET
Stars: ✭ 201 (+157.69%)
TeTE: C++17 Run-time polymorphism (type erasure) library
Stars: ✭ 186 (+138.46%)
Python And OopObject-Oriented Programming concepts in Python
Stars: ✭ 123 (+57.69%)
Strict VariantA realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Stars: ✭ 81 (+3.85%)