Alternatives and similar repositories for parsley:

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

• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆16Updated 3 weeks ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• mitre-cyber-academy / 2022-ectf-insecure-example
  Insecure reference example for the 2022 Collegiate eCTF
  ☆13Updated 2 years ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆273Updated 2 years ago
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆14Updated last year
• vmware-labs / verified-betrfs
  A verified high-performance file system
  ☆32Updated this week
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆98Updated this week
• parallaxsecond / rust-tss-esapi
  TSS 2.0 Enhanced System API (ESAPI) Rust wrapper
  ☆97Updated this week
• jix / varisat
  SAT solver written in Rust
  ☆257Updated 2 years ago
• mit-pdos / perennial
  Verifying concurrent crash-safe systems
  ☆169Updated this week
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆542Updated last year
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 2 years ago
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated 4 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆433Updated last month
• Arakniode / almighty-handbook-of-sleep-deprived-student
  ☆16Updated 5 years ago
• cryspen / hax
  A Rust verification tool
  ☆216Updated this week
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆16Updated 4 years ago
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆692Updated last week
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆70Updated 9 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆73Updated 2 weeks ago
• tpm-rs / tpm-rs
  TPM 2.0 Implementation
  ☆45Updated last month
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆237Updated 6 months ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆233Updated last week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆242Updated 11 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆259Updated this week
• integritychain / fips204
  Pure Rust implementation of FIPS 204 Module-Lattice-Based Digital Signature Standard for server, desktop, browser and embedded applicatio…
  ☆20Updated last month
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆95Updated last year
• matklad / resilient-ll-parsing
  ☆51Updated last year
• viperproject / gobra
  Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
  ☆115Updated this week