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

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/Idris

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • Scout APM - Less time debugging, more time building
  • SaaSHub - Software Alternatives and Reviews
  • 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.

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

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • 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