Full-featured interfaces for C99
TypeQL: the polymorphic query language of TypeDB
Знаете ли вы ооп?
Designed for saving assignments, submission exercises and projects
An automatic theorem prover in OCaml for typed higher-order logic with e...
A realtime/embedded-friendly C++11 variant type which is never empty and...
:books: A demonstration of implementing a "type-safe" lazy iterator inte...
Laravel Ownership simplify management of Eloquent model's owner.
An implementation of a predicative polymorphic language with bidirection...
Java Practiced Problems including concepts of OOPS, Interface, String , ...
In this repository, I gathered a lot of useful examples of code and thei...
An Object-Oriented VBA experiment
Object-oriented programming (OOP) is a method of structuring a program b...
Research on malware creation and protection
Fast containers of polymorphic objects.