See what the GitHub community is most excited about today.
Over 36 million developers use GitHub to
share code across over 100 million
projects. Sign up to find people and projects, contribute to open
source, and learn new skills.
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
𝛌 Awesome Idris resources
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.
Programming language agnostic type construction language based on polynomials.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
2048 in Idris
Sample code from "Type Driven Development with Idris"
Implementation of cryptographic primitives using Idris
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Various data structures for use in the Idris Language.
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
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.
Slides and exercises for the Idris course taught at Galois