Alternatives and similar repositories for oracle-types

Users that are interested in oracle-types are comparing it to the libraries listed below

• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆95Updated 3 months ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆52Updated 3 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated 2 years ago
• yblein / rust-wasm
  A simple and spec-compliant WebAssembly interpreter
  ☆90Updated 2 years ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆163Updated 2 years ago
• sawcce / zubbers
  A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages
  ☆12Updated last year
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆77Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆61Updated 2 years ago
• CAD97 / pointer-utils
  A collection of small utilities for working with pointer types in Rust.
  ☆125Updated 5 months ago
• cfallin / waffle
  ☆58Updated 9 months ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 4 years ago
• dtolnay / tt-call
  Token tree calling convention
  ☆79Updated 2 years ago
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆21Updated 7 years ago
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆24Updated 6 years ago
• playXE / libimmixcons
  Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
  ☆37Updated 4 years ago
• iximeow / zvm
  it goes zoom zoom
  ☆45Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆63Updated 10 months ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆60Updated 7 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆47Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• CAD97 / generativity
  ☆41Updated last year
• swgillespie / gccjit.rs
  Rust bindings for libgccjit.
  ☆51Updated 2 years ago
• danielhenrymantilla / next-gen-rs
  Safe generators on stable Rust.
  ☆40Updated last year