Lists (1)
Starred repositories
7
stars
written in Idris
Clear filter
A dependently typed programming language, a successor to Idris
xmonad with the X11 abstracted and configured with Idris
Collection of Idris tests and demonstration programs
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Type provider library for Idris