idris topic
idris-cil
A Common Intermediate Language backend for Idris 1
hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
order-taking
Idris version of Domain Modeling Made Functional Book.
ttlite
A SuperCompiler for Martin-Löf's Type Theory
vscode-idris
Idris for Visual Studio Code
idris-elixir
A code-generator for Idris that targets Elixir
teaching-fp
Techniques, advice, and anecdotes about how to teach Functional Programming
idris-codegen-wasm
WebAssembly Code Generation Backend for Idris Compiler
IdrisUnityPlayground
Experiments in Idris / Unity integration.
specdris
A test framework for Idris