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/annelid
Shared object loading for Fortran
mmarx/owlstat
generate statistics on the use of exotic constructs in OWL2 EL ontologies
mmarx/dl2012
Lecture notes for Description Logic, winter term 2012/2013
mmarx/hazel
Haskell Reasoner for the description logic EL
mmarx/koma77-reso-fremdenfeindlichkeit
Resolution gegen Fremdenfeindlichkeit
mmarx/lovelace
Some mathematical examples in Ada.
mmarx/machinae
AM0 Interpreter/Simulator
mmarx/milkman
boolean conceptual factor analysis