Pinned Repositories
nemo
A fast in-memory rule engine
rulewerk
Java library based on the VLog rule engine
annelid
Shared object loading for Fortran
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
minitrue
The Ministry of Truth.
the-exploration-game
wikidata-fca
Tools for applying FCA to Wikidata
SQID
A tool to analyse, browse and query Wikidata
mmarx's Repositories
mmarx/wikidata-fca
Tools for applying FCA to Wikidata
mmarx/the-exploration-game
mmarx/brainfuck
Brainfuck interpreter
mmarx/django-account
Patched version of https://pypi.python.org/pypi/django-account/0.1.14
mmarx/glpi-inventory
A nix flake for the GLPI inventory service
mmarx/ical2org
Convert ical calendars to org agendas
mmarx/minitrue
The Ministry of Truth.
mmarx/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
mmarx/clj-nix
Nix helpers for Clojure projects
mmarx/conexp-clj
A General-Purpose Tool for Formal Concept Analysis
mmarx/curry
Mathematical examples in Haskell
mmarx/die-koma.org
Jekyll Code of the new website
mmarx/django-urlauth
Patched version of https://pypi.python.org/pypi/django-urlauth/0.1.8
mmarx/FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
mmarx/graph-algorithms
Implementation of various graph algorithms, including Bellman-Ford-Moore, Prim, Kruskal
mmarx/jebediah
Experimental music playground
mmarx/kognac
mmarx/koma-bot
(Twitter) Bot for the KoMa
mmarx/manganese
MIDI analysis & visualization platform
mmarx/nix-index
Quickly locate nix packages with specific files
mmarx/nix-index-database
Weekly updated nix-index database
mmarx/nixpkgs
Nix Packages collection
mmarx/ntfd
A lightweight notification daemon for fancy desktop integrations
mmarx/quasar
mmarx/rq
Functional command-line JSON processor
mmarx/steffensort
mmarx/subtitleStatus
Django Code for the Webpage
mmarx/TheoLog
Vorlesungsunterlagen "Theoretische Informatik und Logik"
mmarx/trident
mmarx/vlog