kappelmann / eidi2_repetitorium_tumLinks
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
Sorting:
- A website providing links, redirects and tools related to the Technical University Munich☆144Updated 2 years ago
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆209Updated last year
- A LaTeX template for TUM Bachelor/Master theses.☆463Updated 3 years ago
- Proxy for the TUM iCal export to remove clutter☆43Updated 3 weeks ago
- A website providing links, redirects and tools related to the Technical University Munich☆105Updated 3 weeks ago
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆11Updated 8 years ago
- A LaTeX template for TUM Bachelor/Master theses.☆218Updated 9 months ago
- Development of the TUM Campus App for iOS devices - for and from students at Technical University of Munich.☆104Updated 2 years ago
- Artemis - Interactive Learning with Automated Feedback☆703Updated this week
- Plugin integrating Artemis programming exercises into IntelliJ☆30Updated 9 months ago
- UnitTests for current Homework☆16Updated 7 years ago
- Simple static API for some (student) food places in Munich.☆15Updated 3 years ago
- Simple static API for some (student) food places in Munich.☆27Updated this week
- An especially excellent font.☆13Updated 2 years ago
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Updated 7 years ago
- A Latex Template for your bachelor / master thesis☆28Updated last year
- ☆40Updated 2 years ago
- This project is now at heddendorp/tumi☆12Updated 3 years ago
- User-friendly overview for TUM {MSc. + BSc. Informatics | MSc. DEA | MSc. Information Systems} programs on which lectures grouped by are…☆151Updated last week
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Updated 3 years ago
- The labsystem eLearning system for creating and managing hands-on courses.☆15Updated 4 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆83Updated 2 weeks ago
- Mensas erste nützliche Schlangen-Abmessungssoftware☆29Updated 3 years ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆30Updated 2 years ago
- 🎓 Download lecture recordings from streams.tum.de and lecturio☆25Updated 3 years ago
- Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places☆70Updated this week
- What's the best time for lunch in the new Mensa in Garching?☆18Updated 2 years ago
- New backend written in go with gRPC as an API interface☆18Updated last week
- DOWNLOAD HERE: https://github.com/RobertKrajewski/Sync-my-L2P/releases/latest☆83Updated 11 months ago
- Collection of JUnit Tests for GAD exercises at TUM in SS22☆33Updated 3 years ago