Repository Index

Idris on the JVM

• idris
• jvm
• java

Software Foundations in Idris

• idris
• theorem-proving
• book
• computer-science

Programming language agnostic type construction language based on polynomials.

• type-definitions
• serialization-library
• types
• f-algebras

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

Parser combinators for Idris

xmonad with the X11 abstracted and configured with Idris

Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

• type-safety
• units-of-measure
• unit-conversion

Idris version of Domain Modeling Made Functional Book.

• fp
• idris
• ddd
• depedent-types

Type provider library for Idris

FFI Bindings to interact with the unsafe world of JavaScript

Recursion schemes for Idris

• idris
• recursion-schemes
• idris-ecosystem
• control-flow

A test framework for Idris

• idris
• idris-ecosystem
• unittest
• testing

Effectful bindings for SQLite (forked from IdrisWeb)

An HTTP library for idris

Probabilistic computation in Idris

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

• idris
• free-monads
• package-manager

Free Monads and useful constructions to work with them

Ring solver for Idris