Kobzol

sigmod-2018

Code for the SIGMOD 2018 programming contest. Finished at 2nd place.

cuda-profile

Instrumentation based profiler for CUDA (master thesis)

llvm-se

Static analysis using symbolic execution on top of LLVM IR

agu

Algorithmisation of Geometrical Problems VSB-TUO course

arduino-tetris

Classic tetris game displayed on 8x8 LED Matrix (MAX72xx) on Arduino

sigmod-2017

Code for the SIGMOD 2017 programming contest. Finished at 15th place.

turret

School project, (somehow modified) clone of Tower defense.

valgrind-se

Symbolic execution in Valgrind. Based on https://github.com/spirali/aislinn.

ano-II

Image Analysis II VSB-TUO course

bia

Biologically inspired algorithms VSB-TUO course

clang

DZO

Code for subject Digital Image Processing at VSB-TUO.

haydi

Quick Idea Tester - pure python version

libreloader

Dynamic reloading of C/C++ code

neural-nets

Neural nets course at VSB-TUO.

os-bootloader

Simple x86 OS

osmz

OSMZ project (VSB-TUO course)

pa-II

Parallel applications II - VSB-TUO course

pdoc

A simple command line tool and library to auto generate API documentation for Python libraries.

petri-nets-II

Petri nets II (VSB-TUO course)

pg-II

Computer Graphics II project

prolog

Logical programming (VSB-TUO school course)

pvbps

Computer viruses and computer security VSB-TUO course

pvos

Programming in Operating systems VSB-TUO course

robot-bluetooth

Bluetooth controlled Arduino robot

salsita-pacman

Salsitasoft Pac-man

sampler

Simple sampling profiler

statistics

Project for Probability and Statistics (VSB-TUO subject)

symbolic-static-analysis

Symbolic static analysis of C/C++ code using Clang and Z3

vsb-diploma-thesis

Detection and estimation of 3D poses of objects in RGB-D images.