Alternatives and similar repositories for RRust

Users that are interested in RRust are comparing it to the libraries listed below

• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated 2 years ago
• tialaramex / misfortunate
  Perverse implementations of safe Rust traits
  ☆20Updated 7 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆57Updated last month
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆53Updated 3 years ago
• WeirdConstructor / WLambda
  WLambda - Embeddable Scripting Language for Rust
  ☆55Updated 3 months ago
• miestrode / ekege
  A different approach to an E-graph library
  ☆25Updated last month
• cfallin / waffle
  ☆58Updated 8 months ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated 2 weeks ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 9 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆52Updated 3 years ago
• ykjit / yk
  yk packages
  ☆32Updated last week
• saethlin / crater-at-home
  We have Crater At Home
  ☆33Updated 6 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 2 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 10 months ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• weiznich / rust-foundation-community-grant
  ☆20Updated 2 years ago
• danielhenrymantilla / never-say-never.rs
  The never type (the true one!) in stable Rust.
  ☆37Updated 3 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆37Updated 3 years ago
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 3 years ago