58 Open Source Idris Software Projects
Free and open source idris code projects including engines, APIs, generators, and tools.
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
Razvan Flavius Panda Blog16 ⭐
Software engineering and artificial general intelligence blog of Răzvan Flavius Panda
Jean Zay Doc59 ⭐
Collaborative documentation for and from Jean Zay users. Official Jean Zay documentation is here: http://www.idris.fr/eng/jean-zay/
Quick Backend20 ⭐
Idris, make back end, in 15 minutes, reusable, concise: https://bitbucket.org/thautwarm/ppl2020-idris-codegen-backend/src/master
Elemental Magicks16 ⭐
Idris + Ur/Web development of a perfect information, fair, deterministic turn based strategy game, built with dependent types!