Erk- / RRustLinks
RRust, a reversible Rust DSL
☆41Updated 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
- A highly experiment portable runtime☆19Updated last year
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- ☆41Updated last year
- WLambda - Embeddable Scripting Language for Rust☆55Updated last month
- Scope Graph Implementation in Rust☆27Updated 7 months ago
- Macros have types!☆129Updated 2 years ago
- A memory efficient syntax tree for language developers☆62Updated last month
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Propositional logic with types in Rust☆62Updated last year
- We have Crater At Home☆35Updated 8 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆52Updated 3 months ago
- Rust implementation of the Quine-McCluskey algorithm and Petrick's method☆33Updated 2 years ago
- An experimental implementation of Avatar Logic with a Prolog-like syntax☆68Updated last year
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- yk packages☆33Updated last week
- ☆17Updated last year
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Runtime with fast GC and easy concurrency.☆43Updated 4 years ago
- A Discord bot for the Community Rust Language server, written in Python.☆16Updated last year
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆109Updated last year
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Perverse implementations of safe Rust traits☆20Updated 8 months ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- Compile-time temporary directory shared by multiple crates and erased by `cargo clean`☆75Updated 3 months ago