elba

website Public

elba's presence on the world wide web

Rust 6 4 1 28 Updated Dec 9, 2022

elba Public archive

A package manager for Idris

Rust 190 MIT 10 12 0 Updated Jul 16, 2020

elba-bot Public

A bot that made to maintain the elba package index.

Rust 1 MIT 0 0 0 Updated Mar 10, 2020

index Public

The default elba package index

3 MIT 0 1 0 Updated Mar 8, 2020

store Public

0 0 0 0 Updated Mar 6, 2020

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

Rust 2 MIT 0 1 0 Updated Apr 19, 2019

Various data structures for use in the Idris Language.

Idris 0 BSD-3-Clause 21 0 0 Updated Apr 11, 2019

Parser combinators for Idris

Idris 0 43 0 0 Updated Apr 11, 2019

A Rust library for more robust, nuanced semver constraints

Rust 3 MIT 0 1 0 Updated Apr 3, 2019

pubgrub Public

The Pubgrub dependency resolution algorithm, available as a Rust library

0 0 0 0 Updated Apr 3, 2019

Provide feedback