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
• XYQuadrat / polyring
  Webring for current and past members of ETH Zurich 🎓
  ☆14Updated last week
• esthicodes / Computer_Architecture
  CA
  ☆20Updated 3 years ago
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated 11 months ago
• Wilfred / bfc
  An industrial-grade brainfuck compiler
  ☆532Updated last year
• SuperTails / langcraft
  Compiler from LLVM IR to Minecraft datapacks.
  ☆559Updated 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
• RobbinBaauw / CSHub
  CSHub
  ☆30Updated 2 years ago
• prove-rs / z3.rs
  Rust bindings for the Z3 solver.
  ☆414Updated this week
• haltode / raytracer
  An experimental raytracer in LaTeX
  ☆30Updated 3 years ago
• jix / varisat
  SAT solver written in Rust
  ☆270Updated 2 years ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆651Updated last month
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆142Updated last year
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆176Updated last year
• PLSysSec / haybale
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆561Updated last year
• mitre-cyber-academy / 2022-ectf-insecure-example
  Insecure reference example for the 2022 Collegiate eCTF
  ☆13Updated 3 years ago
• jinko-core / jinko
  Jinko is a small and safe interpreted language with fast Rust and C FFI
  ☆33Updated 8 months ago
• khyperia / cargo-space
  ☆41Updated 4 years ago
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆221Updated 5 months ago
• blakelaw / AP-Minecraft
  (Fun) AP Minecraft mock exam
  ☆10Updated 6 years ago
• tuwien2020 / tgi-pages
  Open tools for the TGI course at the TU Vienna
  ☆13Updated 2 years ago
• ben0x539 / totally-safe-transmute
  ☆259Updated 8 months ago
• HexHive / printbf
  Brainfuck interpreter inside printf
  ☆673Updated 4 years ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆264Updated this week
• jyn514 / saltwater
  A C compiler written in Rust, with a focus on good error messages.
  ☆301Updated 6 months ago
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆950Updated this week
• Erk- / RRust
  RRust, a reversible Rust DSL
  ☆42Updated 8 months ago
• gimli-rs / gimli
  A library for reading and writing the DWARF debugging format
  ☆925Updated last week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,309Updated this week
• leowhitehead / x
  X: A programming language that only accepts identifiers that look like the letter 'x'. Inspired by https://xkcd.com/2309/
  ☆40Updated 3 years ago