row-polymorphism

There are 11 repositories under row-polymorphism topic.

rowscript/rowscript
RowScript programming language, making a better browser world
Language:Rust123 7 1721
Kamirus/purescript-selda
A type-safe, high-level SQL library for PureScript
Language:PureScript87 5 513
FrankBro/ordo
Ordo: A minimalist language with row polymorphism
Language:Rust85 4 73
tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
Language:OCaml30 2 01
broom-lang/broom
A programming language with first-class modules and algebraic effects.
Language:OCaml14 1 852
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:Python14 4 50
RemuLang/remu-type-system
type-system, revised unification algorithm and runtime time representations
Language:OCaml14 1 00
yubrot/titan
An experimental type checker implementation
Language:Haskell4 1 10
Kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
Language:PureScript3 2 00
RemuLang/hybrid-type-system
Row + Implicit arguments + MLF.
Language:Python3 3 00
athanclark/purescript-row-extra
Some extra kit for row types
Language:Dhall3 0