Idris might be a bit more popular than ProjectManager.com. We know about 1 link to it since March 2021 and only 1 link to ProjectManager.com. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Hello -- listen to some free recordings on youtube https://www.youtube.com/watch?v=d8_gaRIrrUw&list=PLF1064CD7B0A98261. This is projectmanager.com. Source: over 1 year ago
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. Source: over 2 years ago
ClickUp - ClickUp's #1 rated productivity software is making more productive projects with a beautifully designed and intuitive platform.
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
Asana - Asana project management is an effort to re-imagine how we work together, through modern productivity software. Fast and versatile, Asana helps individuals and groups get more done.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
monday.com - The most intuitive platform to manage projects and teamwork
Rust - A safe, concurrent, practical language