Browser extension to automatically register in TISS
-
Updated
Mar 22, 2025 - JavaScript
#
tu-wien
Here are 38 public repositories matching this topic...
Solver for the Electric Vehicle Routing Problem with Time Windows
kotlin vehicle-routing-problem optimization-algorithms routing-algorithm heuristic-algorithm tu-wien electric-vehicle-routing-problem
-
Updated
Sep 16, 2018 - Kotlin
Collection of solutions for OSUE fall semester 2020 [TU Wien]
-
Updated
Jul 2, 2021 - C
Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.
tutorial research logic mathematics proof-assistant lean formal-methods formal-mathematics interactive-theorem-proving tu-wien formal-proofs formalisation leanprover lean4 formalized-mathematics formalisation-mathematics
-
Updated
Jan 14, 2025 - Lean
An unofficial Android and iOS App to search TU Wien employees and students.
-
Updated
Nov 26, 2022 - Dart
Flutter mobile application for storing and sharing user's medical information
android dart ios mobile material-design cross-platform flutter health-data medical-information tu-wien
-
Updated
Jun 6, 2018 - Dart
A chrome extension to automatically log you into online services of the Technical University of Vienna.
-
Updated
Dec 12, 2020 - JavaScript
Data processing of autonomous vehicles in a fault-tolerant, resilient and asynchronous microservice environment. Featuring Kotlin, Spring Boot, Spring 5, React, MongoDB, RabbitMQ, Docker, Kubernetes.
react kotlin docker kubernetes spring-boot mongodb rabbitmq reactive-programming microservices-architecture data-processing reactivemongo tu-wien webflux reactive-mongo spring5-webflux
-
Updated
Sep 19, 2018 - Kotlin
Course "Funktionale Programmierung" at Vienna University of Technology
-
Updated
Feb 18, 2014 - Haskell
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
Updated
Jun 26, 2023 - Haskell
Web Application Engineering in 2018 with cutting-edge technologies
kotlin docker spring-boot gradle docker-compose web-application reactive-programming health-data medical-information tu-wien spring-webflux angular5 reactive-mongo spring5-webflux
-
Updated
Jul 24, 2018 - Kotlin
Applied machine learning projects on classification and regression datasets, covering EDA, preprocessing, modelling, and evaluation.
python data-science machine-learning numpy scikit-learn exploratory-data-analysis regression pandas data-visualization seaborn classification data-analysis matplotlib data-preprocessing openml model-evaluation tu-wien
-
Updated
Sep 6, 2026 - Jupyter Notebook
🎓 "Concurrent Programming with Actors and Microservices", 2018, Master's Thesis, TU Wien. This repository contains all developed applications, the evaluation tools with the scientific raw data, and the source of the thesis document.
akka spring-boot master-thesis spring-cloud actor-model concurrent-programming microservices-architecture tu-wien madoko
-
Updated
Aug 23, 2021 - Java
Course "Software Engineering und Projektmanagement" at Vienna University of Technology
-
Updated
May 1, 2015 - Java
Add this topic to your repo
To associate your repository with the tu-wien topic, visit your repo's landing page and select "manage topics."