A Dependently Typed Functional Programming Language

Haskell3417other

11 months ago

JVM bytecode back end for Idris

Idris469bsd-3-clause

28 days ago

idrisjavajvm

build tool and package manager for idris,in idris,with free monads

Idris34apache-2.0

6 years ago

free-monadsidrispackage-manager

Idris LLVM codegen factored out

Haskell78other

7 years ago

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans

Idris179bsd-3-clause

7 years ago

Free Monads and useful constructions to work with them

Idris26bsd-2-clause

6 years ago

formally verified category theory library

Idris256agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

A partial implementation of Protocol Buffers in Idris

Idris30apache-2.0

7 years ago

𝛌 Awesome Idris resources

Idris386

5 years ago

awesomeawesome-listfunctional-programming

Erlang Backend for Idris Compiler

Haskell188bsd-3-clause

7 years ago

Experimental Malfunction backend for Idris

Haskell81mit

6 years ago

Recursion schemes for Idris

Idris64bsd-3-clause

6 years ago

control-flowidrisidris-ecosystem

A package manager for Idris

Rust190mit

4 years ago

idrispackage-manager

A simple build system for Idris

Haskell22bsd-3-clause

4 years ago