Dominik Harmim's repositories
debian-bash-config
Configuration files for Bash in Debian
vut-mba-projects
Analýza systémů založená na modelech - Projekty
vut-sui-homework
Umělá inteligence a strojové učení - Domácí úloha
eurocast2022-deadlock-infer
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
datagrid
:muscle: DataGrid for Nette Framework: filtering, sorting, pagination, tree view, table view, translator, etc
kiwi-sorting
Kiwi.com - Itineraries Sorting
one-line-scan
With this tool, projects can be compiled easily for fuzzing with AFL or for static code analysis with tools like CBMC. One-line-scan hooks into the compilation process and wraps calls to the compiler with other compilers. Besides the compilation wrappers, one-line-scan ships with basic analysis jobs, that allow to analyze a project right after comp
tester
Tester: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏
vut-ata-project1
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
vut-ata-project2
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
vut-excel-at-fit-2019
Excel@FIT 2019
vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
vut-fit-project
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
vut-itu-project
Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN
vut-kry-project2
Cryptography - Project - RSA
vut-sav-project
Static Analysis and Verification - Project - PRISM
vut-sui-project
Artificial Intelligence and Machine Learning - Project - Dice Wars
vut-tama-project
Application Development for Mobile Devices - Project - FIT Timetable