idris-type-providers

Idris

A type provider library for Idris that enables compile-time verification of external data like SQLite queries.

GitHub

96 stars6 forks0 contributors

Overview

Type provider library for Idris

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 2013

Built With

Included in

Idris411

Auto-fetched 1 day ago

typedefs

Programming language agnostic type construction language based on polynomials.

Stars371

Forks18

Last commit2 years ago

idris-ct

formally verified category theory library

Stars271

Forks26

Last commit6 years ago

lightyear

Parser combinators for Idris

Stars244

Forks43

Last commit7 years ago

iridium

xmonad with the X11 abstracted and configured with Idris

Stars209

Forks9