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
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated last year
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆15Updated 2 weeks ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆438Updated last week
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆141Updated last year
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆277Updated 4 months ago
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆90Updated 3 months ago
• khyperia / cargo-space
  ☆41Updated 4 years ago
• cole14 / rust-elf
  Library for parsing ELF files for Rust
  ☆272Updated 5 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
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆300Updated last week
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆11Updated 3 months ago
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆78Updated last year
• vickenty / lang-c
  Lightweight C parser for Rust
  ☆229Updated this week
• radekvit / rez
  Czech for the Rust programming language
  ☆34Updated 3 years ago
• cdisselkoen / llvm-ir
  LLVM IR in natural Rust data structures
  ☆645Updated 5 months ago
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆170Updated this week
• mitre-cyber-academy / 2022-ectf-insecure-example
  Insecure reference example for the 2022 Collegiate eCTF
  ☆13Updated 3 years ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆51Updated 9 months ago
• tialaramex / misfortunate
  Perverse implementations of safe Rust traits
  ☆22Updated last year
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆228Updated 2 weeks ago
• m-ou-se / nightly-crimes
  Please do not use this.
  ☆187Updated 4 years ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆208Updated 4 years ago
• matslina / awib
  a brainfuck compiler written in brainfuck
  ☆572Updated 8 months ago
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆568Updated 2 years ago
• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆128Updated 3 months ago
• endorlabs / MIRAI
  ☆174Updated 7 months ago
• theasianpianist / sosl
  StackOverflow Search Library
  ☆10Updated 8 years ago
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 3 years ago