wko
Automated Reasoning, Semantic Web Technologies, Machine Learning, and Functional Programming.
Computer Science at TU DresdenDresden
Pinned Repositories
AdventOfCode
AdventOfCode solved in Haskell
autojump
A cd command that learns - easily navigate directories from the command line
beamerthemeTUD
A theme for the LaTeX beamer class in corporate design of Technische Universität Dresden
caffe-cpu
* Provides all necessary dependencies and sources for pycaffe caffe in cpu mode. * Sets up an extra user `caffe` and pulls the latest caffe version from github.
Circumscription
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
criteria-translation
dev-ops-tools
A collection of useful snippets and setups for dev ops
elk-web-reasoner
mirakel-android
The Android App for Mirakel
quelk
A prototypical temporal OMQA system
wko's Repositories
wko/elk-web-reasoner
wko/mirakel-android
The Android App for Mirakel
wko/quelk
A prototypical temporal OMQA system
wko/AdventOfCode
AdventOfCode solved in Haskell
wko/autojump
A cd command that learns - easily navigate directories from the command line
wko/beamerthemeTUD
A theme for the LaTeX beamer class in corporate design of Technische Universität Dresden
wko/caffe-cpu
* Provides all necessary dependencies and sources for pycaffe caffe in cpu mode. * Sets up an extra user `caffe` and pulls the latest caffe version from github.
wko/Circumscription
An implemented prototype of two different variants of Circumscription formalized in the PIE system of Christoph Wernhard.
wko/criteria-translation
wko/dev-ops-tools
A collection of useful snippets and setups for dev ops
wko/docker-docfx
wko/el2db
A mapping from OWL EL Ontologies to Relational Database Systems. Enables fast reasoning outside of the main memory.
wko/elk-reasoner
A Java-based OWL 2 EL reasoner
wko/elm-experiments
wko/metamap-web
A simple exposing of metamap service as a web server.
wko/ml-algorithms
wko/mongodb-cluster-single-node
Simple cluster setup of mongodb in a single docker container for testing with transactions.
wko/pyFreenet
Python FCPv2 library and utilities
wko/starter-hugo-markdown-slides
wko/supabase
The open source Firebase alternative. Follow to stay updated about our public Beta.
wko/ttrss2calibre
Generates a calibre news recipe of unread Tiny Tiny RSS (TTRSS) feeds
wko/ttrss_plugin-af_feedmod
Article Filter plugin for Tiny-Tiny-RSS to replace article stubs by website contents.
wko/word2vec-server
A simple server for Word2Vec
wko/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org