Alternatives and similar repositories for Simple-Rust

Users that are interested in Simple-Rust are comparing it to the libraries listed below

• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆96Updated last month
• osa1 / lexgen
  A fully-featured lexer generator, implemented as a proc macro
  ☆69Updated 2 months ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆162Updated 5 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆100Updated 3 weeks ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• cfallin / waffle
  ☆58Updated last month
• matklad / resilient-ll-parsing
  ☆56Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆111Updated this week
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆59Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆184Updated this week
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆164Updated 2 years ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆40Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 4 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆116Updated last week
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆116Updated last year
• hopv / rust-horn
  RustHorn: A CHC-based automated verifier for Rust
  ☆84Updated 5 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 6 months ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated 3 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆79Updated last year
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆72Updated 3 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated last week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated last month
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 9 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆104Updated 3 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago