Browser extension to automatically register in TISS
-
Updated
Sep 25, 2024 - JavaScript
#
tu-wien
Here are 36 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
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
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
Oct 2, 2024 - Lean
Adds a download button to LectureTube by TU Wien
-
Updated
May 5, 2017 - JavaScript
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
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
Updated
Jun 26, 2023 - Haskell
Course "Funktionale Programmierung" at Vienna University of Technology
-
Updated
Feb 18, 2014 - Haskell
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 "Software Engineering und Projektmanagement" at Vienna University of Technology
-
Updated
May 1, 2015 - Java
🎓 "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 "Verteilte Systeme" at Vienna University of Technology
-
Updated
Jan 14, 2015 - Java
Improve this page
Add a description, image, and links to the tu-wien topic page so that developers can more easily learn about it.
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."