Search Results - RepositoryStats

451

6.3k

other

91

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

arrow kotlin monads optics fp-types coroutines kotlin-dsl typeclasses polymorphism continuations hacktoberfest kotlin-library kotlin-libraries for-comprehension typed-lambda-calculus functional-programming delimited-continuations functional-data-structure

Created 2017-03-24

5,945 commits to main branch, last one 6 days ago

typedb typedb

340

3.9k

mpl-2.0

118

TypeDB: the power of programming, in your database

logic typedb typeql database inference reasoning polymorphic type-system polymorphism knowledge-base strongly-typed knowledge-representation

Created 2016-07-11

6,971 commits to 3.0 branch, last one 22 hours ago

proxy microsoft

159

2.4k

mit

44

Proxy: Next Generation Polymorphism in C++

cpp cpp20 library duck-typing header-only polymorphism single-header cross-platform

Created 2022-05-30

134 commits to main branch, last one 5 days ago

dyno ldionne

44

990

bsl-1.0

57

Runtime polymorphism done right

cpp hana cpp11 cpp14 cpp17 polymorphism type-erasure

Created 2016-12-15

235 commits to master branch, last one 5 years ago

Unity-SerializeReferenceExtensions mackysoft

64

868

mit

6

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

unity csharp c-sharp interface polymorphism unity-editor serialization serializereference

Created 2021-04-05

160 commits to main branch, last one 3 months ago

felix felix-lang

45

808

other

42

The Felix Programming Language

ocaml compiled compiler coroutines performant c-plus-plus programming polymorphism type-classes code-generator static-analysis scripting-language coroutine-framework platform-independent programming-language functional-programming parametric-polymorphism

Created 2010-03-02

8,529 commits to master branch, last one 4 months ago

Shoggoth frkngksl

89

699

unknown

13

Shoggoth: Asmjit Based Polymorphic Encryptor

pe bof coff asmjit loader shellcode obfuscator polymorphism polymorphic-engine

Created 2021-12-03

57 commits to main branch, last one 9 months ago

variant mpark

91

681

bsl-1.0

31

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

cpp cpp11 cpp14 cpp17 cpp20 variant polymorphism discriminated-unions

Created 2015-05-24

450 commits to master branch, last one 3 years ago

dynamix iboB

46

676

mit

39

:fish_cake: A new take on polymorphism

cpp oop mixins library polymorphism

Created 2016-06-19

589 commits to master branch, last one 3 months ago

sage adam-mcdaniel

17

492

mit

7

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

c web rust wasm mobile x86-64 compiler frontend portable polymorphism turing-tarpit pattern-matching structural-typing algebraic-data-types

Created 2022-04-20

688 commits to main branch, last one 4 months ago

te boost-ext

39

463

unknown

22

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

cpp17 concepts header-only polymorphism type-erasure metaprogramming

Created 2018-03-30

24 commits to master branch, last one 8 months ago

JsonSubTypes manuc66

57

414

mit

6

Discriminated Json Subtypes Converter implementation for .NET

json csharp dotnet subtype converter inheritance polymorphism deserializeobject

Created 2017-06-15

364 commits to master branch, last one 2 months ago

scriptum robotroutine

20

383

mit

15

No-Frills Functional Programming Lib Augmenting Javascript/Node.js

Created 2018-02-21

3,831 commits to master branch, last one a day ago

yomm2 jll63

19

359

bsl-1.0

14

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

cpp cpp17 open-methods polymorphism multi-methods multiple-dispatch expression-problem

Created 2017-09-10

464 commits to master branch, last one about a month ago

react-polymorphic-box kripod

14

347

mit

7

Building blocks for strongly typed polymorphic components in React.

react component typescript polymorphism

Created 2020-02-15

79 commits to main branch, last one 2 years ago

oop_with_python arvimal

129

311

mit

10

Object-Oriented Programming concepts, with Python

mro oop class magic lookup python python3 inherits attributes decorators polymorphism encapsulation attribute-lookup resolution-order method-overloading object-oriented-programming

Created 2016-05-14

77 commits to master branch, last one 3 years ago

interface99 hirrolot

14

311

mit

10

Full-featured interfaces for C99

c99 oop macros metalang99 type-system typeclasses polymorphism metaprogramming object-oriented dynamic-dispatch generic-programming

Created 2021-05-26

249 commits to master branch, last one 2 months ago

06_Python_Object_Class milaan9

246

295

mit

3

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

Created 2021-06-19

51 commits to main branch, last one 2 years ago

OOP-in-C QuantumLeaps

40

228

mit

13

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

c oop class embedded oop-in-c class-in-c inheritance polymorphism inheritance-in-c polymorphism-in-c

Created 2020-11-06

12 commits to master branch, last one about a year ago

typeql typedb

46

223

mpl-2.0

14

TypeQL: the power of programming, in your database

logic query typedb typeql database inference reasoning polymorphic type-system polymorphism query-language strongly-typed

Created 2019-02-16

1,065 commits to 3.0 branch, last one 19 hours ago

you-don-t-know-oop mokevnin

19

204

unknown

46

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

oop polymorphism

Created 2017-03-28

52 commits to master branch, last one 2 years ago

react-polymorphic-types kripod

8

197

mit

6

Zero-runtime polymorphic component definitions for React

react as-prop typescript polymorphism

Created 2020-12-27

21 commits to main branch, last one 2 years ago

write-you-an-inference-in-fsharp 7sharp9

8

162

mit

10

Different type inference algorithms implemented in F#

fsharp typesystems polymorphism typeinference hindley-milner

Created 2018-02-15

98 commits to master branch, last one 3 years ago

zipperposition sneeuwballen

17

139

bsd-2-clause

11

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

cnf logic ocaml prover induction prototype rewriting saturation experimental polymorphism superposition symbolic-computation computer-science-algorithms

Created 2012-08-15

6,728 commits to master branch, last one 11 months ago

c-iterators TotallyNotChase

2

96

mit

5

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

c generic iterator type-safety typeclasses polymorphism preprocessor c-preprocessor lazy-evaluation

Created 2021-05-02

124 commits to master branch, last one 3 years ago

Java-Programs divScorp

61

94

unknown

7

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

oop generics patterns interface comparator inheritance oop-concepts polymorphism encapsulation math--programs design-patterns bit-manipulation java-programming string-manipulation java-interview-questions

Created 2017-07-15

36 commits to master branch, last one about a year ago

vanilla-lang zehaochen19

3

90

mit

3

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

system-f polymorphism type-inference lambda-calculus higher-rank-types programming-language

Created 2019-11-25

233 commits to master branch, last one about a year ago

laravel-ownership cybercog

16

89

mit

5

Laravel Ownership simplify management of Eloquent model's owner.

cog owned owner trait author creator laravel ownable package eloquent ownership proprietor polymorphic polymorphism ownable-models

Created 2016-12-16

79 commits to master branch, last one 10 months ago

Battleship rubberduck-vba

21

88

mit

25

An Object-Oriented VBA experiment

oop vba game battleship polymorphism unit-testing hacktoberfest

Created 2018-09-04

22 commits to master branch, last one 2 years ago

OOP-In-CPlusPlus aryashah2k

14

83

gpl-3.0

3

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

Created 2021-01-31

540 commits to main branch, last one 3 years ago