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
  ☆100Updated last month
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆178Updated 2 weeks ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated last week
• cfallin / weval
  ☆173Updated last week
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆47Updated last month
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆162Updated 5 months ago
• iximeow / zvm
  it goes zoom zoom
  ☆46Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆114Updated 2 years ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 2 months ago
• cfallin / waffle
  ☆58Updated last month
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated last month
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆264Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆167Updated 5 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 2 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆141Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated this week
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆21Updated 7 years ago
• m-ou-se / whichever-compiles
  ☆104Updated 4 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆50Updated last year
• oooutlk / structx
  Anonymous struct and named arguments in Rust.
  ☆75Updated last year
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 3 years ago
• mpdn / radix-heap
  Radix heap implementation in Rust
  ☆35Updated last year
• Wafelack / wavm
  Wait, another virtual machine ?
  ☆62Updated 4 years ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆170Updated this week
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆40Updated last year
• shadaj / tree-sitter-c2rust
  A fork of Tree Sitter with a pure Rust runtime for WASM support
  ☆48Updated 2 weeks ago