yodalee / computationbook-rust
Example code for Understanding Computation http://computationbook.com/ in Rust
☆35Updated 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
- A Rust macro for writing regex pattern matching.☆49Updated 3 years ago
- A prototype embedded operating system written in Rust☆61Updated 3 years ago
- ☆24Updated 8 years ago
- rcaml is an OCaml implementation in Rust☆62Updated 7 years ago
- Structurally-typed strict functional core language☆19Updated 4 months ago
- A talk about the history of Rust☆37Updated 8 years ago
- ☆150Updated 5 years ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆94Updated 8 years ago
- A terminal text editor to be ACCEPTED☆115Updated last year
- A very small GC in Rust, with a safe API☆61Updated 8 months ago
- A Scheme interpreter written in Rust☆89Updated 6 years ago
- ☆52Updated 2 years ago
- Exploring the "expression problem" in Rust☆48Updated 2 years ago
- The transaction abstraction library and its executors for rust☆18Updated 7 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 8 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated 9 months ago
- A demand-driven compiler with strong IDE support☆196Updated 2 years ago
- Why can't a tree be called Pluplusch?☆26Updated this week
- A min-caml port to Rust☆25Updated last month
- A concurrent GC.☆43Updated 2 years ago
- A simple tetris clone using Rust and WebAssembly☆78Updated 2 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆142Updated 2 months ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- A splay tree implementation written in Rust☆25Updated 6 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- A library for garbage collection in Rust.☆13Updated 3 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Modeling NLL and the Rust borrowck☆80Updated 7 years ago
- An Experimental LISP☆20Updated 2 years ago