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: 03 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/frankbro/ordo
Ordo: A minimalist language with row polymorphism
compiler programming-language records row-polymorphism variants
Last synced: 15 Jan 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: 21 Nov 2024
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: 07 Apr 2025
https://github.com/athanclark/purescript-row-extra
Some extra kit for row types
purescript row-polymorphism row-types
Last synced: 19 Feb 2025
