GitHub topics: lambdacalculus
minchingtonak/lambster
Lambda calculus interpreter written in TypeScript
Language: TypeScript - Size: 554 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 31 - Forks: 0
satyajitghana/LambdaCalculus
A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe
Language: Jupyter Notebook - Size: 15.7 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1
Scooter1337/Rust-LC
Lambda Calculus (parser, interpreter, type checker) written in Rust, and therefore 🔥Blazingly™🔥fast.
Language: Rust - Size: 17.6 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1
