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
- UnitTests for current Homework☆16May 24, 2018Updated 7 years ago
- Vorlesung Analysis für Informatiker WS16/17 an der TUM☆11Oct 18, 2017Updated 8 years ago
- Proxy for the TUM iCal export to remove clutter☆43Updated this week
- Generates an anchor for a markdown header.☆29Mar 30, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Apr 13, 2015Updated 11 years ago
- Teaching repository for the undergraduate course in Operations Research at Technical University Munich.☆19Jul 24, 2022Updated 3 years ago
- Prototype of natural language parser☆18Nov 22, 2015Updated 10 years ago
- Swift but a bit Sweeter - More Syntactic Sugar for Swift #MakeSwiftGreatAgain☆22Oct 21, 2018Updated 7 years ago
- Advanced Settings for Android Wear devices☆10Jan 1, 2017Updated 9 years ago
- kexec-tools with hardboot support for MultiROM☆21Jul 15, 2024Updated last year
- Python-Library to get live-data from mvg-live.de - yet another workaround the official, non-released API....☆14May 18, 2017Updated 8 years ago
- New Tab Page for Kiwi Browser☆17Oct 23, 2020Updated 5 years ago
- Plugin to show slides and code examples directly from IntelliJ IDEs☆11Mar 9, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Hands-On Initiator Project☆11Apr 23, 2020Updated 5 years ago
- ☆11Jan 9, 2018Updated 8 years ago
- ☆10Dec 27, 2020Updated 5 years ago
- Kodama (Kotlin Data Mapper) is a mapping library and compiler plugin that automates tedious mapping between data classes.☆11Jan 12, 2024Updated 2 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- ☆16May 1, 2023Updated 2 years ago
- Kotlin/Native MPP project template☆10Apr 15, 2019Updated 7 years ago
- ☆16Jan 12, 2018Updated 8 years ago
- Make eCitaro go ZZZZ ZZZZ <electrical noise> with less lag☆11Jul 21, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Apple Audio File Play wrapper for Node.js☆13May 19, 2023Updated 2 years ago
- 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
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 5 years ago
- Objective-C 2.0 for Windows (non-GUI, 32-bit) - discontinued☆11Jan 5, 2015Updated 11 years ago
- ☆10Sep 24, 2022Updated 3 years ago
- Provide a list of iOS Plugins, like Today Extension, AppleWatch app etc.☆14Mar 21, 2017Updated 9 years ago
- A Kotlin Multiplatform library to support end to end encryption.☆13Mar 17, 2023Updated 3 years ago
- A custom iOS keyboard for making it easier to type emoji.☆11Mar 20, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Multivariate polynomial regression for javascript/typescript☆10Nov 17, 2025Updated 5 months ago
- A "theme tweak" for a minimal look of iOS☆10Jul 9, 2016Updated 9 years ago
- Matrix client written in Kotlin and Compose for Desktop☆12Sep 4, 2022Updated 3 years ago
- Doom Multiplayer Server with Ktor☆10Feb 10, 2024Updated 2 years ago
- Construct your personal API☆18Dec 7, 2022Updated 3 years ago
- fast & safe no_std minimp3 wrapper☆14Jul 27, 2023Updated 2 years ago
- This is a Compose HTML port of CompoSnake☆11Apr 29, 2023Updated 2 years ago