overminder / sanya-jit

Related projects ⓘ

Alternatives and complementary repositories for sanya-jit

• samrat / rusl
  A toy Lisp compiler targeting x86-64
  ☆40Updated 4 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• nikomatsakis / dogged
  Experimental persistent collections in Rust
  ☆43Updated 7 years ago
• cgswords / rsc
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆11Updated 6 years ago
• TomBebbington / jit.rs
  LibJIT wrapper for Rust
  ☆59Updated 6 years ago
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆95Updated 4 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆45Updated 8 years ago
• izgzhen / RuScript
  Experimental Language based on Rust and Haskell
  ☆51Updated 7 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆61Updated 4 months ago
• kenpratt / rusty_scheme
  A Scheme interpreter written in Rust
  ☆87Updated 6 years ago
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆36Updated 8 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆36Updated 8 years ago
• playXE / garbage-collector
  Garbage collector implementation in Rust for Rust
  ☆13Updated 4 years ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 10 years ago
• Pebaz / LambdaCore
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆60Updated 2 years ago
• jolisper / ulisp
  An implementation of @phil_eaton compilers basic notes in Rust
  ☆33Updated 5 years ago
• hawkw / seax
  A VM-based runtime environment for functional programming languages
  ☆45Updated 7 years ago
• cuplv / iodyn.rust
  Collections Library for Adapton, in Rust
  ☆13Updated 7 years ago
• MaskRay / CamlFeatherweight
  Bytecode compiler of a variant of Caml
  ☆32Updated 9 years ago
• isamert / scheme.rs
  a simple yet comprehensive scheme interpreter in rust
  ☆76Updated 4 years ago
• dagit / rust-prolog
  Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
  ☆81Updated 4 years ago
• TomBebbington / llvm-rs
  LLVM wrappers for Rust
  ☆68Updated 7 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago
• OlegTheCat / unlisp-llvm
  Compiler for a toy Lisp language
  ☆64Updated 4 years ago
• owo-lang / minitt-rs
  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
  ☆116Updated 4 years ago
• playXE / Jazz
  Jazz - register-based virtual machine and programming language
  ☆26Updated 5 years ago
• nikomatsakis / rustypop
  A not-yet-functional Rust parser written in LALRPOP.
  ☆35Updated 7 years ago