Alternatives and similar repositories for oracle-types

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

• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆182Updated last month
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆109Updated 2 months ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆165Updated 2 years ago
• cfallin / weval
  ☆174Updated 3 months ago
• pythonesque / dependent_traits
  A dependent type system built entirely in Rust's trait system (WIP).
  ☆25Updated 7 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆110Updated 3 months ago
• sdleffler / tarpit-rs
  A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
  ☆239Updated 8 years ago
• cratelyn / j
  💐 j is a subset of J, and an essay.
  ☆51Updated 4 months ago
• Marwes / nanbox
  A rust crate which implements nanboxing
  ☆22Updated 8 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆134Updated 2 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆120Updated 3 years ago
• ykjit / yk
  yk packages
  ☆34Updated this week
• ahgamut / rust-ape-example
  A simple example with Rust and Cosmopolitan Libc
  ☆203Updated 2 years ago
• zesterer / mutation
  Unleash the power of nightly Rust to write code that's generic over mutation!
  ☆23Updated 4 years ago
• disiamylborane / ranged_integers
  Ranged integers for Rust based on const generics
  ☆28Updated 5 months ago
• WebAssembly / module-linking
  Proposal for allowing modules to define, import and export modules and instances
  ☆118Updated 3 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆173Updated 2 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆66Updated last year
• insou22 / typing-the-technical-interview-rust
  https://aphyr.com/posts/342-typing-the-technical-interview translated from Haskell to Rust
  ☆149Updated 3 years ago
• softdevteam / lang_tester
  Rust testing framework for compilers and VMs
  ☆51Updated 9 months ago
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆166Updated 8 months ago
• WebAssembly / flexible-vectors
  Vector operations for WebAssembly
  ☆51Updated 3 months ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆105Updated 3 years ago
• m-ou-se / whichever-compiles
  ☆107Updated 4 years ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆41Updated last year
• rust-analyzer / ungrammar
  ☆325Updated last month
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆266Updated 2 years ago
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆54Updated 4 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆99Updated this week
• WebAssembly / multi-memory
  Multiple per-module memories for Wasm
  ☆135Updated last year