Alternatives and similar repositories for parsley

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

• esthicodes / Computer_Architecture
  CA
  ☆20Updated 3 years ago
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆18Updated 8 months ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 3 years ago
• melfkammholz / aoc-submissions
  Advent of Code Submission Board showcasing solutions of CAU CS students/alumni
  ☆11Updated last month
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆478Updated 3 weeks ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆95Updated last month
• khyperia / cargo-space
  ☆41Updated 5 years ago
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆185Updated last year
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last month
• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated last year
• endorlabs / MIRAI
  ☆196Updated 10 months ago
• cdisselkoen / llvm-ir-analysis
  ☆74Updated last year
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆15Updated 3 months ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆282Updated 7 months ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆320Updated this week
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆80Updated last year
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆199Updated this week
• rust-lang / annotate-snippets-rs
  Library for snippet annotations
  ☆481Updated last week
• rust-fuzz / arbitrary
  Generating structured data from arbitrary, unstructured input.
  ☆842Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆182Updated 2 months ago
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆560Updated 3 years ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 3 years ago
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆170Updated last month
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆542Updated last year
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆118Updated 3 years ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆200Updated last month
• GaloisInc / crucible
  Crucible is a library for symbolic simulation of imperative programs
  ☆754Updated this week
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆231Updated 3 months ago