Top 9 Haskell lambda-calculu 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.
-
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.
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.
Implementation
Haskell lambda-calculus related posts
- Type inference of letrec in Algorithm W
- [Kind-Lang] Getters and Setters done right in a pure functional language
- My unedited, uncensored thoughts about Ethereum, Cardano, Tezos, formal proofs and functional programming being a gimmick
- StepULC: Efficient and single-steppable ULC (untyped lambda calculus) evaluation algorithm
Index
What are some of the best open-source lambda-calculu projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | write-you-a-haskell | 3,304 |
2 | elsa | 180 |
3 | lambda-calculator | 88 |
4 | birb | 79 |
5 | mikrokosmos | 68 |
6 | salt | 63 |
7 | ltext | 36 |
8 | StepULC | 15 |
9 | sloe | 3 |
Sponsored