Idris Collection

◆

◆

◆

◆

📦Normal

★

“JVM bytecode back end for Idris”

◆

◆

◆

◆

📦Normal

★

“Software Foundations in Idris”

◆

◆

◆

◆

📦Normal

★

“𝛌 Awesome Idris resources”

◆

◆

◆

◆

📦Normal

★

“A curated set of links to formal methods involving provable code.”

◆

◆

◆

◆

⚙️Steel

★

“A package manager for Idris”

◆

◆

◆

◆

📦Normal

★

“Idris version of Domain Modeling Made Functional Book.”

◆

◆

◆

◆

⚙️Steel

★

“Project templates in rust”

◆

◆

◆

◆

📦Normal

★

“Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation: http://www.idris.fr/eng/jean-zay/”

◆

◆

◆

◆

🌀Psychic

★

“A Common Intermediate Language backend for Idris 1”

◆

◆

◆

◆

🔥Fire

★

“A SuperCompiler for Martin-Löf's Type Theory”

◆

◆

◆

◆

📦Normal

★

“a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features”

◆

◆

◆

◆

⚡Electric

★

“Idris for Visual Studio Code”

◆

◆

◆

◆

📦Normal

★

“TParsec - Total Parser Combinators in Idris”

◆

◆

◆

◆

🌀Psychic

★

“WebAssembly Code Generation Backend for Idris Compiler”

◆

◆

◆

◆

📦Normal

★

“Book: Introduction to Dependent Types with Idris”

◆

◆

◆

◆

📦Normal

★

“Recursion schemes for Idris”

◆

◆

◆

◆

🌀Psychic

★

“A code-generator for Idris that targets Elixir”

◆

◆

◆

◆

📦Normal

★

“Techniques, advice, and anecdotes about how to teach Functional Programming”