Code for forum to review courses at ETH
☆18May 11, 2025Updated last year
Alternatives and similar repositories for CourseReviewETH
Users that are interested in CourseReviewETH are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EBNF parsing toolset☆10May 20, 2023Updated 3 years ago
- Browser extension for VVZ (ETHZ)☆15Dec 3, 2025Updated 7 months ago
- Webring for current and past members of ETH Zurich 🎓☆17Jul 13, 2026Updated last week
- An application for Windows, Linux, MacOS, Android and iOS that allows for easy and frictionless data transfer between devices on a networ…☆19Jan 31, 2020Updated 6 years ago
- A optimized keyboard layout with layers, based on (programmer) dvorak.☆15May 6, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- A drop-in replacement for raw-thumbnailer.☆13Jun 19, 2026Updated last month
- ☆31Jul 13, 2025Updated last year
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 2 years ago
- ACS ACOS5 Smart Card / CryptoMate64 / CryptoMate Nano: Driver and pkcs15init shared libraries for the OpenSC framework.☆17May 14, 2026Updated 2 months ago
- A past down-to-the-metal cryptography challenge designed by Radical Semiconductor.☆22Jun 10, 2024Updated 2 years ago
- Unikraft port of the lwip network stack☆16Apr 20, 2026Updated 3 months ago
- Code from "Building Lisp"☆35May 10, 2025Updated last year
- ☆23Oct 28, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Java implementation (without imports) of basic algorithms and data structures☆14Jun 6, 2022Updated 4 years ago
- Program analysis playground for a simple, imperative language☆38Jun 6, 2022Updated 4 years ago
- Rocqet proof language☆30Aug 11, 2025Updated 11 months ago
- The study of skiing where we shred open data like pow. Quantifying alpine ski areas with geospatial metrics derived from OpenStreetMap.☆23Updated this week
- Web app for a practice of four Chinese tones recognition.☆13Aug 29, 2023Updated 2 years ago
- bytevec: A Rust serialization library that uses byte vectors☆42Sep 11, 2022Updated 3 years ago
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- ITP (ETHZ) Exercise Sheets - LaTeX Style☆17Nov 25, 2014Updated 11 years ago
- World Clock Tile and App for Wear OS☆15Dec 28, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This script checks the WOKO website for student accommodation in Zurich for new room entries every 6 to 12 min and sends you an email ale…☆13Apr 24, 2024Updated 2 years ago
- A collection of scripts to aid in reverse engineering and exploit development.☆24Oct 3, 2021Updated 4 years ago
- Simple console utility to read, deobfuscate and print out homepages for Microsoft Edge browser☆15Mar 18, 2018Updated 8 years ago
- Video portal for Opencast☆45Jul 14, 2026Updated last week
- A curated list of awesome tools and scripts for your IPA (Induviduelle Praktische Arbeit)☆10Mar 8, 2023Updated 3 years ago
- typst package to load strings for different languages easily.☆34Dec 16, 2025Updated 7 months ago
- ☆19Jun 9, 2023Updated 3 years ago
- Wayland shader wallpaper daemon for Hyprland with modular effects, color schemes, and AI desktop buddy☆30Updated this week
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Jul 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Allow setting disk quota for an entire group☆34Jul 9, 2026Updated last week
- VimifiedExplorer is an AHK script that provides vim/vifm like bindings for windows explorer. Happy Vimming 😍 .☆28Aug 18, 2017Updated 8 years ago
- Infomaniak DNS Authenticator plugin for certbot☆45Oct 13, 2025Updated 9 months ago
- ☆20May 23, 2026Updated last month
- Formalizing Automated Market Makers in Lean 4☆18Feb 7, 2024Updated 2 years ago
- The Slate Interactive Theorem Prover☆23Jan 9, 2023Updated 3 years ago
- Simple and flexible application to manage configuration data aka lists of values.☆17May 14, 2020Updated 6 years ago