Haskell Agda

Open-source Haskell projects categorized as Agda

Top 4 Haskell Agda Projects

  1. Agda

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

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. cornelis

    agda-mode for neovim

  4. agda2lagda

    Simple conversion from Agda text to literate Agda text.

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

Haskell Agda discussion

Log in or Post with

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 - SaaSHub
    www.saashub.com | 10 Jul 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source Agda projects in Haskell? This list will help you:

# Project Stars
1 Agda 2,669
2 cornelis 158
3 agda2lagda 14
4 agda-unused 9

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?