Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
ChildFriendly website, C# and .NET I project
-
GitLab utilities for mass actions upon multiple repositories at once.
-
-
-
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.
-
Kampa: an experimental programming language (my Bachelor's thesis)
-
-
-
MGML fork of entangle
-
-
Tasks for MFF subject Bioinformatics algorithms, databases and tools.
-
-
Specification of replayd software project.
-
Nicos fork used at MGML machines. See https://nicos-controls.org
-
Homework assignment frameworks and skeletons
-
The public web pages of NPRG054 as presented at http://www.ksi.ms.mff.cuni.cz/teaching/nprg054-web/
-
KSI/DSE clusters description, manual, and hints
-
Informational web page of the project.
-
