Alternatives and similar repositories for RRust

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

• Erk- / genfut
  Generate bindings for Futhark
  ☆40Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• ykjit / yk
  yk packages
  ☆33Updated this week
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆41Updated 4 years ago
• ivandardi / RustbotPython
  A Discord bot for the Community Rust Language server, written in Python.
  ☆18Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated 2 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 9 months ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 8 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆63Updated 3 months ago
• iximeow / zvm
  it goes zoom zoom
  ☆45Updated 2 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆53Updated 4 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• lccc-project / lccc
  Lightning Creations Compiler Frontend for various languages
  ☆120Updated 11 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆181Updated last week
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated last year
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 4 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Updated 10 years ago
• jazz-lang / WaffleLink
  Runtime with fast GC and easy concurrency.
  ☆43Updated 4 years ago