Alternatives and similar repositories for yaeger

Users that are interested in yaeger are comparing it to the libraries listed below

• sslab-gatech / Rudra-PoC
  Trophy case for Rudra bugs.
  ☆40Updated last year
• cuplv / adapton-lab.rust
  Adapton Lab, written in Rust.
  ☆15Updated 6 years ago
• Luthaf / confy
  Compile time configuration files reading for Rust
  ☆10Updated 4 years ago
• ehuss / license-exprs
  This crate validates SPDX license expressions.
  ☆22Updated last year
• boomshroom / dumb-exec
  A simple, dumb executor for rust futures in constrained environments.
  ☆18Updated 7 years ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆37Updated last week
• rust-secure-code / cargo-repro
  Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow
  ☆59Updated 4 years ago
• Rust-Proof / rustproof
  rust verification condition generator
  ☆96Updated 9 years ago
• GSam / rust-refactor
  Rust refactoring project
  ☆20Updated 9 years ago
• sfackler / typed-headers
  ☆17Updated 3 years ago
• Geal / pgo-rust
  Testing LLVM's profile guided optimization with Rust
  ☆45Updated 7 years ago
• nrc / callgraph.rs
  Callgraphs for Rust programs
  ☆32Updated 10 years ago
• durka / unborrow
  Rust macro crate used for fighting the borrow checker
  ☆14Updated 8 years ago
• canndrew / error_def
  Rust syntax extension for generating error-handling boilerplate code.
  ☆18Updated 7 years ago
• rust-lang-nursery / wg-verification
  Verification working group
  ☆104Updated 6 years ago
• llogiq / optional
  A small crate to provide space-efficient Option<_> replacements
  ☆37Updated 10 months ago
• squaresLab / footpatch
  ☆15Updated 6 years ago
• cs-au-dk / taser
  ☆13Updated 3 years ago
• serde-deprecated / xml
  No longer maintained
  ☆36Updated 8 years ago
• praezi / rust
  RustPräzi: Representing crates.io as a call-based dependency network
  ☆82Updated 6 years ago
• serde-deprecated / aster
  No longer maintained
  ☆70Updated 8 years ago
• pthariensflame / refraction
  A general-purpose lens library for Rust.
  ☆30Updated 9 years ago
• anp / lolbench
  tracking performance of rustc-generated binaries over time
  ☆102Updated 3 years ago
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago
• mishun / minisat-rust
  Experimental minisat SAT solver reimplementation in Rust
  ☆73Updated 6 years ago
• parched / runtime-target-feature-rs
  Rust procedural macro attribute to enable target features at runtime
  ☆14Updated 8 years ago
• mcarton / rust-herbie-lint
  A rustc plugin to check for numerical instability
  ☆176Updated 9 years ago
• Mark-Simulacrum / bisect-rust
  Bisects rust-lang/rust by pull request, downloading the built artifacts
  ☆19Updated 7 years ago
• sfackler / rstack
  ☆35Updated last year
• chalcolith / rslogic
  A logic programming library (inspired by uKanren) in Rust.
  ☆20Updated 9 years ago