Alternatives and similar repositories for sanya-jit:

Users that are interested in sanya-jit are comparing it to the libraries listed below

• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 5 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 8 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆52Updated 8 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 8 months ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆97Updated 4 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆45Updated 7 years ago
• kenpratt / rusty_scheme
  A Scheme interpreter written in Rust
  ☆89Updated 6 years ago
• OlegTheCat / unlisp-llvm
  Compiler for a toy Lisp language
  ☆64Updated 5 years ago
• izgzhen / RuScript
  Experimental Language based on Rust and Haskell
  ☆51Updated 8 years ago
• playXE / Jazz
  Jazz - register-based virtual machine and programming language
  ☆27Updated 6 years ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆58Updated last year
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61Updated 2 years ago
• TomBebbington / jit.rs
  LibJIT wrapper for Rust
  ☆60Updated 6 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• alilleybrinker / ruse
  A Scheme embedded in Rust, like Lua in C.
  ☆62Updated 6 years ago
• fitzgen / bacon-rajan-cc
  ☆93Updated last year
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• nwtnni / tigerc
  Compiler for the Tiger programming language
  ☆12Updated 6 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆35Updated 5 years ago
• raviqqe / ssf
  Structurally-typed strict functional core language
  ☆19Updated 3 months ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆117Updated 4 years ago
• emberian / lets-build-a-compiler
  abandoned update of jack crenshaw's compilers intro
  ☆115Updated 6 years ago
• TomBebbington / llvm-rs
  LLVM wrappers for Rust
  ☆68Updated 7 years ago
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 6 years ago
• ymyzk / lambda-dti
  Interpreter of the ITGL with dynamic type inference
  ☆22Updated 2 weeks ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago