The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
Top 7 Haskell Type System Projects
-
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
type-level-numbers
Implementation of type level natural and signed integer numbers in haskell using type families.
-
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.
Haskell Type System related posts
- Comparing polymorphic function arguments with GHC
- [ANN/RFC] constraint-rules
- morloc-project/morloc: A typed, polyglot, functional language
- Hacker News top posts: Jul 29, 2021
- Morloc: Foreign languages unified under common functional type system
- Transpiling to GHC Core language
-
A note from our sponsor - WorkOS
workos.com | 26 Apr 2024
Index
What are some of the best open-source Type System projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | write-you-a-haskell | 3,304 |
2 | morloc | 193 |
3 | typelevel-rewrite-rules | 61 |
4 | uom-plugin | 30 |
5 | type-level-numbers | 8 |
6 | type-eq | 5 |
7 | funspection | 0 |
Sponsored