A modern, fast package manager for the Idris programming language.
Elba is a package manager built for the Idris programming language, designed to handle dependencies and project builds efficiently. It provides a modern toolchain that aims to be fast and reliable, addressing the needs of Idris developers for streamlined package management. The project offers pre-built binaries and source-based installation to support various development environments.
Idris developers and researchers who need a robust package manager for managing libraries and building projects in the Idris ecosystem.
Developers choose Elba for its performance-oriented design built with Rust, comprehensive documentation, and active community support, offering a modern alternative to other Idris package management tools.
A package manager for Idris
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Built with Rust for speed and reliability, offering a modern alternative to older Idris package managers as highlighted in the key features.
Provides pre-built binaries for various platforms, simplifying setup without compilation, as noted in the installation options.
Includes a detailed guide hosted on Read the Docs and library documentation, making it easier to learn and troubleshoot.
Encourages contributions through issues, pull requests, and Matrix channels, fostering collaborative development.
Building from source requires the latest nightly Rust, which can be unstable and add installation complexity, as admitted in the README.
Limited to the Idris programming language, resulting in fewer available packages compared to mainstream ecosystems like npm or PyPI.
Lacks a graphical interface, which may not suit teams accustomed to GUI-driven package management tools.