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 last month
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• esthicodes / Computer_Architecture
  CA
  ☆20Updated 3 years ago
• mitre-cyber-academy / 2022-ectf-insecure-example
  Insecure reference example for the 2022 Collegiate eCTF
  ☆13Updated 3 years ago
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆14Updated 2 years ago
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆18Updated last year
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated 9 months ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 3 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 3 years ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆193Updated 2 weeks ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆84Updated 3 weeks ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• endorlabs / MIRAI
  ☆149Updated 3 months ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆401Updated this week
• two-heart / dbgtools
  Automation for the rev/pwn experience in GDB
  ☆14Updated last year
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆160Updated last week
• rustsmith / rustsmith
  A randomized program fuzzer for the Rust programming language
  ☆64Updated last year
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• kaist-plrg / concrat
  Concurrent-C to Rust Automatic Translator
  ☆15Updated 2 years ago
• mattulbrich / mimaflux
  ☆21Updated 2 years ago
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆99Updated last week
• Artisan-Lab / Rust-memory-safety-bugs
  ☆31Updated 3 years ago
• hsncsclub / HSCTF-6-Problems
  ☆15Updated 6 years ago
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆151Updated 3 weeks ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆192Updated last year
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆127Updated 3 weeks ago