Top 31 polymorphism open source projects

Building blocks for strongly typed polymorphic components in React.

Discriminated Json Subtypes Converter implementation for .NET

TE: C++17 Run-time polymorphism (type erasure) library

Знаете ли вы ооп?

Object-Oriented Programming concepts in Python

A realtime/embedded-friendly C++11 variant type which is never empty and prevents undesirable implicit conversions

Zero-runtime polymorphic component definitions for React

Laravel Ownership simplify management of Eloquent model's owner.

An 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.

A statically-typed strictly-evaluated garbage-collected readable programming language.

Runtime polymorphism done right

The Felix Programming Language

🍥 A new take on polymorphism in C++

C++17 `std::variant` for C++11/14/17

Λrrow - Functional companion to Kotlin's Standard Library

A fool's scriptum on functional programming

Full-stack with nest js & angular 8

An 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…

Research on malware creation and protection

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

SubML (prototype) language

An Object-Oriented VBA experiment

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Node-Module to validate your model against a swagger spec and receive in-depth error traces

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Formalization of the polymorphic lambda calculus and its parametricity theorem

Datastructures and algorithms for working with genetic variation

Java Practiced Problems including concepts of OOPS, Interface, String , Collection.

Fast containers of polymorphic objects.

Provide popup to specify the type of the field serialized by the [SerializeReference] attribute in the inspector.

Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C