Alternatives and similar repositories for oracle-types:

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

• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated last week
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆94Updated last month
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆162Updated 2 years ago
• alin23 / m1-panic
  Minimum requirements for triggering an M1 CPU panic
  ☆48Updated 2 years ago
• nikomatsakis / rustnl-2024
  Type theory for busy engineers
  ☆18Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• playXE / libimmixcons
  Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
  ☆37Updated 4 years ago
• reitzensteinm / temper
  Deterministic simulation of concurrency and failure in distributed systems
  ☆35Updated 8 months ago
• matklad / djot-rs
  ☆36Updated 2 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 5 months ago
• 2bdkid / refinement
  Convenient creation of type-safe refinement types.
  ☆19Updated 9 months ago
• cfallin / waffle
  ☆58Updated 7 months ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆36Updated last year
• oooutlk / structx
  Anonymous struct and named arguments in Rust.
  ☆74Updated last year
• m-ou-se / whichever-compiles
  ☆99Updated 4 years ago
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆21Updated 7 years ago
• cfallin / weval
  ☆172Updated 6 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• ykjit / yk
  yk packages
  ☆32Updated this week
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆111Updated 9 months ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆40Updated 5 months ago
• slowli / externref
  Low-cost reference type shims for WASM modules
  ☆22Updated last week
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆174Updated 3 years ago
• quark-zju / gcmodule
  Garbage collection for Rust inspired by CPython's gcmodule
  ☆21Updated 2 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• scottmcm / arraytools
  ☆11Updated 3 years ago