#Lambda-calculus
Showing 4 of 4 repositories tagged #lambda-calculus, ranked by stars
JasonShin
fp-core.rs
A library for functional programming in Rust
Score
0
★ 1.4k
⑂ 69
+3/day
Rust
gallettilance
magnificATS
Collection of ATS goodness
Score
0
★ 34
⑂ 2
—
ATS
rawlins
lambda-notebook
Lambda Notebook: Formal Semantics in Jupyter
Score
0
★ 30
⑂ 6
—
Python
gallettilance
ATS-blockchain
⛓️ Blockchain + Smart contracts from scratch
Score
0
★ 22
⑂ 3
—
ATS