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☆143Updated 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.☆460Updated 2 years ago
- Proxy for the TUM iCal export to remove clutter☆39Updated last week
- Simple static API for some (student) food places in Munich.☆25Updated last week
- A website providing links, redirects and tools related to the Technical University Munich☆92Updated this week
- Plugin integrating Artemis programming exercises into IntelliJ☆31Updated 2 months ago
- A LaTeX template for TUM Bachelor/Master theses.☆196Updated 2 months ago
- Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.☆127Updated 2 months ago
- ☆41Updated last year
- Simple static API for some (student) food places in Munich.☆14Updated 2 years ago
- ☆17Updated last year
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆34Updated 3 years ago
- An especially excellent font.☆13Updated 2 years ago
- Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚☆39Updated 2 years ago
- UnitTests for current Homework☆16Updated 7 years ago
- Artemis - Interactive Learning with Automated Feedback☆607Updated this week
- ☆48Updated 2 months ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆72Updated 3 weeks ago
- 🎓 Download lecture recordings from streams.tum.de and lecturio☆25Updated 2 years ago
- ☆32Updated last week
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Updated 2 years ago
- The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing☆21Updated 4 months ago
- Notes, material and various stuff collected while attended TUM Master's Degree☆462Updated 2 years ago
- New backend written in go with gRPC as an API interface☆16Updated last week
- Collection of JUnit Tests for PGdP exercises at TUM in WS22/23☆99Updated 2 years ago
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Updated 7 years ago
- Materialien für das FPV-Tutorium im Sommersemester 2023☆31Updated last year
- TUM Grundlagen Algorithmen und Datenstrukturen 2019 Extras (Tests & co.)☆5Updated 5 years ago
- synchronize, manage and download the files from your e-learning platform https://www.ilias.de/☆49Updated 2 years ago