polymorphism topic

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

mackysoft

Laravel Ownership simplify management of Eloquent model's owner.

cybercog

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, claus...

sneeuwballen

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

zehaochen19

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

tigranv

An Object-Oriented VBA experiment

rubberduck-vba

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

cbeck88

Fast containers of polymorphic objects.

boostorg

Research on malware creation and protection

PoCInnovation

This repository along with the articles repository (https://github.com/njnareshjoshi/articles) contains coding examples for my blog ProgrammingMitra

njnareshjoshi