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. Learn more →
Top 3 Haskell type-theory Projects
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
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.
-
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
- Peridot Paper Preprint
- Peridot MVP
- How and where to learn the latest mathematical concepts?
- A Typed Foundation for Directional Logic Programming
- Peridot: A functional language based on two-level type theory
- Peridot: A functional language based on two-level type theory
- Peridot: A functional language based on two-level type theory
-
A note from our sponsor - SonarQube
www.sonarqube.org | 25 Sep 2023
Index
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.
blog.mergify.com