Kampa: an experimental programming language (my Bachelor's thesis)

public web for the course

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

Evaluation library for ImageRankerApp (KISSEval).

Web server providing GUI for KISSEval application and evaluation library (ImageRanker).

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

Homework assignment frameworks and skeletons

Repository for homework of NPGR004 Photorealistic graphics.

MGML fork of entangle

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

Advanced C++ http://www.ksi.ms.mff.cuni.cz/teaching/nprg051-web/

Homework assignment frameworks and skeletons

Design Patterns https://www.ksi.mff.cuni.cz/teaching/nprg024-web/

Homework assignment frameworks and skeletons

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

web pages for NSWI170

Gitlab tests (svn->GitHub->GitLab) Workflow test = how to work on new modules