Alternatives and similar repositories for CourseReviewETH

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

• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• JM4ier / parsley
  EBNF parsing toolset
  ☆10Updated 2 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
• theodormoroianu / WOKO_New_Room_Notification
  Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…
  ☆13Updated last year
• GeorgOhneH / ethz-document-fetcher
  Fetches files from ethz websites
  ☆18Updated 9 months ago
• C0D3D3V / Moodle-DL
  Moodle-DL downloads course content fast from Moodle (eg. lecture pdfs)
  ☆497Updated 7 months ago
• zhangce / DBCourseMaterial
  ☆7Updated 3 years ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆459Updated last week
• ccz181078 / Coq-BB5
  ☆309Updated 2 months ago
• leanprover-community / NNG4
  Natural Number Game
  ☆182Updated 3 months ago
• KalkulierbaR / kalkulierbar
  Learning Framework for Logic Calculi
  ☆16Updated this week
• misc-box / ethz-assignment-viewer
  Assignment viewer for ETHz first-year bachelor students.
  ☆10Updated 9 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆34Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆278Updated this week
• Georg-code / roeschti
  Rust programming, in Swissgerman
  ☆175Updated 10 months ago
• The-breakbar / TISS-Lightning-Registrator
  Browser extension to automatically register in TISS
  ☆40Updated 3 months ago
• polygl0ts / writeups
  CTF writeups
  ☆42Updated 3 years ago
• famoser / eth-summaries
  summaries of courses taken at ETH
  ☆28Updated 3 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆391Updated 2 weeks ago
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆26Updated this week
• icemonster / symbolic_mersenne_cracker
  Models the mersenne twister used by Python Random as a symbolic program. This allows recovering the state given a few outputs
  ☆86Updated 4 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆58Updated this week
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆295Updated last week
• CameronLonsdale / MTP
  Many-Time Pad Interactive
  ☆174Updated last year
• kit-sdq / eclipse-artemis
  Eclipse-Plugin for grading with the artemis project
  ☆10Updated 7 months ago
• TomWildenhain / PowerPoint-Fractals
  "code" demonstrating PowerPoint Fractals
  ☆36Updated 6 years ago
• MEGA-Awry / attacks-poc
  PoC for our attacks on MEGA.
  ☆27Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆487Updated this week
• bitwuzla / bitwuzla
  Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…
  ☆259Updated this week