SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 Haskell Agda Projects
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Haskell Agda discussion
Haskell Agda related posts
-
Types versus sets (and what about categories?)
-
What can Category Theory do?
-
Amendmend proposal: Changed syntax for Or patterns
-
Functional Programming and Maths <|> How can a code monkey learn Agda?
-
Doom emacs and agda-mode
-
FP language idea - would this is possible to infer and type check?
-
Do you use Idris or Coq, and why?
-
A note from our sponsor - SaaSHub
www.saashub.com | 10 Jul 2025
Index
What are some of the best open-source Agda projects in Haskell? This list will help you:
# | Project | Stars |
---|---|---|
1 | Agda | 2,669 |
2 | cornelis | 158 |
3 | agda2lagda | 14 |
4 | agda-unused | 9 |