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 last year
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆208Updated last year
- A LaTeX template for TUM Bachelor/Master theses.☆463Updated 2 years ago
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆10Updated 7 years ago
- Proxy for the TUM iCal export to remove clutter☆39Updated 3 months ago
- Development of the TUM Campus App for iOS devices - for and from students at Technical University of Munich.☆104Updated last year
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Updated 7 years ago
- Simple static API for some (student) food places in Munich.☆14Updated 2 years ago
- Simple static API for some (student) food places in Munich.☆25Updated this week
- Notes, material and various stuff collected while attended TUM Master's Degree☆470Updated 2 years ago
- A LaTeX template for TUM Bachelor/Master theses.☆207Updated 5 months ago
- A website providing links, redirects and tools related to the Technical University Munich☆97Updated 3 weeks ago
- Artemis - Interactive Learning with Automated Feedback☆654Updated this week
- 🎓 Download lecture recordings from streams.tum.de and lecturio☆25Updated 2 years ago
- New backend written in go with gRPC as an API interface☆18Updated this week
- Plugin integrating Artemis programming exercises into IntelliJ☆31Updated 5 months ago
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Updated 3 years ago
- Simple API wrapper for chefkoch.de written in Python☆19Updated 4 years ago
- Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places☆61Updated this week
- Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.☆139Updated 3 weeks ago
- This project is now at heddendorp/tumi☆12Updated 3 years ago
- A Latex Template for your bachelor / master thesis☆28Updated last year
- SwissCovid is the official contact tracing app of Switzerland.☆145Updated 3 years ago
- ☆623Updated 5 years ago
- What's the best time for lunch in the new Mensa in Garching?☆18Updated 2 years ago
- Swift library for querying data from public transport providers.☆100Updated 2 months ago
- Deutsche Bahn ticket price calendar.☆430Updated last month
- Java library for parsing schools' substitution schedules. Supports multiple different systems mainly used in the German-speaking countrie…☆41Updated 2 weeks ago
- JavaScript client for HAFAS public transport APIs.☆317Updated 3 weeks ago
- Query information from the WifiOnICE portal in German ICE trains.☆48Updated 2 years ago