Explore projects

Programming paradigm.

Programming and Algorithms 1

Programming languages

Programming and Algorithms 2

Beamer presentation for bachelor thesis.

Website for SUT. See https://sut.sh.cvut.cz

Interpreter for (λ) lambda calculus.

Personal repository for pubs.

Security

Script for creating of plot animation

Fork of Shatur/neovim-ayu with my modification from juhlik/ayu-vim.

Template for diploma thesis created for my LinuxDays 2021 lecture. In this we use Martin Mareš TeX template.

Math notes and cheatsheets.

Repository for CS Bridge CTU

Personal repository for NTIN066.

Repository with information and codes for my section.

Docker container for compiling Xelatex.

Term work for BI-PJP. Implement front-end compiler in llvm for language Pascal.

Personal repository for NPFL114.

Personal repository for NAIL060.