Ondřej Kupka's repositories
prolog-tableaux
Method of analytic tableaux for a propositional logic
versionserver_rest
A REST interface to versionserver OTP application, implemented using Basho's Webmachine
prolog-bellman-ford
Bellman-Ford algorithm implemented in Prolog (Nonprocedural programming homework)
versionserver
A tiny OTP application that generates subsequent build numbers for projects according to the major, minor and release number specified. More like for fun than for production.