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
  ☆202Updated 2 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 5 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• ucarion / llvm-rust-getting-started
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆95Updated 8 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆168Updated 2 months ago
• jauhien / iron-llvm
  Safe Rust LLVM bindings
  ☆120Updated 8 years ago
• aatxe / oxide
  The essence of Rust.
  ☆123Updated 2 years ago
• withoutboats / shifgrethor
  garbage collection
  ☆321Updated 5 years ago
• fitzgen / bacon-rajan-cc
  ☆92Updated last year
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 8 years ago
• overminder / sanya-jit
  Let's (possibly) build a JIT!
  ☆29Updated last year
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆96Updated 4 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 years ago
• Marwes / haskell-compiler
  A mostly functional haskell compiler written in rust
  ☆311Updated last year
• jyn514 / saltwater
  A C compiler written in Rust, with a focus on good error messages.
  ☆294Updated last week
• onehr / crust
  C99 (toy) compiler toolchain in Rust (in a weekend, for fun and self-education)
  ☆174Updated 4 years ago
• zesterer / broom
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆252Updated 2 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 7 months ago
• kenpratt / rusty_scheme
  A Scheme interpreter written in Rust
  ☆88Updated 6 years ago
• transistorfet / molten
  An LLVM compiler for an ML-like language (written in Rust)
  ☆59Updated 2 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• rust-lang / rust-memory-model
  Collecting examples and information to help design a memory model for Rust.
  ☆126Updated 5 years ago
• brendanzab / rust-nbe-for-mltt
  Normalization by evaluation for Martin-Löf Type Theory with dependent records
  ☆98Updated 2 years ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆90Updated 3 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆90Updated 2 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• matklad / minipratt
  ☆219Updated 2 months ago
• jDomantas / plank
  ☆59Updated 3 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆324Updated 2 years ago
• rust-lang / gll
  GLL parsing framework.
  ☆137Updated 10 months ago