The Felix Programming Language
Updated Nov 13, 2018
Runtime polymorphism done right
Updated Sep 30, 2018
🍥 A new take on polymorphism in C++
Updated Nov 11, 2018
C++17 `std::variant` for C++11/14/17
Updated Nov 10, 2018
Знаете ли вы ооп?
Updated Jan 27, 2018
[Boost].TE: C++17 Run-time polymorphism (type erasure) library
Updated Sep 27, 2018
Different type inference algorithms implemented in F#
A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions
Updated Aug 8, 2018
Laravel Ownership simplify management of Eloquent model's owner.
Updated Sep 9, 2018
Fast containers of polymorphic objects.
Updated Oct 3, 2018
Discriminated Json Subtypes Converter implementation for .NET
Updated Mar 9, 2018
An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+…
Updated Nov 13, 2018
In this repository, I gathered a lot of useful examples of code and their description that I create while studying pr…
Updated Mar 25, 2017
A demo project to show the Polymorphic Association using Devise
Updated Aug 18, 2014
[HEADER-ONLY] C++14 simple entity/component system for realtime games. Simplicity of use is preferred over a real "en…
Updated Sep 27, 2016
👽 A text based adventure game made using concepts of OOP like Inheritance, Composition, Association, Polymorphism etc
Updated Jul 3, 2018
An Object-Oriented VBA experiment
Updated Oct 14, 2018
Using C++ to build Nine Almonds, Checkers, Magic Square, Reversi , Chess, Tic Tac Toe Game.
Updated Jul 27, 2016
polymorphism with value semantics (based on std::variant)
Updated Sep 7, 2016
Node-Module to validate your model against a swagger spec and receive in-depth error traces
Updated Oct 18, 2017
The Wright programming language (WIP)
A proof-producing SMT/McSat solver. handles polymorphic first-order logic, and uses an SMT/McSat core extended using …
Updated Aug 30, 2018
Datastructures and algorithms for working with genetic variation
Updated Oct 17, 2018
A gentle and type-directed functional library with a focus on purity, abstraction and patterns.
Updated May 20, 2018
Java Practiced Problems including concepts of OOPS, Interface, String , Collection.
Updated Oct 8, 2017
A Hindley-Milner polymorphic typing system
Updated Sep 5, 2018
Notes and example scripts created while learning OOP using Python
Updated Aug 1, 2016
Examples of OOP (Object-oriented programming) concepts.
Updated Jul 5, 2016
An alternative to monads for control flow DSLs
Updated Oct 19, 2018