Haskell type-theory

Open-source Haskell projects categorized as type-theory Edit details

Top 5 Haskell type-theory Projects

  • write-you-a-haskell

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

    Project mention: Type inference of letrec in Algorithm W | reddit.com/r/haskell | 2022-05-10

    This is the best resource I know of: http://dev.stephendiehl.com/fun/006\_hindley\_milner.html https://github.com/sdiehl/write-you-a-haskell/blob/master/chapter7/poly_constraints/src/Infer.hs

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

  • 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

  • peridot

    A fast functional language based on two level type theory

    Project mention: July 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-07-01

    The Peridot MVP is feature-complete! All that's left to do are bugfixes, after which it will be a real, usable language. Here's the major features, in no particular order:

  • konna

    A fast functional language based on two level type theory

    Project mention: How did you choose the name for your programming language? | reddit.com/r/ProgrammingLanguages | 2022-06-06

    The second was called Konna. AFAIK it’s Finnish for “frog”, but sources seem to disagree? I don’t speak Finnish, I got the word from a Finnish video game. My third and current language is called Peridot. I’m pretty proud of this name, although it’s less searchable than the previous ones. The origin is pretty simple, I was just looking around at gemstones and thought peridot looked neat.

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

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,117
2 Agda 1,864
3 cubicaltt 507
4 peridot 362
5 konna 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