antoyo / tiger-rs

Related projects: ⓘ

• JDemler / BidirectionalTypechecking
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆110Updated 5 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆199Updated 2 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 2 years ago
• withoutboats / shifgrethor
  garbage collection
  ☆318Updated 5 years ago
• rust-lang / rust-memory-model
  Collecting examples and information to help design a memory model for Rust.
  ☆126Updated 5 years ago
• jauhien / iron-llvm
  Safe Rust LLVM bindings
  ☆119Updated 7 years ago
• aatxe / oxide
  The essence of Rust.
  ☆124Updated 2 years ago
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆320Updated last year
• matklad / minipratt
  ☆198Updated 4 years ago
• zesterer / broom
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆251Updated last year
• fitzgen / bacon-rajan-cc
  ☆90Updated 11 months ago
• jyn514 / saltwater
  A C compiler written in Rust, with a focus on good error messages.
  ☆290Updated 3 years ago
• Marwes / haskell-compiler
  A mostly functional haskell compiler written in rust
  ☆304Updated 8 months 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
• Ashymad / fortraith
  Forth for Rust's trait system
  ☆226Updated 4 years ago
• brendanzab / moniker
  Automagical variable binding library for Rust
  ☆68Updated 4 years ago
• Marwes / combine-language
  A crate which defines parsers for common programming language constructs using https://github.com/Marwes/combine
  ☆88Updated 3 years ago
• sophiajt / rustyjit
  A JIT experiment in Rust
  ☆131Updated 2 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆159Updated 3 months ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated 11 months ago
• sdleffler / tarpit-rs
  A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
  ☆226Updated 7 years ago
• suhr / sana
  ☆90Updated this week
• etaoins / arret
  Pure functional Lisp implemented in Rust
  ☆206Updated 2 years ago
• jorendorff / cell-gc
  A very small GC in Rust, with a safe API
  ☆62Updated 2 months ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆109Updated last month
• pikelet-lang / pikelet
  A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
  ☆610Updated 3 years ago
• rust-lang / a-mir-formality
  a model of MIR and the Rust type/trait system
  ☆282Updated last month
• onehr / crust
  C99 compiler toolchain in Rust (for fun and self-education)
  ☆173Updated 3 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆62Updated 7 years ago
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 4 months ago