https://github.com/unbalancedparentheses/lambda_calculus_rust
Implementing a toy Lambda Calculus language with chumsky and rust
https://github.com/unbalancedparentheses/lambda_calculus_rust
Last synced: 10 months ago
JSON representation
Implementing a toy Lambda Calculus language with chumsky and rust
- Host: GitHub
- URL: https://github.com/unbalancedparentheses/lambda_calculus_rust
- Owner: unbalancedparentheses
- License: mit
- Created: 2022-06-05T14:25:59.000Z (about 4 years ago)
- Default Branch: main
- Last Pushed: 2022-06-06T02:47:47.000Z (about 4 years ago)
- Last Synced: 2025-01-16T00:16:25.691Z (over 1 year ago)
- Language: Rust
- Homepage:
- Size: 26.4 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Lambda Calculus in Rust
https://tryhackme.com/room/win64assembly
Implementing a useless toy Lambda Calculus language with [chumsky](https://github.com/zesterer/chumsky), Rust and LLVM.
## References
- [Languages implemented in Rust](https://github.com/alilleybrinker/langs-in-rust)
- [pku-minic /first-step-rust](https://github.com/pku-minic/first-step-rust)
- [lalrpop-lambda](https://github.com/nixpulvis/lalrpop-lambda)
- [Build your own shell in Rust](https://www.joshmcguigan.com/blog/build-your-own-shell-rust/)
### Backends
- [Writing an LLVM-IR compiler in Rust: Getting started](https://github.com/ucarion/llvm-rust-getting-started)
- [JIT compiler and runtime for a toy language, using Cranelift](https://rustrepo.com/repo/bytecodealliance-cranelift-jit-demo)
### Grammar
- [The language of languages ](https://matt.might.net/articles/grammars-bnf-ebnf/)
### Lambda Calculus
- [Compiling to lambda-calculus: Turtles all the way down](https://matt.might.net/articles/compiling-up-to-lambda-calculus/)
- [Lambda calculus & Functional programming - Matthew Might](https://matt.might.net/teaching/compilers/spring-2011/lectures/02-functional-programming.pdf)