Discover projects, groups and snippets. Share your projects with others
Internetový obchod se službami státu
Semester Project for programming 2, brazilian card game Truco with an implemented AI, with one player playing against the machine.
The team project for the Advanced Technologies for Web Applications course
The public web pages of NPRG054 as presented at
public web for the course
MGML fork of entangle
Final Assignment in NSWI170 Computer Systems
Compilation into a propagation complete formula. Library for manipulating CNFs and other representations of boolean functions and related utility programs.