idris-type-providers in joaomilho/awesome-idris

Type provider library for Idris

updated at Feb. 13, 2024, 3:21 a.m.

9 +0

86 +0

6 +0

IdrisSqlite in joaomilho/awesome-idris

Effectful bindings for SQLite (forked from IdrisWeb)

updated at April 19, 2024, 8:20 a.m.

5 +0

41 +0

6 +0