Alternatives and similar repositories for oracle-types

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

• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆102Updated last month
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆106Updated last week
• paulstansifer / unseemly
  Macros have types!
  ☆131Updated 2 years ago
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆266Updated 2 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆178Updated this week
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆142Updated 3 weeks ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆172Updated 3 weeks ago
• cfallin / weval
  ☆174Updated last month
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated last month
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated last year
• cfallin / waffle
  ☆58Updated 3 months ago
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆148Updated 3 years ago
• m-ou-se / whichever-compiles
  ☆105Updated 4 years ago
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆186Updated 4 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆168Updated 2 weeks ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆41Updated last year
• oooutlk / structx
  Anonymous struct and named arguments in Rust.
  ☆78Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 6 years ago
• playXE / libimmixcons
  Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.
  ☆37Updated 4 years ago
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆43Updated 10 months ago
• playXE / rsgc
  ☆21Updated 2 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 7 months ago
• CAD97 / generativity
  ☆53Updated last month
• Wafelack / wavm
  Wait, another virtual machine ?
  ☆61Updated 4 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆47Updated 2 months ago