koflerdavid Goto Github PK

.emacs.d

Emacs configuration, to be able to use it everywhere and to share with the community

bootstrap-bundle

BraincraftedBootstrapBundle integrates Bootstrap into Symfony2 by providing templates, Twig extensions, services and commands.

camt

PHP Parser for CAMT messages

cl-master-thesis

cl-seminar-presentation

cl-seminar-thesis

cubeb

Cross platform audio library

dockerized-kiwix-server

Your own wikipedia server in a box.

endless-sky

Space exploration, trading, and combat game.

equational-calculator

A tool to use the inference rules of equational logic on terms.

event

Monoidal, monadic and first-class events.

forum-demo

A demo project that implements a simple message board using DDD, CDI and the Helidon MP Framework.

haskell-editor

A simple text editor implemented with a Elm-like framework.

haskell-lsp-client

Client library for haskell-lsp

helm

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

jar-navigator

A simple tool which displays the classes contained in the JAR archives in a directory.

library-prototype

lsp

Haskell library for the Microsoft Language Server Protocol

nfa-equivalence-code

Reimplementations of algorithms for the CL master seminar

node-gui

GTK+ for node

os-bootstrapper

Code to set up my linux box after a fresh install

sasabus

SASAbus is an Android application to consult the bus schedule of the cities of Bozen/Bolzano, Meran/Merano and Leifers/Laives (South Tyrol, Italy). SASAbus is Free Software under the GNU GPLv3 licence.

timetracker

uni-programming-lab

Programming Lab: Innovative Interaktion, Visualisierung und Analyse

union-find-array

ST based union find data structure

yices-docker

Yices as a Docker image