Skip to content
Locked down and locked in.
Locked down and locked in.


  • Arctic Code Vault Contributor
  • Pro


@github-beta @Industrial-Haskell-Course @CakeML @sclable @lemmings-io @alpha-asp @connected-dots @emcl-study

This helps you (and me) navigate all my repositories on GitHub.


Repository Description Year
geb Code that connects to Gödel, Escher, Bach ?
euler Attempts at Project Euler ?
aoc Attempts at Advent of Code 2017, 2018, 2019, 2020
cqf Conjunctive Query Fun 2018

European Master's in Computational Logic


Start End Institute/Organisation Associated University Location
2017-09 2018-02 International Center for Computational Logic (ICCL) TU Dresden 🇪🇺 🇩🇪 Dresden
2018-03 2018-07 Research Centre for Knowledge and Data (KRDB) Free University of Bozen-Bolzano 🇪🇺 🇮🇹 Bolzano
2018-08 2018-09 Data61, Commonwealth Scientific and Industrial Research Organization (CSIRO) Australian National University 🇦🇺 Canberra
2018-10 2019-03 Vienna for Logic and Algorithms (VCLA) TU Wien 🇪🇺 🇦🇹 Vienna


Automated Analysis of Logarithmic Amortized Complexity (working title) supervised by Florian Zuleger

Repository Content Collaborators Language
lac Implementation of Analysis of Logarithmic Amortized Complexity as Type Inference Java
lac-thesis Thesis LaTeX
lac-paper Papers on the topic (pending for publication) Georg Moser, David Obwaller, Florian Zuleger LaTeX
lac-examples Example Code for Analysis and Experimentation David Obwaller custom
lac-hs Some Haskell code for embedding examples Haskell



Repositories Title Semester Collaborators Language
cp Constraint Programming 2017W MiniZinc
ils, prisma, hakuna-matata Integrated Logic Systems 2018S Filippo De Bortoli and Aneta Koleva SMT, ASP, Python
fdb Foundations of Databases 2018S Anastasia Pustozerova LaTeX
al Advanced Logic 2018S Cosimo Persia SMV
? Knowledge Representation and Ontologies 2018S Johannes Altmanninger

Bachelor's in Software and Information Engineering at TU Wien

These repositories contain work I did as a student at TU Wien.

If you are looking for more material, feel free to hit me up 😉

Seminars and Theses


Repository Title Semester Collaborators Language
dps Declarative Problem Solving 2017S ASP
ewbs Introduction to Knowledge Based Systems 2016W ASP
iixd Interface and Interaction Design 2016W Christoph Gwihs and Christoph Holter HTML, JS
ds Distributed Systems 2016S Christoph Gwihs and Nikolaus Lässig Java
evc Introduction to Visual Computing 2016S Matlab
os Operating Systems 2015W C
fp Functional Programming 2015W Haskell
gothon Abstract Machines 2015S Go
ubvl Compilers 2013S C
oop Object Oriented Programming 2012W Java
kmst Algorithms and Data Structures 2 2012S Java

Decisions behind naming repositories might appear obscure to you, as they aim to resemble parlance common among students at TU Wien.

Lemmings I/O (Winter 2017)

Hack Description Location
Winston Markov A Twitter bot that constructs tweets based on 1984 sektor5
Market Apocalypse Communication device for a time after the apocalpyse Das Packhaus
Strong Signal A riddling chatbot that lets you decipher messages from outer space Impact Hub Vienna
Kurier Customer feedback via Messenger Kurier
Hangman Hangman chatbot Stockwerk

High School in Information Technology and Electronics at HTL Ottakring

Stuff I made in high school.

Repository Title Year Collaborators Language
pcp-vns Implementation of a Variable Neighborhood Search for the Partition Graph Coloring Problem 2013 Moritz Wanzenböck C++, LaTeX
ecdh-aes-chat A small chat program that uses a custom implementation of AES and ECDH key exchange 2012? C#
absorption Solution to a challenge on the absorption effect in floats 2011? Moritz Wanzenböck C


  1. The Alpha solver for lazy-grounding Answer-Set Programming.

    Java 35 4

  2. TeX

398 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2020

Created an issue in smallrye/smallrye-reactive-messaging that received 3 comments

Does InMemoryConnector support broadcasting?

Suppose I have an application that uses the Kafka connector in production, with one incoming channel marked as broadcast by setting the appropriate…

Opened 1 other issue in 1 repository
1 open
3 contributions in private repositories Dec 2

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.