Home / Idris Idris General purpose pure functional programming language with dependent types influenced by Haskell and ML. Collection 412 stars GitHub Contents Projects Backends Build tools | Package managers Projects iridium 209 updated 7y ago xmonad with the X11 abstracted and configured with Idris. lightyear 244 updated 7y ago Parser combinators for Idris. quantities 164 updated 7y ago Type-safe physical computations and unit conversions in Idris. idris-type-providers 95 updated 8y ago Type provider library for Idris. IdrisScript 94 updated 7y ago FFI Bindings to interact with the unsafe world of JavaScript. idris-containers 94 (archived) Various data structures for use in the Idris Language. IdrisSqlite 41 updated 8y ago Effectful bindings for SQLite. idris-http 39 updated 7y ago HTTP library for Idris. RingIdris 20 updated 7y ago Ring solver for Idris. specdris 55 updated 7y ago Test framework for Idris. idris-config 19 (archived) Parsers for various configuration files written in Idris. probability 33 updated 6y ago Probabilistic computation in Idris. idris-protobuf 32 (archived) Partial implementation of Protocol Buffers in Idris. idris-free Free Monads and useful constructions to work with them. idris-ct 270 updated 5y ago Formally verified category theory library typedefs 370 updated 1y ago Programming language-agnostic, algebraic data type definition language Backends idris-jvm 479 updated 3mo ago JVM bytecode backend for Idris. idris-llvm 82 updated 8y ago LLVM backend. idris-erlang 187 (archived) Erlang backend. idris-malfunction 82 updated 7y ago Experimental Malfunction (OCaml internal representation) backend. Build tools | Package managers Ikan 32 updated 7y ago A package manager for idris, in idris Elba 185 (archived) A package manager for Idris idream 22 (archived) A simple build system for Idris
