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
  ☆38Updated 2 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆52Updated 6 months ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 6 months ago
• ykjit / yk
  yk packages
  ☆33Updated this week
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆96Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆57Updated 3 years ago
• Lucretiel / twinsies
  Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places
  ☆27Updated last year
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆39Updated 4 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆63Updated 2 years ago
• lccc-project / lccc
  Lightning Creations Compiler Frontend for various languages
  ☆118Updated 9 months ago
• zesterer / mutation
  Unleash the power of nightly Rust to write code that's generic over mutation!
  ☆23Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 10 months ago
• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆62Updated last month
• zesterer / yurt
  A highly experiment portable runtime
  ☆20Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆111Updated last year
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• rust-lang / wg-grammar
  Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides
  ☆102Updated last year
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆142Updated last year
• ivandardi / RustbotPython
  A Discord bot for the Community Rust Language server, written in Python.
  ☆17Updated 2 years ago
• iximeow / zvm
  it goes zoom zoom
  ☆46Updated 2 years ago
• fasterthanlime / pegviz
  PEG trace visualizer
  ☆89Updated 8 months ago