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.
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.
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.
An unofficial Idris2 package repository for Nix
idris2-pkgs is available if you use nix
Inigo: A Package Manager for Idris2
inigo, which you've already mentioned
What are corner cases and unintuitive cases of the borrow checker?
1 project | reddit.com/r/rust | 17 May 2022
Why is my print code not working?
1 project | reddit.com/r/learnprogramming | 17 May 2022
My Experiences with Julia
3 projects | news.ycombinator.com | 16 May 2022
Would You Make A Svelte Todo App?
3 projects | dev.to | 17 May 2022
What are some low level languages?
5 projects | reddit.com/r/AskProgramming | 16 May 2022