yodalee / computationbook-rust
Example code for Understanding Computation http://computationbook.com/ in Rust
☆35Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for computationbook-rust
- A prototype embedded operating system written in Rust☆59Updated 2 years ago
- ☆23Updated 7 years ago
- A Rust macro for writing regex pattern matching.☆48Updated 3 years ago
- PEG parser generator built on top of nom☆69Updated 5 years ago
- Modeling NLL and the Rust borrowck☆79Updated 7 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- ☆149Updated 5 years ago
- A talk about the history of Rust☆35Updated 8 years ago
- Manage multiple LLVM/Clang builds☆153Updated 6 months ago
- A terminal text editor to be ACCEPTED☆114Updated last year
- A min-caml port to Rust☆25Updated 4 years ago
- Structurally-typed strict functional core language☆19Updated last week
- home for proposals in and around compile-time function evaluation☆105Updated last year
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆99Updated 7 months ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- Type-safe transmutations between layout-compatible types.☆120Updated 4 years ago
- A kernel module written in Rust☆136Updated 5 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆140Updated last week
- Fast lexer code generator for Rust☆137Updated 3 months ago
- ☆33Updated 4 years ago
- A very small GC in Rust, with a safe API☆61Updated 4 months ago
- rcaml is an OCaml implementation in Rust☆61Updated 6 years ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆28Updated 4 months ago
- Category Theory For Programmers (Bartosz Milewski)☆64Updated 2 years ago
- Initialization code ("crt0") written in Rust☆69Updated 3 years ago
- A simple tetris clone using Rust and WebAssembly☆77Updated last year
- 🚧 (Archived) StellarSQL: a minimal SQL DBMS written in Rust☆86Updated 5 years ago
- A demand-driven compiler with strong IDE support☆195Updated 2 years ago