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
  ☆19Updated 3 months ago
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated last year
• esthicodes / Computer_Architecture
  CA
  ☆20Updated 3 years ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆419Updated this week
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆14Updated 2 years ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆267Updated this week
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆563Updated last year
• cole14 / rust-elf
  Library for parsing ELF files for Rust
  ☆272Updated 3 months ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆275Updated 3 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆182Updated last week
• endorlabs / MIRAI
  ☆164Updated 5 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆89Updated last month
• cryspen / hax
  A Rust verification tool
  ☆288Updated this week
• FeanorTheElf / feanor-math
  A fast, pure-Rust library for computational number theory
  ☆32Updated this week
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆741Updated this week
• bytecodealliance / regalloc2
  A new register allocator
  ☆236Updated last week
• hacspec / hacspec
  Please see https://github.com/hacspec/hax
  ☆244Updated last year
• jinko-core / jinko
  Jinko is a small and safe interpreted language with fast Rust and C FFI
  ☆33Updated 9 months ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆960Updated this week
• HexHive / printbf
  Brainfuck interpreter inside printf
  ☆674Updated 4 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆362Updated last week
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆654Updated 2 months ago
• vmware-labs / verified-betrfs
  A verified high-performance file system
  ☆34Updated 2 months ago
• Freax13 / mushroom
  Run integrity protected workloads in a hardware based Trusted Execution Environment.
  ☆40Updated this week
• egraphs-good / egglog
  egraphs + datalog!
  ☆598Updated this week
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆190Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆272Updated last week
• mlir-rs / melior
  The rustic MLIR bindings in Rust
  ☆435Updated last week