IdrisSqlite
MITIdris
Effectful SQLite bindings for Idris with a type provider for compile-time query validation.
41 stars6 forks0 contributors
Overview
Effectful bindings for SQLite (forked from IdrisWeb)
Related Projects
typedefsProgramming language agnostic type construction language based on polynomials.
Stars372
Forks18
Last commit2 years ago
idris-ctformally verified category theory library
Stars271
Forks26
Last commit6 years ago
lightyearParser combinators for Idris
Stars244
Forks43
Last commit7 years ago
iridiumxmonad with the X11 abstracted and configured with Idris
Stars209
Forks9
Last commit7 years ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.