hayatoito / tapl-in-rust
☆23Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for tapl-in-rust
- rcaml is an OCaml implementation in Rust☆61Updated 6 years ago
- Structurally-typed strict functional core language☆19Updated last week
- A talk about the history of Rust☆35Updated 8 years ago
- A min-caml port to Rust☆25Updated 4 years ago
- A combinator library for building asynchronous HTTP services☆57Updated 5 years ago
- A Rust compiler backend focused on compilation speed.☆16Updated 2 years ago
- Formal semantics of Rust☆23Updated 3 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆37Updated 4 months ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated 9 months ago
- ☆45Updated last year
- An Experimental LISP☆19Updated 2 years ago
- Emscripten API bindings for Rust☆18Updated 4 years ago
- A Rust macro for writing regex pattern matching.☆48Updated 3 years ago
- The transaction abstraction library and its executors for rust☆17Updated 7 years ago
- Why can't a tree be called Pluplusch?☆25Updated 4 months ago
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 7 years ago
- simple text editor using rust language.☆13Updated 4 years ago
- Rust implementation of SIMD-oriented Fast Mersenne Twister (SFMT) using stable SIMD☆33Updated 3 years ago
- Exploring the "expression problem" in Rust☆46Updated 2 years ago
- A toy JVM on Web Browser implemented by Rust☆61Updated last year
- Modeling NLL and the Rust borrowck☆79Updated 7 years ago
- avoid unwrap() method☆19Updated 11 months ago
- functional programming language and its compiler☆18Updated 5 years ago
- ☆38Updated 6 months ago
- ☆65Updated last year
- Modular register allocator algorithms☆106Updated 2 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆50Updated 3 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- Data structures used by the RLS and Rust compiler☆10Updated 5 years ago
- Session Type EDSL for Rust☆101Updated 2 years ago