Haskell Agda

Open-source Haskell projects categorized as Agda Edit details

Top 3 Haskell Agda Projects

  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

    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".

  • agda2lagda

    Simple conversion from Agda text to literate Agda text.

  • 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.

  • agda-unused

    Check for unused code in an Agda project.

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 2022-06-13.

Haskell Agda related posts


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
Find remote jobs at our new job board 99remotejobs.com. There are 2 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives