Repositories list

• 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

  Rust

  •

  MIT License

  •10•190•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
  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•3•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

  •22•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