Compilation into a propagation complete formula. Library for manipulating CNFs and other representations of boolean functions and related utility programs.

GitLab utilities for mass actions upon multiple repositories at once.

Specification of replayd software project.

KSI/DSE clusters description, manual, and hints

Nicos fork used at MGML machines. See https://nicos-controls.org

SLURM GPU collector

A web-based interactive video retrieval tool.

C++ web zavoral https://www.ksi.mff.cuni.cz/teaching/nprg041-zavoral-web/cviceni.html

An opensource harmonizer implementation leveraging the DISTRHO Plugin Framework.

MGML fork of entangle

Repository for homework of NPGR004 Photorealistic graphics.

Unreal Engine 4 demo project.

The public web pages of NSWI109 as presented at http://www.ksi.ms.mff.cuni.cz/teaching/nswi109-web/