Based on our record, Idris seems to be more popular. It has been mentiond 1 time since March 2021. 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.
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
MobaXterm - Enhanced terminal for Windows with X11 server, tabbed SSH client, network tools and much more
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
KiTTY - KiTTY is a fork from version 0.70 of PuTTY. It adds extra features to PuTTY.
Rust - A safe, concurrent, practical language
ConEmu - ConEmu-Maximus5 is a full-featured local terminal for Windows devs, admins and users. Get better console window with tabs, splits, Quake style, copy+paste, DosBox and PuTTY integration, and much more.
Coq - Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...