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
  ☆39Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• ykjit / yk
  yk packages
  ☆33Updated this week
• ivandardi / RustbotPython
  A Discord bot for the Community Rust Language server, written in Python.
  ☆18Updated 2 years ago
• Lucretiel / twinsies
  Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places
  ☆27Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated 2 years ago
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated 2 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 8 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated 2 months ago
• jakevossen5 / areweyeetyet.rs
  Tracking if yeet gets added as a reserved keyword in Rust
  ☆26Updated 2 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 11 months ago
• lccc-project / lccc
  Lightning Creations Compiler Frontend for various languages
  ☆119Updated 10 months ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆53Updated 7 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated last month
• saethlin / crater-at-home
  We have Crater At Home
  ☆36Updated last year
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆40Updated 4 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆53Updated 4 years ago
• mxxo / plutonium
  Tools to avoid unnecessary usage of safe code
  ☆37Updated 5 years ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• iximeow / zvm
  it goes zoom zoom
  ☆45Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆132Updated 2 years ago
• osa1 / lexgen
  A fully-featured lexer generator, implemented as a proc macro
  ☆71Updated 5 months ago
• dtolnay / scratch
  Compile-time temporary directory shared by multiple crates and erased by `cargo clean`
  ☆76Updated last month
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Updated 9 years ago