Top 5 Haskell type-theory Projects
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
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
-
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.
-
-
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:
-
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.
Haskell type-theory related posts
- 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
- Peridot: A functional language based on two-level type theory
- [Kind-Lang] Getters and Setters done right in a pure functional language
- Plato’s Cave Found in Mathematics
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,117 |
| 2 | Agda | 1,864 |
| 3 | cubicaltt | 507 |
| 4 | peridot | 362 |
| 5 | konna | 6 |
Are you hiring? Post a new remote job listing for free.
