Haskell Agda

Open-source Haskell projects categorized as Agda

Top 4 Haskell Agda Projects

  • Agda

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

    Project mention: Types versus sets (and what about categories?) | news.ycombinator.com | 2023-08-31

    This was recently deemed inappropriate:

    "Bye bye Set"

    "Set and Prop are removed as keywords"


  • cornelis

    agda-mode for neovim

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

  • agda2lagda

    Simple conversion from Agda text to literate Agda text.

  • 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 2023-08-31.

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