keean / elements_in_rust
Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust
☆22Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for elements_in_rust
- Collections Library for Adapton, in Rust☆13Updated 7 years ago
- Experimental persistent collections in Rust☆43Updated 7 years ago
- Adapton Lab, written in Rust.☆15Updated 5 years ago
- A transducer library for Rust☆10Updated 8 years ago
- A Lisp made for easy integration with Rust.☆9Updated 8 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆33Updated 5 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- R6RS Scheme implementation written in Rust☆63Updated 7 years ago
- A miniKanren implementation in Rust☆36Updated 8 years ago
- Compiler plugin calculating const size of string literal and others☆11Updated 7 years ago
- Concurrent Functional Reactive Programming for Rust☆16Updated 8 years ago
- Slides for CIS 198 (Fall 2016) -- Read online at:☆28Updated 7 years ago
- Enables dependency injection for many I/O operations in Rust☆12Updated 6 years ago
- A "port" of plucid that works on OS X☆12Updated 10 years ago
- A toy Lisp compiler targeting x86-64☆40Updated 4 years ago
- Jit + Rust + Memory☆19Updated 10 years ago
- GapBuffer data structure in Rust.☆16Updated 9 years ago
- A lightweight Datalog engine in Rust☆57Updated 6 years ago
- This is the code for the book "Rust Essentials"☆44Updated 9 years ago
- Implementations of common sorting algorithms in Rust with comprehensive tests and benchmarks.☆51Updated 6 years ago
- safe and efficient memory manager for microcontrollers☆34Updated 7 years ago
- Conway's Game of Life, implemented in Rust☆33Updated 7 years ago
- A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety☆41Updated 10 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆83Updated 6 months ago
- A logic programming library (inspired by uKanren) in Rust.☆18Updated 8 years ago
- abandoned update of jack crenshaw's compilers intro☆115Updated 6 years ago
- Implicit Drop/move protection for Rust (linear types)☆12Updated 9 years ago
- A parser-combinator library for Rust☆45Updated 8 years ago