yodalee / computationbook-rust
Example code for Understanding Computation http://computationbook.com/ in Rust
☆35Updated 5 years ago
Related projects: ⓘ
- ☆146Updated 4 years ago
- Modeling NLL and the Rust borrowck☆75Updated 6 years ago
- A prototype embedded operating system written in Rust☆58Updated 2 years ago
- A Rust macro for writing regex pattern matching.☆48Updated 3 years ago
- A talk about the history of Rust☆35Updated 8 years ago
- A terminal text editor to be ACCEPTED☆112Updated last year
- PEG parser generator built on top of nom☆68Updated 5 years ago
- ☆23Updated 7 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- GLL parsing framework.☆138Updated 6 months ago
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 7 years ago
- A splay tree implementation written in Rust☆25Updated 5 years ago
- rust verification condition generator☆93Updated 8 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆100Updated 5 months ago
- Why can't a tree be called Pluplusch?☆23Updated 2 months ago
- home for proposals in and around compile-time function evaluation☆105Updated last year
- Let's build a HashMap☆21Updated 4 years ago
- rcaml is an OCaml implementation in Rust☆61Updated 6 years ago
- ☆81Updated last year
- A min-caml port to Rust☆24Updated 4 years ago
- High performance LOUDS (Level-Order Unary Degree Sequence) library☆28Updated 2 months ago
- Structurally-typed strict functional core language☆19Updated 7 months ago
- ☆38Updated 4 months ago
- An Experimental LISP☆19Updated 2 years ago
- A kernel module written in Rust☆135Updated 5 years ago
- A demand-driven compiler with strong IDE support☆195Updated 2 years ago
- The transaction abstraction library and its executors for rust☆17Updated 7 years ago
- Category Theory For Programmers (Bartosz Milewski)☆63Updated 2 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆139Updated 3 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆36Updated 2 months ago