Λrrow - Functional companion to Kotlin's Standard Library

Runtime polymorphism done right

The Felix Programming Language

🍥 A new take on polymorphism in C++

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

A fool's scriptum on functional programming

Discriminated Json Subtypes Converter implementation for .NET

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

Building blocks for strongly typed polymorphic components in React.

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

Different type inference algorithms implemented in F#

Object-Oriented Programming concepts in Python

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

Laravel Ownership simplify management of Eloquent model's owner.

Fast containers of polymorphic objects.

An Object-Oriented VBA experiment

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

In this repository, I gathered a lot of useful examples of code and their description that I create while studying programming. Here you can find examples on the use of the Inheritance, Encapsulation, Abstraction, Interfacies, Polymorphism, Indexers, Operators Overloading, Extention Methods, System IO , Exception Handling, Delegates, Events, IDisposable, IClonable, GC, IEnumerable, IEnumerator Interfaces, Yield, Generic Programming,

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

An automatic theorem prover in OCaml for typed higher-order logic with equality, datatypes and arithmetic, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

Full-stack with nest js & angular 8

A Hindley-Milner polymorphic typing system

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

SubML (prototype) language

Research on malware creation and protection

Formalization of the polymorphic lambda calculus and its parametricity theorem

Datastructures and algorithms for working with genetic variation

[HEADER-ONLY] C++14 simple entity/component system for realtime games. Simplicity of use is preferred over a real "entity-component-system" hierarchy. Components update and draw themselves (users create their own components and override the virtual methods). Fast, easy to use and to expand. Should be fine for any simple game.

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

A demo project to show the Polymorphic Association using Devise