GitHub topics: row-polymorphism
rowscript/rowscript
RowScript programming language, making a better browser world
Language: Rust - Size: 1.79 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 121 - Forks: 1
FrankBro/ordo
Ordo: A minimalist language with row polymorphism
Language: Rust - Size: 3.14 MB - Last synced at: 15 days ago - Pushed at: 9 months ago - Stars: 82 - Forks: 3
Kamirus/purescript-selda
A type-safe, high-level SQL library for PureScript
Language: PureScript - Size: 473 KB - Last synced at: 3 days ago - Pushed at: about 2 years ago - Stars: 89 - Forks: 3
tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
Language: OCaml - Size: 27.3 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 29 - Forks: 1
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language: PureScript - Size: 32.2 KB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
RemuLang/hybrid-type-system
Row + Implicit arguments + MLF.
Language: Python - Size: 85 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 0
RemuLang/proud
The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax
Language: Python - Size: 224 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 0
yubrot/titan
An experimental type checker implementation
Language: Haskell - Size: 98.6 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
kongware/ftor
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Language: JavaScript - Size: 1.09 MB - Last synced at: 12 months ago - Pushed at: about 7 years ago - Stars: 44 - Forks: 1
broom-lang/broom
A programming language with first-class modules and algebraic effects.
Language: OCaml - Size: 2.23 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 1
RemuLang/remu-type-system
type-system, revised unification algorithm and runtime time representations
Language: OCaml - Size: 85 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 13 - Forks: 0
athanclark/purescript-row-extra
Some extra kit for row types
Language: Dhall - Size: 2.93 KB - Last synced at: 11 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
