SaaSHub helps you find the best software and product alternatives 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/)
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I highly recommend https://github.com/sdiehl/write-you-a-haskell as it is very developer friendly. It’s not complete, but it really gets the gears turning and will set you up for writing your own Hendley-Milner style type checker.
This was recently deemed inappropriate:
"Bye bye Set"
"Set and Prop are removed as keywords"
https://github.com/agda/agda/pull/4629
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 - SaaSHub
www.saashub.com | 24 Apr 2024
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,304 |
2 | Agda | 2,368 |
3 | cubicaltt | 556 |
Sponsored