Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Parser combinators for Idris
xmonad with the X11 abstracted and configured with Idris
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
FFI Bindings to interact with the unsafe world of JavaScript
A test framework for Idris
- idris
- idris-ecosystem
- unittest
- testing
Effectful bindings for SQLite (forked from IdrisWeb)
Probabilistic computation in Idris
build tool and package manager for idris,in idris,with free monads
- idris
- free-monads
- package-manager
Ring solver for Idris