yodalee / computationbook-rustLinks
Example code for Understanding Computation http://computationbook.com/ in Rust
☆36Updated 6 years ago
Alternatives and similar repositories for computationbook-rust
Users that are interested in computationbook-rust are comparing it to the libraries listed below
Sorting:
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆145Updated 8 months ago
- ☆154Updated 6 years ago
- Collecting examples and information to help design a memory model for Rust.☆127Updated 6 years ago
- Modeling NLL and the Rust borrowck☆84Updated 8 years ago
- GLL parsing framework.☆139Updated last year
- A super-simple compiler demoing how to talk to LLVM from Rust☆97Updated 9 years ago
- C99 (toy) compiler toolchain in Rust (in a weekend, for fun and self-education)☆176Updated 5 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- PEG parser generator built on top of nom☆70Updated 6 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- A port of the Berkeley YACC parser-generator to Rust☆133Updated 2 years ago
- home for proposals in and around compile-time function evaluation☆113Updated 2 months ago
- Open Data Structures (in Rust)☆356Updated 5 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated last year
- A sentinel-based, heapless, `Vec`-like type.☆71Updated 5 years ago
- pest book☆55Updated last month
- Algorithms, 4th Edition. Coursera MOOC. in Rust.☆93Updated 10 years ago
- garbage collection☆327Updated 6 years ago
- Manipulate LLVM-IR in Pure Rust☆226Updated 3 years ago
- A prototype embedded operating system written in Rust☆62Updated 4 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- Records build and test status of external tools bundled with the Rust repository.☆101Updated this week
- A talk about the history of Rust☆37Updated 9 years ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆166Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- A pure functional language for type-level programming in Rust☆338Updated 3 years ago
- A splay tree implementation written in Rust☆27Updated 7 years ago
- Manage multiple LLVM/Clang builds☆169Updated last year
- An implementation of the Hindley-Milner type system in Rust.☆43Updated 9 years ago
- ☆29Updated 9 years ago