What's the current status with packages/libraries on Idris?

• idris

  5 3,410 6.2 Haskell

  A Dependently Typed Functional Programming Language

  

So apparently there's a package manager called Inigo, but there are only a few packages in it. There's an idris-hackers group on github, that's linked from the idris-lang.org page. None of those libraries appear in Inigo though. So seems that Inigo isn't really a thing people are using.

• Idris2

  39 2,395 9.6 Idris

  A purely functional programming language with first class types

  

the wiki has a list for manual management, which I think most people are doing at the moment.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• idris2-pkgs

  1 43 0.0 Nix

  An unofficial Idris2 package repository for Nix

idris2-pkgs is available if you use nix

• inigo

  1 58 0.0 Idris

  Inigo: A Package Manager for Idris2

  

inigo, which you've already mentioned

Suggest a related project