Search Results - RepositoryStats

1

107

mit

7

RowScript programming language, making a better browser world

javascript typescript dependent-types row-polymorphism programming-language

Created 2021-07-24

924 commits to main branch, last one 22 days ago

3

89

mit

6

A type-safe, high-level SQL library for PureScript

sql edsl query sqlite3 postgresql purescript sql-library nested-queries query-language purescript-selda row-polymorphism

Created 2018-10-28

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

3

80

unknown

5

Ordo: A minimalist language with row polymorphism

records compiler variants row-polymorphism programming-language

Created 2018-08-12

306 commits to master branch, last one 3 months ago