mmorak

Pinned Repositories

hvw2020
Austrian Workshop on Logic in Computer Science in Memorial of Helmut Veith 2020
Language:HTML0 2 00
acme-hooked
A tiny script to issue and renew TLS certs via ACME.
Language:Python10 2 02
EP-ASP
Computing World Views for Epistemic Logic Programs
Language:Python0 1 01
gentoo-overlay
Personal Gentoo Overlay.
Language:Shell0 2 00
geotag
A platform-independent program to geotag images.
Language:Java0 2 00
logic-helpers
Source code of the logichelpers library (liblogichelpers)
Language:C++00
logic-parsers
Source code of the logicparsers library (liblogicparsers)
Language:C++00
qbf2asp
Source code of qbf2asp, a tool that rewrites Quantified Boolean Formulas (QBF) to Answer Set Programming (ASP) programs.
Language:C++1 3 00
sharp
Source code of the sharp library (libsharp) for dynamic programming on hypertree decompositions: http://dbai.tuwien.ac.at/proj/sharp/
Language:C++1 3 00

mmorak's Repositories

mmorak/acme-hooked
A tiny script to issue and renew TLS certs via ACME.
Language:Python10 2 02
mmorak/EP-ASP
Computing World Views for Epistemic Logic Programs
Language:Python0 1 01
mmorak/gentoo-overlay
Personal Gentoo Overlay.
Language:Shell0 2 00
mmorak/geotag
A platform-independent program to geotag images.
Language:Java0 2 00