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

This page summarizes the projects mentioned and recommended in the original post on /r/Idris
hardware-buttons scrape-images linkedin-bot

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • idris

    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.

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • Idris2

    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.

  • idris2-pkgs

    An unofficial Idris2 package repository for Nix

    idris2-pkgs is available if you use nix

  • inigo

    Inigo: A Package Manager for Idris2

    inigo, which you've already mentioned

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts