Build tools | Package managers

Some tools to manage projects, building and external dependencies

• Nix, the purely functional package manager - see the nixpkgs manual section on how to install Idris with a bunch of already packaged libraries, or publish your own
• Idris Rules - Bazel rules for Idris
• Ikan - A package manager for idris, in idris
• Elba - A package manager for Idris
• idream - A simple build system for Idris