Parser combinators for Idris
Repository Index
58,136 visible repositories in the index
1–3 of 3 · Most stars
FFI Bindings to interact with the unsafe world of JavaScript
Effectful bindings for SQLite (forked from IdrisWeb)
58,136 visible repositories in the index
1–3 of 3 · Most stars
Parser combinators for Idris
FFI Bindings to interact with the unsafe world of JavaScript
Effectful bindings for SQLite (forked from IdrisWeb)