elba

elba

A package manager for Idris

website

elba's presence on the world wide web

index

The default elba package index

semver_constraints

A Rust library for more robust, nuanced semver constraints

idris-elba-interface

A wrapper to exposes elba repl through Idris' raw command line interface

elba-bot

A bot that made to maintain the elba package index.

path

Well-typed paths in Idris

semver

A semantic versioning library in Idris

atom-language-idris

A Idris Mode for Atom.io

idris-containers

Various data structures for use in the Idris Language.

lightyear

Parser combinators for Idris

pubgrub

The Pubgrub dependency resolution algorithm, available as a Rust library

store