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 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for eidi2_repetitorium_tum
- A website providing links, redirects and tools related to the Technical University Munich☆141Updated last year
- Development of the TUM Campus App for Android devices - for and from students at Technical University of Munich.☆207Updated 10 months ago
- A website providing links, redirects and tools related to the Technical University Munich☆91Updated last week
- A LaTeX template for TUM Bachelor/Master theses.☆442Updated last year
- Simple static API for some (student) food places in Munich.☆21Updated this week
- Proxy for the TUM iCal export to remove clutter☆38Updated this week
- Plugin integrating Artemis programming exercises into IntelliJ☆32Updated 2 months ago
- ☆19Updated last year
- Artemis - Interactive Learning with Automated Feedback☆512Updated this week
- New backend written in go with gRPC as an API interface☆15Updated this week
- A LaTeX template for TUM Bachelor/Master theses.☆161Updated 3 months ago
- Anlagen für das Repetitorium in GRNVS 2020☆14Updated 4 years ago
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Updated 6 years ago
- A command-line application for tutors to more productively grade programming excises on ArTEMiS☆13Updated 4 years ago
- ☆44Updated last year
- UnitTests for current Homework☆17Updated 6 years ago
- A python-built web crawler to automate file downloads off of https://www.moodle.tum.de/☆29Updated last year
- Simple static API for some (student) food places in Munich.☆14Updated 2 years ago
- Download and jumpcut lecture videos from https://live.rbg.tum.de/ and https://tum.cloud.panopto.eu/☆65Updated last month
- Navigating around TUM with excellence – A website and API to search for rooms, buildings and other places☆48Updated this week
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆18Updated 2 years ago
- collection of exercises designed to introduce students to the fundamental concepts of computer architecture using the RISC-V instruction …☆16Updated 6 months ago
- Materialien für das FPV-Tutorium im Sommersemester 2023☆32Updated 7 months ago
- TUM Grundlagen Algorithmen und Datenstrukturen 2019 Extras (Tests & co.)☆5Updated 5 years ago
- 🎓 Download lecture recordings from streams.tum.de and lecturio☆24Updated 2 years ago
- PGdP-Tests-WS21/22 is a student-created repository used to share code tests.☆50Updated 2 years ago
- ☆27Updated 2 years ago
- Collection of JUnit Tests for GAD exercises at TUM in SS22☆38Updated 2 years ago
- Exercise generator and helpful materials for the Introduction to Algorithms and Data Structures 📚☆41Updated 2 years ago
- An especially excellent font.☆13Updated last year