Erk- / RRust
RRust, a reversible Rust DSL
☆40Updated 3 months ago
Alternatives and similar repositories for RRust:
Users that are interested in RRust are comparing it to the libraries listed below
- sptr: The Strict Provenance Polyfill☆76Updated last year
- A highly experiment portable runtime☆19Updated 10 months ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- exhaustive testing library☆63Updated 7 months ago
- An interface for writing a RustTypeChecker.☆42Updated 2 years ago
- An experiment in an augmented error handling type for Rust☆38Updated this week
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated 11 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 10 months ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆51Updated 3 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 8 months ago
- a reference-counting cycle collection library in rust☆78Updated 2 years ago
- A memory efficient syntax tree for language developers☆54Updated last month
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- 🎶 Choreographic programming in Rust 🎶☆49Updated 3 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆33Updated 10 months ago
- Runtime with fast GC and easy concurrency.☆43Updated 3 years ago
- Macros have types!☆129Updated 2 years ago
- Generate bindings for Futhark☆36Updated 2 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- Token tree calling convention☆79Updated 2 years ago
- Lift enum variants to the type-level.☆32Updated 3 years ago
- WLambda - Embeddable Scripting Language for Rust☆53Updated last month
- An experimental RVSDG optimizer for brainfuck code☆23Updated 2 years ago
- We have Crater At Home☆28Updated 4 months ago
- ☆37Updated last year
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Updated last year