Skip to content
@elba

elba

An experiment in Idris package management

Pinned Loading

  1. elba elba Public archive

    A package manager for Idris

    Rust 190 10

  2. website website Public

    elba's presence on the world wide web

    Rust 6 4

  3. index index Public

    The default elba package index

    3

Repositories

Showing 10 of 13 repositories
  • website Public

    elba's presence on the world wide web

    elba/website’s past year of commit activity
    Rust 6 4 1 28 Updated Dec 9, 2022
  • elba Public archive

    A package manager for Idris

    elba/elba’s past year of commit activity
    Rust 190 MIT 10 12 0 Updated Jul 16, 2020
  • elba-bot Public

    A bot that made to maintain the elba package index.

    elba/elba-bot’s past year of commit activity
    Rust 1 MIT 0 0 0 Updated Mar 10, 2020
  • index Public

    The default elba package index

    elba/index’s past year of commit activity
    3 MIT 0 1 0 Updated Mar 8, 2020
  • store Public
    elba/store’s past year of commit activity
    0 0 0 0 Updated Mar 6, 2020
  • idris-elba-interface Public

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

    elba/idris-elba-interface’s past year of commit activity
    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.

    elba/idris-containers’s past year of commit activity
    Idris 0 BSD-3-Clause 21 0 0 Updated Apr 11, 2019
  • lightyear Public Forked from ziman/lightyear

    Parser combinators for Idris

    elba/lightyear’s past year of commit activity
    Idris 0 43 0 0 Updated Apr 11, 2019
  • semver_constraints Public

    A Rust library for more robust, nuanced semver constraints

    elba/semver_constraints’s past year of commit activity
    Rust 3 MIT 0 1 0 Updated Apr 3, 2019
  • pubgrub Public

    The Pubgrub dependency resolution algorithm, available as a Rust library

    elba/pubgrub’s past year of commit activity
    0 0 0 0 Updated Apr 3, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…