Idris-dev

A Dependently Typed Functional Programming Language

Haskell3396other

4 months ago

idris-jvm

JVM bytecode back end for Idris

Idris455bsd-3-clause

5 months ago

idrisjavajvm

ikan

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

Idris34apache-2.0

5 years ago

free-monadsidrispackage-manager

idris-llvm

Idris LLVM codegen factored out

Haskell77other

7 years ago

idris-koans

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

Idris173bsd-3-clause

6 years ago

idris-type-providers

Type provider library for Idris

Idris85

6 years ago

idris-containers

Various data structures for use in the Idris Language.

Idris95bsd-3-clause

4 years ago

idris-free

Free Monads and useful constructions to work with them

Idris25bsd-2-clause

6 years ago

idris-ct

formally verified category theory library

Idris248agpl-3.0

4 years ago

category-theoryformal-proofsformal-verification

idris-protobuf

A partial implementation of Protocol Buffers in Idris

Idris29apache-2.0

7 years ago

idris-config

Parsers for various configuration files written in Idris.

Idris19bsd-3-clause

6 years ago

awesome-idris

π›Œ Awesome Idris resources

Idris380

4 years ago

awesomeawesome-listfunctional-programming

idris-erlang

Erlang Backend for Idris Compiler

Haskell190bsd-3-clause

7 years ago

idris-malfunction

Experimental Malfunction backend for Idris

Haskell81mit

6 years ago

idris-http

An HTTP library for idris

Idris39bsd-2-clause

5 years ago

software-foundations

Software Foundations in Idris

Idris438mit

5 years ago

bookcomputer-scienceidris

probability

Probabilistic computation in Idris

Idris32

5 years ago

RingIdris

Ring solver for Idris

Idris20

5 years ago

specdris

A test framework for Idris

Idris56mit

5 years ago

idrisidris-ecosystemtest-framework

iridium

xmonad with the X11 abstracted and configured with Idris

Idris201mit

5 years ago

recursion_schemes

Recursion schemes for Idris

Idris62bsd-3-clause

6 years ago

control-flowidrisidris-ecosystem

lightyear

Parser combinators for Idris

Idris235other

5 years ago

idream

A simple build system for Idris

Haskell23bsd-3-clause

3 years ago

quantities

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

elba

A package manager for Idris

Rust190mit

4 years ago

idrispackage-manager