Erk- / RRustLinks
RRust, a reversible Rust DSL
☆43Updated last year
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☆40Updated 2 years ago
- yk packages☆38Updated this week
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆54Updated 9 months ago
- Macros have types!☆134Updated 2 years ago
- Scope Graph Implementation in Rust☆28Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 3 years ago
- A highly experiment portable runtime☆21Updated last year
- Experimental type level programming in Rust☆41Updated 4 years ago
- Rust testing framework for compilers and VMs☆51Updated 10 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Type-level named values with partial dependent type support in Rust☆57Updated 3 years ago
- A memory efficient syntax tree for language developers☆63Updated 2 weeks ago
- Propositional logic with types in Rust☆64Updated 2 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- Lightning Creations Compiler Frontend for various languages☆120Updated last year
- Unleash the power of nightly Rust to write code that's generic over mutation!☆23Updated 5 years ago
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆35Updated last month
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Rust bindings for libgccjit.☆53Updated 2 years ago
- 👌 A smol functional language that targets other languages☆66Updated last year
- A fully-featured lexer generator, implemented as a proc macro☆71Updated last week
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆71Updated last year
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆54Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago