Top Idris repositories on GitHub
Idris2
idris-lang
โA purely functional programming language with first class typesโ
Idris2-boot
edwinb
โA dependently typed programming language, a successor to Idrisโ
Blodwen
โA prototype successor to Idrisโ
idris-jvm
mmhelloworld
โJVM bytecode back end for Idrisโ
software-foundations
idris-hackers
โSoftware Foundations in Idrisโ
awesome-idris
joaomilho
โ๐ Awesome Idris resourcesโ
typedefs
โProgramming language agnostic type construction language based on polynomials.โ
idris-ct
statebox
โformally verified category theory libraryโ
lightyear
ziman
โParser combinators for Idrisโ
idris2-tutorial
stefan-hoeck
iridium
puffnfresh
โxmonad with the X11 abstracted and configured with Idrisโ
idris2-lsp
idris-community
โLanguage Server for Idris2โ
idris-demos
โCollection of Idris tests and demonstration programsโ
idris-koans
โ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.โ
dbcritic
channable
quantities
timjb
โType-safe physical computations and unit conversions in Idris โ ๐ก โฒ ๐ ๐โ
TypeDD-Samples
โSample code from "Type Driven Development with Idris"โ
idris2-pack
