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
  ☆109Updated last month
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆40Updated 2 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
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆181Updated this week
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆143Updated 2 months ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆180Updated last month
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆187Updated 4 years ago
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆266Updated 2 years ago
• oooutlk / structx
  Anonymous struct and named arguments in Rust.
  ☆78Updated last year
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆172Updated last month
• sdleffler / tarpit-rs
  A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
  ☆238Updated 8 years ago
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆22Updated 8 years ago
• rust-analyzer / ungrammar
  ☆324Updated 2 weeks ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆65Updated last year
• Others / shredder
  Garbage collected smart pointers for Rust
  ☆270Updated 3 years ago
• ykjit / yk
  yk packages
  ☆33Updated this week
• Storyyeller / IntercalScript
  The IntercalScript programming language
  ☆138Updated 5 years ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆41Updated last year
• willcrichton / tyrade
  A pure functional language for type-level programming in Rust
  ☆336Updated 3 years ago
• claytonwramsey / dumpster
  Cycle-tracking garbage collector library for Rust
  ☆203Updated 2 weeks ago
• cfallin / weval
  ☆174Updated 2 months ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆50Updated 3 years ago
• zesterer / mutation
  Unleash the power of nightly Rust to write code that's generic over mutation!
  ☆23Updated 4 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆43Updated 2 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆53Updated 4 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 9 months ago
• m-ou-se / whichever-compiles
  ☆106Updated 4 years ago