A blazingly fast and modern package manager for Idris


  • Packages

    Many elba packages are already available online, meaning you can add extra dependencies to your own projects without fussing with git clones and ipkg installs.

  • Modern build system

    elba uses the state-of-the-art Pubgrub dependency resolution algorithm and global Nix-style caching to ensure reliable, reproducible builds.

  • Out of the box

    Adding elba to your project is as simple as adding an `elba.toml` manifest file; from there, package building, doc generation, REPL interaction, and more all work seamlessly.

Currently, we have

  • 1


  • 125


All packages

marcesquerra / idristest0.1.4
A testing framework for idris
avatarMarc Esquerrà•Sat Oct 19 2019


Ready to start?

Start exploring elba