ikan
build tool and package manager for idris,in idris,with free monads
Idris34apache-2.0
5 years ago
free-monadsidrispackage-manager
idris-koans
Koans are small lessons on the path to enlightenment. The aim of the Idris Koans
Idris173bsd-3-clause
6 years ago
idris-containers
Various data structures for use in the Idris Language.
Idris95bsd-3-clause
4 years ago
idris-ct
formally verified category theory library
Idris248agpl-3.0
4 years ago
category-theoryformal-proofsformal-verification
awesome-idris
π Awesome Idris resources
Idris380
4 years ago
awesomeawesome-listfunctional-programming
recursion_schemes
Recursion schemes for Idris
Idris62bsd-3-clause
6 years ago
control-flowidrisidris-ecosystem
quantities
Type-safe physical computations and unit conversions in Idris β π‘ β² π π
Idris155mit
5 years ago
type-safetyunit-conversionunits-of-measure
IdrisScript
FFI Bindings to interact with the unsafe world of JavaScript
Idris88bsd-2-clause
6 years ago