Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with tu-wien

A curated list of projects in awesome lists tagged with tu-wien .

https://github.com/mpgirro/sbs14w

VU Stackbasierte Sprachen, 2014W, TU Wien, Universal Turing Machine programed in Forth

forth tu-wien

Last synced: 08 Nov 2024

https://github.com/Lukas0907/matterhorn

Adds a download button to LectureTube by TU Wien

greasemonkey-script matterhorn tu-wien

Last synced: 01 Nov 2024

https://github.com/deryeger/minicheck

MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.

cli ctl-formulas haskell haskell-application ltl-formulas model-checking transition-systems tu-wien

Last synced: 16 Dec 2024

https://github.com/lforst/tiss-auto-login

A chrome extension to automatically log you into online services of the Technical University of Vienna.

chrome-extension tiss tu-wien

Last synced: 13 Dec 2024

https://github.com/mpgirro/dipl

🎓 "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.

actor-model akka concurrent-programming madoko master-thesis microservices-architecture spring-boot spring-cloud tu-wien

Last synced: 08 Nov 2024

https://github.com/mpgirro/madoko-marticle

Madoko template for general purpose documents, with a few tweaks here and there

madoko tu-wien

Last synced: 08 Nov 2024

https://github.com/mpgirro/madoko-vutinfth

Madoko Port of the TU Wien Informatik Bakk/Dipl/Diss Thesis Template

madoko tu-wien

Last synced: 08 Nov 2024

https://github.com/mpgirro/ueb14s

VU Ãœbersetzerbau, 2014S, TU Wien

c compiler-construction tu-wien

Last synced: 08 Nov 2024