The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming

TypeDB: Built for systems, not records

Proxy: Next Generation Polymorphism in C++

Improved Django model inheritance with automatic downcasting

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

Runtime polymorphism done right

The Felix Programming Language

Shoggoth: Asmjit Based Polymorphic Encryptor

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

:fish_cake: A new take on polymorphism

Metamorphic cross-compilation of C++ & C-code to PIC, BOF & EXE.

A programming language that's wise beyond its bytes!🌱🌿🪴

Python AV Evasion Tools

C++17 Run-time Polymorphism (Type Erasure) library

Discriminated Json Subtypes Converter implementation for .NET

Fast, orthogonal, open multi-methods. Solve the Expression Problem in C++17.

Building blocks for strongly typed polymorphic components in React.

Full-featured interfaces for C99

Object-Oriented Programming concepts, with Python

Object-oriented programming (OOP) is a method of structuring a program by bundling related properties and behaviors into individual objects. In this tutorial, you’ll learn the basics of object-oriented programming in Python.

Simple and memory-efficient implementation of OOP in C suitable for real-time embedded systems.

TypeQL: Built for systems, not records

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

Zero-runtime polymorphic component definitions for React

Comptime interface generation modeled after vtable design found in the stdlib.

Different type inference algorithms implemented in F#

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.

vm_str.hpp is a header only string obfuscator.

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

:books: A demonstration of implementing a "type-safe" lazy iterator interface in pure C99