Alternatives and similar repositories for Simple-Rust

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

• osa1 / lexgen
  A fully-featured lexer generator, implemented as a proc macro
  ☆70Updated 3 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 2 weeks ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆44Updated last year
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆100Updated last month
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆62Updated 2 years ago
• matklad / resilient-ll-parsing
  ☆58Updated 2 years ago
• playXE / rsgc
  ☆19Updated 2 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆59Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆75Updated last month
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆164Updated 6 months ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 4 months ago
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 3 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆179Updated 9 months ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 2 months ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 6 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆117Updated 2 weeks ago
• jfecher / modern-compiler-architecture
  An example on how to write an incremental, concurrent, fault-tolerant compiler
  ☆52Updated 2 months ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆37Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆44Updated 8 months ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆40Updated last year
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆116Updated last year
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• cfallin / weval
  ☆173Updated 2 weeks ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 9 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆24Updated this week