Erk- / RRustLinks
RRust, a reversible Rust DSL
☆43Updated 10 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☆39Updated 2 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆18Updated 2 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Rust testing framework for compilers and VMs☆51Updated 7 months ago
- sptr: The Strict Provenance Polyfill☆75Updated 2 years ago
- Ultra-compact storage for collections of enums 🌱☆23Updated 3 years ago
- yk packages☆33Updated last week
- Scope Graph Implementation in Rust☆27Updated 10 months ago
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Updated last year
- A highly experiment portable runtime☆20Updated last year
- A prototype of my proposed name resolution algorithm for Rust.☆13Updated 9 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated 2 years ago
- A memory efficient syntax tree for language developers☆62Updated 2 months ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 6 months ago
- We have Crater At Home☆36Updated 11 months ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆111Updated last year
- WLambda - Embeddable Scripting Language for Rust☆54Updated 4 months ago
- The never type (the true one!) in stable Rust.☆41Updated 3 months ago
- Tracking if yeet gets added as a reserved keyword in Rust☆26Updated 2 years ago
- Lightning Creations Compiler Frontend for various languages☆118Updated 10 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- A library for creating and using anonymous sum types as errors in Rust☆18Updated 4 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- Macros have types!☆131Updated 2 years ago
- Tools to avoid unnecessary usage of safe code☆37Updated 5 years ago
- Experimental type level programming in Rust☆40Updated 4 years ago
- Repo for coordinating the creation, distribution, collection, and analysis of surveys for the Rust project.☆32Updated this week