Skip to content

@elba elba

Change the repository type filter

All

    Repositories list

    13 repositories

    • website

      Public
      elba's presence on the world wide web
      Rust
      •4•6•1•28•Updated Dec 9, 2022Dec 9, 2022

    • elba

      Public archive
      A package manager for Idris
      package-manageridris
      package-manageridris
      Rust
      •
      MIT License
      •11•185•12•0•Updated Jul 16, 2020Jul 16, 2020

    • elba-bot

      Public
      A bot that made to maintain the elba package index.
      Rust
      •
      MIT License
      •0•1•0•0•Updated Mar 10, 2020Mar 10, 2020

    • index

      Public archive
      The default elba package index
      MIT License
      •0•3•1•0•Updated Mar 8, 2020Mar 8, 2020

    • store

      Public
      0•0•0•0•Updated Mar 6, 2020Mar 6, 2020

    • idris-elba-interface

      Public
      A wrapper to exposes elba repl through Idris' raw command line interface
      Rust
      •
      MIT License
      •0•2•1•0•Updated Apr 19, 2019Apr 19, 2019

    • idris-containers

      Public
      Various data structures for use in the Idris Language.
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •21•0•0•0•Updated Apr 11, 2019Apr 11, 2019

    • lightyear

      Public
      Parser combinators for Idris
      Idris
      •
      Other
      •43•0•0•0•Updated Apr 11, 2019Apr 11, 2019

    • semver_constraints

      Public
      A Rust library for more robust, nuanced semver constraints
      Rust
      •
      MIT License
      •0•2•1•0•Updated Apr 3, 2019Apr 3, 2019

    • pubgrub

      Public
      The Pubgrub dependency resolution algorithm, available as a Rust library
      0•0•0•0•Updated Apr 3, 2019Apr 3, 2019

    • atom-language-idris

      Public
      A Idris Mode for Atom.io
      CoffeeScript
      •
      MIT License
      •23•0•0•0•Updated Feb 11, 2019Feb 11, 2019

    • path

      Public
      Well-typed paths in Idris
      Idris
      •
      MIT License
      •0•1•0•0•Updated Dec 13, 2018Dec 13, 2018

    • semver

      Public
      A semantic versioning library in Idris
      Idris
      •
      MIT License
      •0•1•0•0•Updated Dec 13, 2018Dec 13, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.