A purely functional programming language with first class types
- compiler
- dependent-types
- hacktoberfest
Repository Index
83,586 visible repositories in the index
1–11 of 11 · Most stars
Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
Parser combinators for 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.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
- type-safety
- units-of-measure
- unit-conversion
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
Type provider library for Idris
FFI Bindings to interact with the unsafe world of JavaScript
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow
Free Monads and useful constructions to work with them