Erk- / RRust
RRust, a reversible Rust DSL
☆40Updated 4 months ago
Alternatives and similar repositories for RRust:
Users that are interested in RRust are comparing it to the libraries listed below
- Propositional logic with types in Rust☆62Updated last year
- Session types for asynchronous communication between multiple parties.☆41Updated 8 months ago
- Generate bindings for Futhark☆37Updated 2 years ago
- A highly experiment portable runtime☆18Updated 11 months 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
- sptr: The Strict Provenance Polyfill☆76Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- yk packages☆32Updated this week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- ☆16Updated last year
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆107Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 3 years ago
- ☆37Updated last year
- Rust testing framework for compilers and VMs☆50Updated last month
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- Macro assembler for Rust☆35Updated last year
- WLambda - Embeddable Scripting Language for Rust☆53Updated last month
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated 10 months ago
- A memory efficient syntax tree for language developers☆57Updated this week
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- a reference-counting cycle collection library in rust☆77Updated 2 years ago
- An interface for writing a RustTypeChecker.☆42Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- Program analysis playground for a simple, imperative language☆36Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 2 years ago
- ☆58Updated 6 months ago
- exhaustive testing library☆63Updated 8 months ago
- Provides a Refl encoding in Rust☆68Updated last year
- Macros have types!☆129Updated 2 years ago