Dominik Harmim's Projects
Advent of Code 2021 (PHP)
Advent of Code 2022 (Rust)
Advent of Code 2023 (Java)
ICP-1023: Object Oriented Programming - Labs
ICP-1023: Object Oriented Programming - Project - A Simple Stock Control System
ICP-1029: Imperative Programming in C - Assignment - Word Search
ICP-1029: Imperative Programming in C - Labs
ICP-2011: Computer Networks - Assignment - Review Questions
ICP-2152: Java Technologies - Labs
ICP-2152: Java Technologies - Project - Academi Gymraeg
ICP-3046: Web-Based Applications - Labs
C Bounded Model Checker
:muscle: DataGrid for Nette Framework: filtering, sorting, pagination, tree view, table view, translator, etc
Configuration files for Bash in Debian
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
Simple PHP framework
Personal information
Dominik Harmim personal website
🌐 Abstraction for HTTP request, response and session. Provides careful data sanitization and utility for URL and cookies manipulation.
A tool for working with images.
A static analyzer for Java, C, C++, and Objective-C.
Kiwi.com - Itineraries Sorting
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: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
Architektury výpočetních systémů - Cvičení
Architektury výpočetních systémů - Projekt - Optimalizace sekvenčního kódu
Architektury výpočetních systémů - Projekt - Optimalizace paralelního kódu
Bezpečnost informačních systémů - Projekt - The FITfather