Search Results - RepositoryStats

453

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,967 commits to main branch, last one 7 days ago

typedb typedb

343

4.0k

mpl-2.0

116

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

7,059 commits to 3.0 branch, last one 3 days ago

proxy microsoft

179

2.6k

mit

45

Proxy: Next Generation Polymorphism in C++

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

Created 2022-05-30

163 commits to main branch, last one 17 hours ago

dyno ldionne

44

1.0k

bsl-1.0

56

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

67

958

mit

7

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 5 months ago

felix felix-lang

46

809

other

41

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 7 months ago

Shoggoth frkngksl

92

723

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 about a year ago

variant mpark

91

688

bsl-1.0

30

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

680

mit

38

:fish_cake: A new take on polymorphism

cpp oop mixins library polymorphism

Created 2016-06-19

591 commits to master branch, last one 5 days ago

sage adam-mcdaniel

17

504

mit

6

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

689 commits to main branch, last one about a month ago

te boost-ext

42

470

unknown

22

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

cpp17 concepts header-only polymorphism type-erasure metaprogramming

Created 2018-03-30

27 commits to master branch, last one 19 days ago

JsonSubTypes manuc66

58

420

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 5 months ago

scriptum robotroutine

20

381

mit

14

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

Created 2018-02-21

3,889 commits to master branch, last one 23 hours ago

yomm2 jll63

21

363

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

466 commits to master branch, last one 2 days ago

react-polymorphic-box kripod

14

348

mit

6

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

130

325

mit

9

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

321

mit

9

Full-featured interfaces for C99

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

Created 2021-05-26

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

06_Python_Object_Class milaan9

246

297

mit

2

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

41

234

mit

12

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

226

mpl-2.0

13

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,086 commits to master branch, last one 3 days ago

you-don-t-know-oop mokevnin

19

210

unknown

45

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

oop polymorphism

Created 2017-03-28

52 commits to master branch, last one 2 years ago

react-polymorphic-types kripod

8

198

mit

5

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

163

mit

9

Different type inference algorithms implemented in F#

fsharp typesystems polymorphism typeinference hindley-milner

Created 2018-02-15

98 commits to master branch, last one 4 years ago

zipperposition sneeuwballen

17

141

bsd-2-clause

10

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 about a year ago

c-iterators TotallyNotChase

2

98

mit

4

: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

64

95

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 2 years ago

laravel-ownership cybercog

16

91

mit

4

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

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

Battleship rubberduck-vba

21

90

mit

22

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

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 2 years ago

OOP-In-CPlusPlus aryashah2k

14

85

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