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 7 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ein Programm zur Beschleunigung von Sprachaufnahmen☆12Apr 16, 2018Updated 8 years ago
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆11Oct 18, 2017Updated 8 years ago
- ☆14Sep 16, 2014Updated 11 years ago
- ⌚️Swift cron scheduler based on Swift NIO (both v1 and v2)☆23Aug 7, 2022Updated 3 years ago
- ☆21Apr 13, 2013Updated 13 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A simple command-line tool to convert MIDI files to BMS files for Super Mario Sunshine.☆12Dec 9, 2016Updated 9 years ago
- Triple keyboard layout and a ton more custom stuff☆14May 29, 2017Updated 9 years ago
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Jul 24, 2022Updated 3 years ago
- Swift but a bit Sweeter - More Syntactic Sugar for Swift #MakeSwiftGreatAgain☆22Oct 21, 2018Updated 7 years ago
- Twilight Princess speedrunning practice and testing tool☆19Nov 4, 2025Updated 6 months ago
- Python-Library to get live-data from mvg-live.de - yet another workaround the official, non-released API....☆14May 18, 2017Updated 9 years ago
- ☆46Jun 1, 2023Updated 2 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆11Mar 9, 2023Updated 3 years ago
- A level editor for Super Mario Galaxy 1 and 2.☆29Jul 28, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- documentation site for pwabuilder☆13Oct 15, 2018Updated 7 years ago
- Drupal distribuce pro českou a slovenskou státní správu a místní samosprávu.☆10Dec 18, 2025Updated 5 months ago
- A set of guides and tutorials for creating accessible online content☆12May 15, 2014Updated 12 years ago
- CLI tool for storybook-addon-a11y.☆13Apr 14, 2024Updated 2 years ago
- Hands-On Initiator Project☆11Apr 23, 2020Updated 6 years ago
- This contains the learning materials of the Udemy course on webcomponents with Redux☆10May 18, 2026Updated last week
- Using Visual ARIA to Physically See and Learn How ARIA Works☆10Feb 20, 2022Updated 4 years ago
- Frontend Component Toolkits for the Elements Design System☆13Apr 22, 2026Updated last month
- ☆11Jan 9, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- VR Slidedeck for a VR audience☆10Jun 29, 2017Updated 8 years ago
- ☆10Dec 27, 2020Updated 5 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- ☆13Sep 28, 2018Updated 7 years ago
- ☆16May 1, 2023Updated 3 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 4 years ago
- ☆16Jan 12, 2018Updated 8 years ago
- Make eCitaro go ZZZZ ZZZZ <electrical noise> with less lag☆11Jul 21, 2023Updated 2 years ago
- Apple Audio File Play wrapper for Node.js☆13May 19, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Customizer tool in javascript to create your own unique 3D Character!☆17Jun 5, 2024Updated last year
- How companies break accessibility principles☆29May 27, 2018Updated 8 years ago
- Notes and Resources for talk "Redesigning for Cognitive Ease"☆13Nov 15, 2024Updated last year
- Intellij support for Crystal Lang (Help wanted)☆13Feb 6, 2017Updated 9 years ago
- A Swift library for interacting with Xcode projects.☆11Sep 14, 2016Updated 9 years ago
- A list of similar sounding words to help disambiguate voice coding☆11May 20, 2020Updated 6 years ago
- Lightweight Java OMP preprocessor☆34Nov 18, 2018Updated 7 years ago