Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Homework assignment frameworks and skeletons
-
web pages for NSWI170
-
-
Compilation into a propagation complete formula. Library for manipulating CNFs and other representations of boolean functions and related utility programs.
-
The public web pages of NPRG054 as presented at http://www.ksi.ms.mff.cuni.cz/teaching/nprg054-web/
-
Homework assignment frameworks and skeletons
-
Kampa: an experimental programming language (my Bachelor's thesis)
-
GitLab utilities for mass actions upon multiple repositories at once.
-
public web for the course
-
Homework assignment frameworks and skeletons
-
Homework assignment frameworks and skeletons
-
-
The public web pages of NSWI109 as presented at http://www.ksi.ms.mff.cuni.cz/teaching/nswi109-web/
-
Homework assignment frameworks and skeletons
-
Modifications of Glucose (https://www.labri.fr/perso/lsimon/glucose) mostly for personal use
-
Je to super věc. Přijd a uvidíš!
-
Je to super věc. Přijd a uvidíš!
-
KSI/DSE clusters description, manual, and hints
-
-
Homework assignment frameworks and skeletons
