Idris on the JVM
- idris
- jvm
- java
Repository Index
61,275 visible repositories in the index
1–4 of 4 · Most stars
Type provider library for Idris
FFI Bindings to interact with the unsafe world of JavaScript
Effectful bindings for SQLite (forked from IdrisWeb)