stedolan / idris-malfunctionLinks
Experimental Malfunction backend for Idris
☆82Updated 7 years ago
Alternatives and similar repositories for idris-malfunction
Users that are interested in idris-malfunction are comparing it to the libraries listed below
Sorting:
- Type provider library for Idris☆94Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- OCaml back end for Idris☆22Updated 7 years ago
- OCaml backend for Agda☆40Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Mindless, verified (erasably) coding using dependent types☆105Updated 9 years ago
- Various data structures for use in the Idris Language.