Erk- / RRustLinks
RRust, a reversible Rust DSL
☆42Updated 7 months ago
Alternatives and similar repositories for RRust
Users that are interested in RRust are comparing it to the libraries listed below
Sorting:
- Generate bindings for Futhark☆38Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- yk packages☆33Updated this week
- Rust testing framework for compilers and VMs☆51Updated 4 months ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Macros have types!☆130Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 4 months ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- Exploring the "expression problem" in Rust☆50Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- 👌 A smol functional language that targets other languages☆62Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Propositional logic with types in Rust☆62Updated last year
- Modular register allocator algorithms☆106Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆75Updated last year
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆110Updated last year
- We have Crater At Home☆36Updated 8 months ago
- WLambda - Embeddable Scripting Language for Rust☆54Updated last month
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Session types for asynchronous communication between multiple parties.☆41Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- Type-level strings☆14Updated last year
- ☆58Updated last week
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago