Haskell type-theory

Open-source Haskell projects categorized as type-theory

Top 3 Haskell type-theory Projects

  • write-you-a-haskell

    Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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


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

  • cubicaltt

    Experimental implementation of Cubical Type Theory

    Project mention: Let's collect relatively new research programming languages in this thread | /r/ProgrammingLanguages | 2022-11-15

    - cubicialtt a programming language based on cubical type theory in which univalence from homotopy type theory isn't an axiom but a theorem

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 type-theory related posts


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

Project Stars
1 write-you-a-haskell 3,261
2 Agda 2,208
3 cubicaltt 547
Updating dependencies is time-consuming.
Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.