Top 3 Haskell Agda Projects
-
Project mention: Do you feel static types have "won the war", so to speak? | reddit.com/r/ExperiencedDevs | 2022-06-13
At the most extreme level, you disappear into a meditative solitary retreat for a couple of years to seek enlightenment, and when you emerge you're no longer a programmer who writes programs, you're a theorist who proves theorems in Agda, and you have transcended above things that are tainted by the inherent evil of the material plane like "side effects" and "business needs" and "delivery timelines" and "could you stop doing that fancy math crap and just change the button's color like I asked for".
-
-
Scout APM
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
-
Haskell Agda related posts
Index
What are some of the best open-source Agda projects in Haskell? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | Agda | 1,852 |
| 2 | agda2lagda | 12 |
| 3 | agda-unused | 6 |
Are you hiring? Post a new remote job listing for free.
