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 3 years ago
• jauhien / iron-llvm
  Safe Rust LLVM bindings
  ☆123Updated 8 years ago
• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆111Updated 6 years ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆173Updated 6 months ago
• jyn514 / saltwater
  A C compiler written in Rust, with a focus on good error messages.
  ☆295Updated 3 months ago
• Marwes / haskell-compiler
  A mostly functional haskell compiler written in rust
  ☆316Updated last year
• ucarion / llvm-rust-getting-started
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆95Updated 8 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆207Updated 4 years ago
• zesterer / broom
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆252Updated 2 years ago
• fitzgen / bacon-rajan-cc
  ☆94Updated last year
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• withoutboats / shifgrethor
  garbage collection
  ☆321Updated 5 years ago
• aatxe / oxide
  The essence of Rust.
  ☆125Updated 3 years ago
• ceronman / loxido
  Rust implementation of the Lox programming language
  ☆145Updated 3 years ago
• etaoins / arret
  Pure functional Lisp implemented in Rust
  ☆208Updated 3 years ago
• fhaynes / iridium
  A register-based VM in Rust
  ☆67Updated 6 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆158Updated last year
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆162Updated 2 years ago
• Laythe-lang / Laythe
  A gradually typed language originally based on the crafting interpreters series
  ☆64Updated 6 months ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆196Updated 2 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆140Updated last year
• swgillespie / gccjit.rs
  Rust bindings for libgccjit.
  ☆51Updated 2 years ago
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆230Updated 4 years ago
• onehr / crust
  C99 (toy) compiler toolchain in Rust (in a weekend, for fun and self-education)
  ☆172Updated 4 years ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆198Updated 4 years ago
• mariosangiorgio / rulox
  Implementation in Rust of lox, the language described in Crafting Interpreters
  ☆63Updated 3 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆67Updated 5 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
• sophiajt / rustyjit
  A JIT experiment in Rust
  ☆138Updated 11 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 2 years ago