mmarx/brainfuck
Brainfuck interpreter
Developer Profile
mmarx
Discovered public repositories for mmarx in the GitHub catalog.
mmarx/annelid
Shared object loading for Fortran
mmarx/minitrue
The Ministry of Truth.
mmarx/machinae
AM0 Interpreter/Simulator
mmarx/jebediah
Experimental music playground
mmarx/milkman
boolean conceptual factor analysis
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/curry
Mathematical examples in Haskell
mmarx/lovelace
Some mathematical examples in Ada.