IdrisSqlite

MITIdris

Effectful SQLite bindings for Idris with a type provider for compile-time query validation.

GitHub

41 stars6 forks0 contributors

Overview

Effectful bindings for SQLite (forked from IdrisWeb)

Related Projects

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.

Submit a project Star on GitHub

8 years ago

CreatedSince 2014

Built With

Included in

Idris411

Auto-fetched 19 hours ago

typedefs

Programming language agnostic type construction language based on polynomials.

Stars372

Forks18

Last commit2 years ago

idris-ct

formally verified category theory library

Stars273

Forks26

Last commit6 years ago

lightyear

Parser combinators for Idris

Stars245

Forks43

Last commit7 years ago

iridium

xmonad with the X11 abstracted and configured with Idris

Stars209

Forks9