Projects in Awesome Lists tagged with row-polymorphism
A curated list of projects in awesome lists tagged with row-polymorphism .
https://github.com/rowscript/rowscript
RowScript programming language, making a better browser world
dependent-types javascript programming-language row-polymorphism typescript
Last synced: 30 Apr 2025
https://github.com/Kamirus/purescript-selda
A type-safe, high-level SQL library for PureScript
edsl nested-queries postgresql purescript purescript-selda query query-language row-polymorphism sql sql-library sqlite3
Last synced: 30 Apr 2025
https://github.com/kamirus/purescript-selda
A type-safe, high-level SQL library for PureScript
edsl nested-queries postgresql purescript purescript-selda query query-language row-polymorphism sql sql-library sqlite3
Last synced: 03 Apr 2025
https://github.com/frankbro/ordo
Ordo: A minimalist language with row polymorphism
compiler programming-language records row-polymorphism variants
Last synced: 24 Sep 2025
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 24 Jan 2026
https://github.com/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
first-class-polymorphisms interactively-static-checking programming-language row-polymorphism traits type-inference
Last synced: 12 Mar 2026
https://github.com/kamirus/purescript-functional-concepts
Elaborated examples concerning functional concepts e.g. gadt, eadt, church encodings
church-encoding eadt exists gadt gadts higher-order-functions leibniz-equality row-polymorphism tagless typeclasses
Last synced: 21 Jan 2026
https://github.com/yubrot/titan
An experimental type checker implementation
haskell row-polymorphism type-system
Last synced: 23 Aug 2025
https://github.com/remulang/hybrid-type-system
Row + Implicit arguments + MLF.
row-polymorphism traits type-classes type-inference type-system
Last synced: 12 Mar 2026
https://github.com/athanclark/purescript-row-extra
Some extra kit for row types
purescript row-polymorphism row-types
Last synced: 21 Feb 2026
