EvilBabyDemon / CourseReviewETHLinks
Code for forum to review courses at ETH
☆18Updated 7 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 month
- EBNF parsing toolset☆11Updated 2 years ago
- Browser extension to enable vim mode in the embedded IDE used in Code Expert.☆15Updated 2 months ago
- PoC for our attacks on MEGA.☆29Updated 3 years ago
- Rust programming, in Swissgerman☆185Updated last year
- Multi-language Analyze text in 26 Cantonal Swiss German, Italian, German, Chinese (simplified), French, Italian. pply natural language un…☆250Updated 2 years ago
- A VSCode Extension for user oriented commit suggestion and code reviews☆25Updated 2 months ago
- Learning Framework for Logic Calculi☆16Updated last week
- Programm zum Flotten, Einfachen Runterladen von Dateien☆169Updated last month
- SAM is a multi-functional Discord Bot specifically designed for the Server of the Faculty of Computer Science at the University of Vienna…☆27Updated 2 years ago
- KeY Theorem Prover for Deductive Java Verification☆68Updated this week
- Fetches files from ethz websites☆17Updated last year
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆83Updated 3 weeks ago
- Main source code repository of the Tamarin prover for security protocol verification.☆497Updated last month
- This is a telegram bot written in go that allows you to record the current length of the Griebnitzsee mensa queue.☆10Updated 7 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆787Updated this week
- Moodle Buddy is a browser plugin that offers mass download and notification functionality to the Moodle learning management platform☆57Updated 2 months ago
- my app☆13Updated 11 months ago
- All my Anki cards for the Computer Science BSc @ ETH Zurich☆17Updated last year
- ☆352Updated 3 months ago
- Die österreichische Shell☆77Updated 9 months ago
- A web application that checks code against a range of user submitted tests.☆34Updated last year
- CSHub☆30Updated 3 years ago
- Firegex, a firewall for Attack-Defense CTFs☆91Updated last month
- Programmierparadigmen-Tutorium 2022WS☆28Updated 2 years ago
- "I use Arch btw" but it's a Turing-complete programming language.☆974Updated last year
- 🐀 Regular Expression Denial of Service analyzer.☆26Updated last year
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆276Updated 3 weeks ago
- Application for communication and collective exchange of menu information in university catering facilities☆63Updated 7 months ago
- Assignment viewer for ETHz first-year bachelor students.☆10Updated last year