Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge. Learn more →
Top 4 Haskell Agda Projects
-
This was recently deemed inappropriate:
"Bye bye Set"
"Set and Prop are removed as keywords"
-
-
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.
-
-
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).
The latest post mention was on 2023-08-31.
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 - InfluxDB
www.influxdata.com | 29 Sep 2023
Index
What are some of the best open-source Agda projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | Agda | 2,212 |
2 | cornelis | 109 |
3 | agda2lagda | 13 |
4 | agda-unused | 9 |
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
www.influxdata.com