Erk- / RRust
RRust, a reversible Rust DSL
☆40Updated 5 months ago
Alternatives and similar repositories for RRust:
Users that are interested in RRust are comparing it to the libraries listed below
- yk packages☆32Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Propositional logic with types in Rust☆62Updated last year
- Generate bindings for Futhark☆37Updated 2 years ago
- We have Crater At Home☆30Updated 6 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated last year
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Ultra-compact storage for collections of enums 🌱☆22Updated 2 years ago
- A highly experiment portable runtime☆19Updated last year
- Scope Graph Implementation in Rust☆25Updated 5 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- ☆38Updated last year
- Perverse implementations of safe Rust traits☆20Updated 6 months ago
- exhaustive testing library☆63Updated 8 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Why can't a tree be called Pluplusch?☆28Updated this week
- WLambda - Embeddable Scripting Language for Rust☆53Updated 2 months ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆32Updated last year
- An alternative `std`-like implementation built on origin☆29Updated last month
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- Transport-polymorphic, asynchronous session types for Rust☆61Updated 2 years ago
- Experimental type level programming in Rust☆37Updated 3 years ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆46Updated last year
- Macros have types!☆129Updated 2 years ago
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago