Search Results - RepositoryStats

438

6.0k

other

94

Λrrow - Functional companion to Kotlin's Standard Library

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,864 commits to main branch, last one 10 hours ago

typedb vaticle

336

3.7k

mpl-2.0

118

TypeDB: the polymorphic database powered by types

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

Created 2016-07-11

6,597 commits to development branch, last one 17 hours ago

proxy microsoft

80

1.4k

mit

33

Proxy: Next Generation Polymorphism in C++

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

Created 2022-05-30

69 commits to main branch, last one 6 days ago

dyno ldionne

42

963

bsl-1.0

58

Runtime polymorphism done right

cpp hana cpp11 cpp14 cpp17 polymorphism type-erasure

Created 2016-12-15

235 commits to master branch, last one 4 years ago

felix felix-lang

44

795

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,527 commits to master branch, last one about a month ago

dynamix iboB

44

663

mit

38

:fish_cake: A new take on polymorphism

cpp oop mixins library polymorphism

Created 2016-06-19

576 commits to master branch, last one 5 months ago

variant mpark

88

654

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

Unity-SerializeReferenceExtensions mackysoft

49

620

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

123 commits to main branch, last one 2 months ago

Shoggoth frkngksl

83

606

unknown

12

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

te boost-ext

34

433

unknown

23

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 15 days ago

JsonSubTypes manuc66

55

399

mit

6

Discriminated Json Subtypes Converter implementation for .NET

json csharp dotnet subtype converter inheritance polymorphism deserializeobject

Created 2017-06-15

355 commits to master branch, last one 2 months ago

scriptum kongware

22

382

mit

15

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

Created 2018-02-21

3,754 commits to master branch, last one about a month ago

react-polymorphic-box kripod

14

345

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

yomm2 jll63

18

342

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

412 commits to master branch, last one 16 days ago

sage adam-mcdaniel

11

324

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

555 commits to main branch, last one 2 months ago

oop_with_python arvimal

123

295

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

06_Python_Object_Class milaan9

239

287

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

interface99 Hirrolot

13

279

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

243 commits to master branch, last one 2 months ago

typeql vaticle

45

212

mpl-2.0

14

TypeQL: the polymorphic query language of TypeDB

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

Created 2019-02-16

979 commits to development branch, last one 17 hours ago

you-don-t-know-oop mokevnin

19

205

unknown

47

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

oop polymorphism

Created 2017-03-28

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

react-polymorphic-types kripod

8

194

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

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

8

158

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

19

122

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

c-iterators TotallyNotChase

2

92

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

laravel-ownership cybercog

16

88

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

vanilla-lang zehaochen19

3

87

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

Java-Programs divScorp

52

85

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

Battleship rubberduck-vba

22

77

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

OOP-In-CPlusPlus aryashah2k

13

66

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

Object-Oriented-Programming-OOPs-Python Shikha-code36

17

66

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 about object-oriented progra...

oop oops methods python3 instance constructor inheritance oop-concepts oop-examples polymorphism encapsulation oop-principles oops-in-python class-attribute python-tutorial decorators-python classes-and-objects object-oriented-programming

Created 2022-07-14

25 commits to main branch, last one about a year ago