Trending
See what the GitHub community is most excited about today.
-
JVM bytecode backend for Idris
-
Software Foundations in 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.
-
A prototype successor to Idris
-
Type-safe physical computations and unit conversions in Idris ⚖
🌡 ⏲ 🔋 📐 -
2048 in Idris
-
Implementation of cryptographic primitives using Idris
-
𝛌 Awesome Idris resources
-
Sample code from "Type Driven Development with Idris"
-
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
-
FFI Bindings to interact with the unsafe world of JavaScript
-
Type provider library for Idris
-
Various data structures for use in the Idris Language.
-
A proper network library for Idris, now that I know what I'm doing.
-
HoTT in Idris
-
A port of QuickCheck to Idris
-
Learning project by a group of people interested in learning the Idris language
-
Experiments in Idris / Unity integration.
-
Slides and exercises for the Idris course taught at Galois
-
Recursion schemes for Idris
-
SDL bindings package for idris
-
TParsec - Total Parser Combinators in Idris
