Alternatives and similar repositories for rush

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

• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆115Updated last month
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆45Updated last year
• Wilfred / garden
  an interactive programming language
  ☆50Updated last week
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated 2 years ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆65Updated last year
• linkdd / letlang
  Functional language with a powerful type system.
  ☆172Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆45Updated 3 weeks ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• mkeeter / ssra
  The Solid-State Register Allocator
  ☆87Updated 3 years ago
• Laythe-lang / Laythe
  A gradually typed language originally based on the crafting interpreters series
  ☆64Updated 2 months ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆55Updated 4 months ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆226Updated 11 months ago
• azur1s / holymer
  (WIP) A programming language
  ☆42Updated 9 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 3 weeks ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆37Updated 3 years ago
• luminalang / lumina
  Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…
  ☆108Updated 2 months ago
• adam-mcdaniel / reckon
  A reasonable theorem prover for your reasoning tasks!
  ☆26Updated 9 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆122Updated last year
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆88Updated last month
• igordejanovic / rustemo
  LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/
  ☆40Updated this week
• steveklabnik / rue
  A programming language that is a minimal subset of Rust
  ☆279Updated this week
• segeljakt / pratt
  Pratt parser written in Rust
  ☆91Updated last year
• ndmitchell / interpret
  ☆39Updated 4 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated last month
• raviqqe / stak
  The miniature, embeddable R7RS Scheme implementation in Rust
  ☆107Updated this week
• pretzelhammer / brainfuck_compilers
  Learn assembly with entirely too many brainfuck compilers
  ☆57Updated 4 years ago
• wareya / filli
  Small powerful micro scripting language <1K SLOC
  ☆61Updated 3 weeks ago
• fir-lang / fir
  Fir programming language
  ☆81Updated last week
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 3 years ago