Skip to content
@elba

elba

An experiment in Idris package management

Pinned Loading

  1. elba Public archive

    A package manager for Idris

    Rust 188 10

  2. website Public

    elba's presence on the world wide web

    Rust 6 4

  3. index Public

    The default elba package index

    3

Repositories

Showing 10 of 13 repositories
  • 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 188 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
  • idris-elba-interface Public

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

    Rust 2 MIT 0 1 0 Updated Apr 19, 2019
  • idris-containers Public Forked from jfdm/idris-containers

    Various data structures for use in the Idris Language.

    Idris 0 BSD-3-Clause 21 0 0 Updated Apr 11, 2019
  • lightyear Public Forked from ziman/lightyear

    Parser combinators for Idris

    Idris 0 43 0 0 Updated Apr 11, 2019
  • semver_constraints Public

    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
View all repositories

Top languages

Loading…

Most used topics

Loading…