kappelmann / eidi2_repetitorium_tumView external linksLinks
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
☆16Mar 12, 2019Updated 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:
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆11Oct 18, 2017Updated 8 years ago
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Apr 16, 2018Updated 7 years ago
- UnitTests for current Homework☆16May 24, 2018Updated 7 years ago
- A website providing links, redirects and tools related to the Technical University Munich☆145Oct 16, 2023Updated 2 years ago
- ☆10Apr 20, 2023Updated 2 years ago
- Notes and Resources for talk "Redesigning for Cognitive Ease"☆12Nov 15, 2024Updated last year
- Proxy for the TUM iCal export to remove clutter☆43Feb 1, 2026Updated 2 weeks ago
- Make eCitaro go ZZZZ ZZZZ <electrical noise> with less lag☆11Jul 21, 2023Updated 2 years ago
- fork of http://nicolas.brodu.net/code/canupo☆14Jun 3, 2017Updated 8 years ago
- Add an awesome sliding splash screen to your app with 3 lines of code☆16Jul 8, 2013Updated 12 years ago
- Objective-C 2.0 for Windows (non-GUI, 32-bit) - discontinued☆11Jan 5, 2015Updated 11 years ago
- ☆10Dec 27, 2020Updated 5 years ago
- A Swift library for interacting with Xcode projects.☆11Sep 14, 2016Updated 9 years ago
- Use Google's Speech to text engine with Siri.☆14Jun 25, 2016Updated 9 years ago
- ☆16Jan 12, 2018Updated 8 years ago
- The purpose of The ARIA Role Conformance Matrices is not to list all possible attributes that can be used on all available roles, but rat…☆10Mar 17, 2022Updated 3 years ago
- Drupal distribuce pro českou a slovenskou státní správu a místní samosprávu.☆10Dec 18, 2025Updated last month
- The website of Matterport3D-Layout.☆17Sep 9, 2020Updated 5 years ago
- SCROLL AT BOTTOM PLEASE - Unofficial JPDB Manga Decks Repository☆13Oct 27, 2023Updated 2 years ago
- Overview of resources on AI and related topics☆13Apr 25, 2018Updated 7 years ago
- ☆12Jun 27, 2024Updated last year
- ☆11Dec 26, 2016Updated 9 years ago
- ☆11Jan 9, 2018Updated 8 years ago
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 4 years ago
- An easy-to-use, easy-to-implement depiction system for Cydia/APT repositories.☆18Dec 24, 2014Updated 11 years ago
- Apple Audio File Play wrapper for Node.js☆13May 19, 2023Updated 2 years ago
- This plugin generates content with the help of artificial intelligence. It is based on the CKEditor 4. It uses the OpenAI API to generate…☆12Updated this week
- Hands-On Initiator Project☆11Apr 23, 2020Updated 5 years ago
- ☆10Jul 2, 2017Updated 8 years ago
- A list of similar sounding words to help disambiguate voice coding☆11May 20, 2020Updated 5 years ago
- A "theme tweak" for a minimal look of iOS☆10Jul 9, 2016Updated 9 years ago
- THIS IS OUTDATED - Please see PVGeo's example gallery☆13Apr 12, 2021Updated 4 years ago
- Customized UIDatePicker for iOS by Amit Attias☆13Nov 18, 2014Updated 11 years ago
- Doom Multiplayer Server with Ktor☆10Feb 10, 2024Updated 2 years ago
- Cheat sheet for most-used JS snippets in Lens Studio. Will update this every once in a while.☆12Oct 12, 2024Updated last year
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 6 years ago
- Code for "Using machine learning to combine genetic and environmental data for maize grain yield predictions across multi-environment tri…☆19Jul 23, 2024Updated last year
- Kodama (Kotlin Data Mapper) is a mapping library and compiler plugin that automates tedious mapping between data classes.☆11Jan 12, 2024Updated 2 years ago
- A simple command-line tool to convert MIDI files to BMS files for Super Mario Sunshine.☆12Dec 9, 2016Updated 9 years ago