See what the GitHub community is most excited about today.
A prototype successor to Idris
Software Foundations in Idris
JVM bytecode back end for Idris
Parser combinators for Idris
xmonad with the X11 abstracted and configured with Idris
Collection of Idris tests and demonstration programs
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.
𝛌 Awesome Idris resources
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
2048 in Idris
Implementation of cryptographic primitives using Idris
Sample code from "Type Driven Development with Idris"
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Various data structures for use in the Idris Language.
Compiler for the Mirth programming language, a type-safe functional Forth.
Type provider library for Idris
A proper network library for Idris, now that I know what I'm doing.
HoTT in Idris
A port of QuickCheck to Idris
Programming language agnostic type construction language based on polynomials.
Recursion schemes for Idris
Learning project by a group of people interested in learning the Idris language
TParsec - Total Parser Combinators in Idris
Experiments in Idris / Unity integration.