JVM bytecode back end for Idris
Software Foundations in Idris
𝛌 Awesome Idris resources
A package manager for Idris
A curated set of links to formal methods involving provable code.
A Common Intermediate Language backend for Idris 1
Idris version of Domain Modeling Made Functional Book.
a theorem prover for intuitionistic propositional logic in Idris, with m...
Collaborative documentation for and from Jean Zay users. Official Jean Z...
TParsec - Total Parser Combinators in Idris
WebAssembly Code Generation Backend for Idris Compiler
Book: Introduction to Dependent Types with Idris
Recursion schemes for Idris
A code-generator for Idris that targets Elixir
A test framework for Idris