Top 4 Rust lambda-calculu Projects

Kind

4 3,438 4.8 Rust

A next-gen functional language (by HigherOrderCO)

Project mention: Kind: A lambda-calculus based pure programming language | news.ycombinator.com | 2023-11-27

fp-core.rs

2 1,296 0.0 Rust

A library for functional programming in Rust

Project mention: Is Scala worth learning in 2023? | /r/scala | 2023-06-29

Learn something that pays the bill first - nowadays it's Golang/Rust react/typescript. Then you can try some pure fp libs like fp-ts and fp-core.rs, and look through existing scala cats docs. If you'll feel bad about it - that's totally fine and expectable, fp takes a paradigm shift and not that many dev able to shift their brains way of thought due to basic psychological rigidity) (inability to change habits and to modify concepts/attitudes once developed). And that's purely a staffing and management issue - folks hired randoms out of the blue, and called 'em a team.

InfluxDB

www.influxdata.com sponsored

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.
rlci

1 57 7.6 Rust

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

Project mention: rlci: Overly-documented Rust-powered Lambda Calculus Interpreter. A real programming language in just a bit of code and way too many comments. | /r/rust | 2023-06-19

lambda

1 4 5.3 Rust

λ-calculus parser made by rust (by notJoon)

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).