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
- Swift but a bit Sweeter - More Syntactic Sugar for Swift #MakeSwiftGreatAgain☆22Oct 21, 2018Updated 7 years ago
- Proxy for the TUM iCal export to remove clutter☆43Mar 1, 2026Updated last week
- Plugin to show slides and code examples directly from IntelliJ IDEs☆11Mar 9, 2023Updated 3 years ago
- An easy-to-use, easy-to-implement depiction system for Cydia/APT repositories.☆18Dec 24, 2014Updated 11 years ago
- ☆10Dec 27, 2020Updated 5 years ago
- SCROLL AT BOTTOM PLEASE - Unofficial JPDB Manga Decks Repository☆13Oct 27, 2023Updated 2 years ago
- Multivariate polynomial regression for javascript/typescript☆10Nov 17, 2025Updated 3 months ago
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 4 years ago
- ☆11Jan 9, 2018Updated 8 years ago
- Objective-C 2.0 for Windows (non-GUI, 32-bit) - discontinued☆11Jan 5, 2015Updated 11 years ago
- Kotlin/Native MPP project template☆10Apr 15, 2019Updated 6 years ago
- ☆16Jan 12, 2018Updated 8 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
- Add an awesome sliding splash screen to your app with 3 lines of code☆16Jul 8, 2013Updated 12 years ago
- Apple Audio File Play wrapper for Node.js☆13May 19, 2023Updated 2 years ago
- ☆12Jun 27, 2024Updated last year
- Hands-On Initiator Project☆11Apr 23, 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
- Customized UIDatePicker for iOS by Amit Attias☆13Nov 18, 2014Updated 11 years ago
- Provide a list of iOS Plugins, like Today Extension, AppleWatch app etc.☆14Mar 21, 2017Updated 8 years ago
- Scala+lift frontend for automatatutor.com☆10May 13, 2019Updated 6 years ago
- Doom Multiplayer Server with Ktor☆10Feb 10, 2024Updated 2 years ago
- A "theme tweak" for a minimal look of iOS☆10Jul 9, 2016Updated 9 years ago
- ☆14Mar 16, 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
- A pure code, iOS and tvOS implementation of PlayStation™ 4 loading animation.☆11Dec 20, 2016Updated 9 years ago
- Example of working with swiftysockets☆11Jan 31, 2016Updated 10 years ago
- fast & safe no_std minimp3 wrapper☆14Jul 27, 2023Updated 2 years ago
- A Visual Introduction to Regular Expressions☆22Apr 2, 2018Updated 7 years ago
- A Kotlin compiler plugin to enforce named arguments usage.☆13Apr 17, 2023Updated 2 years ago
- ☆16May 1, 2023Updated 2 years ago
- Break Facebook's Chat Heads out of the iOS Sandbox!☆49Apr 3, 2014Updated 11 years ago
- A custom iOS keyboard for making it easier to type emoji.☆11Mar 20, 2016Updated 9 years ago
- http integration test service☆22Jan 12, 2018Updated 8 years ago