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
- A min-caml port to Rust☆25Updated 4 years ago
- A talk about the history of Rust☆35Updated 8 years ago
- Why can't a tree be called Pluplusch?☆25Updated 4 months ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆37Updated 4 months ago
- Structurally-typed strict functional core language☆19Updated 9 months ago
- An Experimental LISP☆19Updated 2 years ago
- ☆45Updated last year
- A Rust macro for writing regex pattern matching.☆48Updated 3 years ago
- simple text editor using rust language.☆13Updated 4 years ago
- Formal semantics of Rust☆23Updated 3 years ago
- Programs for checking the ρ property☆17Updated 3 years ago
- ☆38Updated 5 months ago
- An implementation of the Hindley-Milner type system in Rust.☆42Updated 7 years ago
- Interpreter of the ITGL with dynamic type inference☆21Updated last month
- The uncurried minimal functional programming language for CPS transformation☆18Updated 8 months ago
- Rust implementation of SIMD-oriented Fast Mersenne Twister (SFMT) using stable SIMD☆33Updated 3 years ago
- functional programming language and its compiler☆18Updated 5 years ago
- A toy JVM on Web Browser implemented by Rust☆61Updated last year
- avoid unwrap() method☆19Updated 11 months ago
- Expression-oriented toy programming language written in Rust☆19Updated 5 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆56Updated 5 years ago
- A MinCaml compiler implemented in Rust☆41Updated last year
- The transaction abstraction library and its executors for rust☆17Updated 7 years ago
- Modular register allocator algorithms☆106Updated 2 years ago
- A Rust implementation of distributed replicated log based on the Raft algorithm☆50Updated 3 years ago
- An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.☆56Updated 4 years ago
- Emscripten API bindings for Rust☆18Updated 4 years ago
- ☆38Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago