wko Goto Github PK

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

docker-docfx

el2db

A mapping from OWL EL Ontologies to Relational Database Systems. Enables fast reasoning outside of the main memory.

elk-reasoner

A Java-based OWL 2 EL reasoner

elk-web-reasoner

elm-experiments

metamap-web

A simple exposing of metamap service as a web server.

mirakel-android

The Android App for Mirakel

ml-algorithms

mongodb-cluster-single-node

Simple cluster setup of mongodb in a single docker container for testing with transactions.

pyfreenet

Python FCPv2 library and utilities

quelk

A prototypical temporal OMQA system

starter-hugo-markdown-slides

supabase

The open source Firebase alternative. Follow to stay updated about our public Beta.

ttrss2calibre

Generates a calibre news recipe of unread Tiny Tiny RSS (TTRSS) feeds

ttrss_plugin-af_feedmod

Article Filter plugin for Tiny-Tiny-RSS to replace article stubs by website contents.

word2vec-server

A simple server for Word2Vec

zola

A fast static site generator in a single binary with everything built-in. https://www.getzola.org