Alternatives and similar repositories for tiger-rs

Users that are interested in tiger-rs are comparing it to the libraries listed below

• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 3 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆210Updated 5 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆28Updated last year
• fitzgen / bacon-rajan-cc
  ☆94Updated 2 years ago
• jyn514 / saltwater
  A C compiler written in Rust, with a focus on good error messages.
  ☆303Updated 9 months ago
• withoutboats / shifgrethor
  garbage collection
  ☆324Updated 6 years ago
• jauhien / iron-llvm
  Safe Rust LLVM bindings
  ☆125Updated 8 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• pvdrz / pijama_legacy
  A functional programming language
  ☆48Updated 5 years ago
• ndmitchell / interpret
  ☆39Updated 4 years ago
• Marwes / haskell-compiler
  A mostly functional haskell compiler written in rust
  ☆320Updated last year
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆336Updated 3 years ago
• pandaman64 / effective-rust
  ☆152Updated 6 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆180Updated 11 months ago
• sophiajt / rustyjit
  A JIT experiment in Rust
  ☆141Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆60Updated last year
• ucarion / llvm-rust-getting-started
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆96Updated 9 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆72Updated 8 years ago
• aatxe / oxide
  The essence of Rust.
  ☆128Updated 3 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆117Updated 6 years ago
• transistorfet / molten
  An LLVM compiler for an ML-like language (written in Rust)
  ☆61Updated 3 years ago
• rust-lang / gll
  GLL parsing framework.
  ☆138Updated last year
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆230Updated 5 years ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆92Updated 4 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆105Updated 3 years ago
• swgillespie / gccjit.rs
  Rust bindings for libgccjit.
  ☆52Updated 2 years ago
• fhaynes / iridium
  A register-based VM in Rust
  ☆73Updated 6 years ago
• zesterer / broom
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆253Updated 3 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated last month