mmarx

wikidata-fca

Tools for applying FCA to Wikidata

the-exploration-game

brainfuck

Brainfuck interpreter

django-account

Patched version of https://pypi.python.org/pypi/django-account/0.1.14

glpi-inventory

A nix flake for the GLPI inventory service

ical2org

Convert ical calendars to org agendas

minitrue

The Ministry of Truth.

brother_ql_web

A Python-based web service to print labels on Brother QL label printers. Based on brother_ql: https://github.com/pklaus/brother_ql

clj-nix

Nix helpers for Clojure projects

conexp-clj

A General-Purpose Tool for Formal Concept Analysis

curry

Mathematical examples in Haskell

die-koma.org

Jekyll Code of the new website

django-urlauth

Patched version of https://pypi.python.org/pypi/django-urlauth/0.1.8

FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

graph-algorithms

Implementation of various graph algorithms, including Bellman-Ford-Moore, Prim, Kruskal

jebediah

Experimental music playground

kognac

koma-bot

(Twitter) Bot for the KoMa

manganese

MIDI analysis & visualization platform

nix-index

Quickly locate nix packages with specific files

nix-index-database

Weekly updated nix-index database

nixpkgs

Nix Packages collection

ntfd

A lightweight notification daemon for fancy desktop integrations

quasar

rq

Functional command-line JSON processor

steffensort

subtitleStatus

Django Code for the Webpage

TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik"

trident

vlog