-
Oracle NetSuite
- Brno, Czech Republic
-
19:20
(UTC +02:00) - https://www.harmim.cz
- harmim6
- Dominik.Harmim
- @harmim6
- in/dominik-harmim
Highlights
- Pro
Block or Report
Block or report harmim
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
debian-bash-config Public
Configuration files for Bash in Debian
-
harmim Public
Personal information
-
aoc-2023 Public
Advent of Code 2023 (Java)
-
-
infer Public
Forked from facebook/inferA static analyzer for Java, C, C++, and Objective-C.
-
images Public
A tool for working with images.
-
datagrid Public
Forked from contributte/datagrid💪 DataGrid for Nette Framework: filtering, sorting, pagination, tree view, table view, translator, etc
PHP MIT License UpdatedJul 2, 2023 -
-
one-line-scan Public
Forked from awslabs/one-line-scanWith 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 compil…
Shell Apache License 2.0 UpdatedMar 8, 2023 -
aoc-2022 Public
Advent of Code 2022 (Rust)
-
vut-itu-project Public
Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN
HTML MIT License UpdatedDec 14, 2022 -
vut-tama-project Public
Forked from alena424/fit-timetableApplication Development for Mobile Devices - Project - FIT Timetable
Java MIT License UpdatedAug 24, 2022 -
vut-iw5 Public
Forked from nesfit/IW5Lectures and computer labs storage for IW5 course at FIT VUT.
C# UpdatedAug 24, 2022 -
tester Public
Forked from nette/testerTester: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏
PHP Other UpdatedAug 24, 2022 -
http Public
Forked from nette/http🌐 Abstraction for HTTP request, response and session. Provides careful data sanitization and utility for URL and cookies manipulation.
PHP Other UpdatedAug 24, 2022 -
vut-dip Public
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
-
eurocast2022-deadlock-infer Public
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
HTML UpdatedJul 25, 2022 -
vut-pp1 Public
Project Practice 1 - Atomer: Atomicity Violations Analyser
-
vut-ibt Public
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
-
aoc-2021 Public
Advent of Code 2021 (PHP)
-
vut-excel-at-fit-2021 Public
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
TeX MIT License UpdatedMay 7, 2021 -
vut-ata-project2 Public
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
Python UpdatedMay 3, 2021 -
vut-ata-project1 Public
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
-
vut-fit-project Public
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
TeX MIT License UpdatedDec 30, 2020 -
vut-sav-project Public
Static Analysis and Verification - Project - PRISM
TeX MIT License UpdatedDec 22, 2020 -
vut-sui-project Public
Forked from thejoeejoee/SUI-MIT-VUT-2020-2021Artificial Intelligence and Machine Learning - Project - Dice Wars
Python MIT License UpdatedDec 20, 2020 -
vut-sui-homework Public
Umělá inteligence a strojové učení - Domácí úloha
-
-
vut-mba-projects Public
Analýza systémů založená na modelech - Projekty
-