EvilBabyDemon / CourseReviewETHLinks
Code for forum to review courses at ETH
☆18Updated 6 months ago
Alternatives and similar repositories for CourseReviewETH
Users that are interested in CourseReviewETH are comparing it to the libraries listed below
Sorting:
- Browser extension for VVZ (ETHZ)☆13Updated last week
- EBNF parsing toolset☆11Updated 2 years ago
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Updated 2 years ago
- Rust programming, in Swissgerman☆183Updated last year
- ☆350Updated 2 months ago
- A tool for supervising execution of programs submitted in algorithmic competitions☆36Updated 2 weeks ago
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆15Updated last month
- Programm zum Flotten, Einfachen Runterladen von Dateien☆168Updated last month
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆752Updated this week
- Assignment viewer for ETHz first-year bachelor students.☆10Updated last year
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆27Updated last week
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆251Updated 2 years ago
- PoC for our attacks on MEGA.☆29Updated 3 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆82Updated 5 months ago
- Downloader for https://ilias.studium.kit.edu/☆49Updated 7 months ago
- 🐀 Regular Expression Denial of Service analyzer.☆25Updated last year
- KeY Theorem Prover for Deductive Java Verification☆66Updated this week
- Firegex, a firewall for Attack-Defense CTFs☆85Updated 2 weeks ago
- Automation for the rev/pwn experience in GDB☆14Updated last year
- Fetches files from ethz websites☆18Updated last year
- A website providing links, redirects and tools related to the Technical University Munich☆104Updated last week
- Natural Number Game☆256Updated 2 months ago
- Eclipse-Plugin for grading with the artemis project☆10Updated last year
- An especially excellent font.☆13Updated 2 years ago
- A Matrix-Facebook Messenger and Instagram DM puppeting bridge.☆281Updated this week
- Plan your week for the next semester.☆17Updated last year
- Fingerprinting TCP/IP☆33Updated last year
- FANDANGO is a language-based fuzzer that leverages formal input specifications (grammars) combined with constraints to generate diverse s…☆89Updated 2 weeks ago
- Main source code repository of the Tamarin prover for security protocol verification.☆486Updated last week