kappelmann / eidi2_repetitorium_tum
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
☆16Updated 6 years ago
Alternatives and similar repositories for eidi2_repetitorium_tum:
Users that are interested in eidi2_repetitorium_tum are comparing it to the libraries listed below
- A website providing links, redirects and tools related to the Technical University Munich☆144Updated last year
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆208Updated last year
- Proxy for the TUM iCal export to remove clutter☆39Updated last week
- A LaTeX template for TUM Bachelor/Master theses.☆452Updated 2 years ago
- Simple static API for some (student) food places in Munich.☆21Updated this week
- A LaTeX template for TUM Bachelor/Master theses.☆177Updated last week
- A website providing links, redirects and tools related to the Technical University Munich☆91Updated 3 weeks ago
- UnitTests for current Homework☆16Updated 6 years ago
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Updated 2 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆69Updated 3 months ago
- Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places☆53Updated this week
- 🎓 Download lecture recordings from streams.tum.de and lecturio☆25Updated 2 years ago
- ☆19Updated last year
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated last year
- An especially excellent font.☆13Updated 2 years ago
- Simple static API for some (student) food places in Munich.☆14Updated 2 years ago
- Artemis - Interactive Learning with Automated Feedback☆573Updated this week
- Plugin integrating Artemis programming exercises into IntelliJ☆31Updated last week
- A Latex Template for your bachelor / master thesis☆28Updated 11 months ago
- Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.☆117Updated 3 weeks ago
- Mensas erste nützliche Schlangen-Abmessungssoftware☆30Updated 2 years ago
- TUM exam statistics and more at the Technical University of Munich.☆42Updated this week
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Updated 6 years ago
- TUMs lecture streaming service.☆192Updated this week
- Notes, material and various stuff collected while attended TUM Master's Degree☆450Updated 2 years ago
- PGdP-Tests-WS21/22 is a student-created repository used to share code tests.☆50Updated 3 years ago
- New backend written in go with gRPC as an API interface☆16Updated this week
- A bot that monitors wg-gesucht.de for new flat offers and automatically writes to the landlords☆31Updated 2 years ago
- ☆26Updated 2 years ago
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆34Updated 2 years ago