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
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode for neovim
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.
Simple conversion from Agda text to literate Agda text.
Check for unused code in an Agda project.
Haskell Agda related posts
Types versus sets (and what about categories?)
1 project | news.ycombinator.com | 31 Aug 2023
What can Category Theory do?
2 projects | /r/askmath | 22 Jun 2023
Amendmend proposal: Changed syntax for Or patterns
2 projects | /r/haskell | 14 Apr 2023
Functional Programming and Maths <|> How can a code monkey learn Agda?
1 project | /r/functionalprogramming | 26 Mar 2023
Doom emacs and agda-mode
2 projects | /r/emacs | 22 Mar 2023
FP language idea - would this is possible to infer and type check?
1 project | /r/haskell | 26 Jan 2023
Do you use Idris or Coq, and why?
3 projects | /r/haskell | 16 Nov 2022
A note from our sponsor - InfluxDB
www.influxdata.com | 29 Sep 2023
What are some of the best open-source Agda projects in Haskell? This list will help you: