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
- ☆24Updated 8 years ago
- ☆150Updated 5 years ago
- A talk about the history of Rust☆37Updated 8 years ago
- A min-caml port to Rust☆25Updated 2 months ago
- Structurally-typed strict functional core language☆19Updated 5 months ago
- A prototype embedded operating system written in Rust☆61Updated 3 years ago
- rcaml is an OCaml implementation in Rust☆63Updated 7 years ago
- A Rust macro for writing regex pattern matching.☆49Updated 4 years ago
- PEG parser generator built on top of nom☆70Updated 5 years ago
- A terminal text editor to be ACCEPTED☆115Updated last year
- A simple tetris clone using Rust and WebAssembly☆78Updated 2 years ago
- GLL parsing framework.☆137Updated last year
- Modeling NLL and the Rust borrowck☆80Updated 7 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Updated 9 months ago
- pest book☆48Updated 2 weeks ago
- Macro to use rust IntoIterator as a monad with haskell like syntax☆25Updated 5 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆100Updated last year
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 8 years ago
- Rust implementation of the projects from the book Modern Compiler Implementation in ML☆143Updated 3 months ago
- A fully-featured lexer generator, implemented as a proc macro☆69Updated 4 months ago
- ☆45Updated 2 years ago
- A kernel module written in Rust☆136Updated 6 years ago
- A combinator library for building asynchronous HTTP services☆58Updated 6 years ago
- A port of the Berkeley YACC parser-generator to Rust☆128Updated last year
- Data structures used by the RLS and Rust compiler☆10Updated 6 years ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- A Scheme interpreter written in Rust☆89Updated 6 years ago
- ☆39Updated 11 months ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago