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
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated 3 months ago
• XYQuadrat / polyring
  Webring for current and past members of ETH Zurich 🎓
  ☆14Updated this week
• esthicodes / Computer_Architecture
  CA
  ☆20Updated 2 years ago
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated 7 months ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆18Updated last year
• a-ellison / cx-enable-vim
  Browser extension to enable vim mode in the embedded IDE used in Code Expert.
  ☆14Updated 2 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆27Updated 3 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• TUM-Dev / CalendarProxy
  Proxy for the TUM iCal export to remove clutter
  ☆39Updated this week
• matthiaskrgr / icemaker
  automatially find crashes in the rust compiler & tooling
  ☆73Updated last year
• jix / varisat
  SAT solver written in Rust
  ☆262Updated 2 years ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆33Updated last year
• TUM-Dev / TUM.sexy
  A website providing links, redirects and tools related to the Technical University Munich
  ☆91Updated 2 weeks ago
• XYQuadrat / eth-anki
  All my Anki cards for the Computer Science BSc @ ETH Zurich
  ☆13Updated 4 months ago
• j-lthr / RostOS
  a Rust OS project
  ☆8Updated 6 years ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆103Updated 2 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆251Updated this week
• cbeuw / rustlantis
  UB-free and deterministic rustc fuzzer
  ☆76Updated 3 months ago
• cryspen / libcrux
  The formally verified crypto library for Rust
  ☆117Updated this week
• 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
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆140Updated 10 months ago
• TUM-Dev / gocast
  TUMs lecture streaming service.
  ☆191Updated this week
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆18Updated this week
• cryspen / hax
  A Rust verification tool
  ☆248Updated this week
• magicicada / cp
  ☆22Updated 2 months ago
• fbuetler / asvz-bot
  ASVZ Bot to enroll to lessons. Get a place when the registration opens or when a place gets free. Works for ETH, UZH and ZHAW students.
  ☆71Updated last year
• bytecodealliance / regalloc2
  A new register allocator
  ☆228Updated this week