harmim

followers

following

stars

Oracle NetSuite

Brno, Czech Republic

https://www.harmim.cz

Dominik Harmim's repositories

infer

A static analyzer for Java, C, C++, and Objective-C.

Language:OCamlMIT3 4 1

aoc-2021

Advent of Code 2021 (PHP)

Language:PHPMIT200

aoc-2022

Advent of Code 2022 (Rust)

Language:RustMIT2 10

images

A tool for working with images.

Language:PHPMIT2 30

vut-dip

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Language:CMIT2 30

vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

Language:CMIT2 20

aoc-2023

Advent of Code 2023 (Java)

Language:JavaMIT1 20

debian-bash-config

Configuration files for Bash in Debian

Language:Vim Script100

harmim

Personal information

MIT1 30

vut-mba-projects

Analýza systémů založená na modelech - Projekty

Language:TeXMIT1 30

vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser

Language:JavaMIT1 30

vut-sui-homework

Umělá inteligence a strojové učení - Domácí úloha

Language:Jupyter NotebookMIT1 30

eurocast2022-deadlock-infer

Eurocast 2022 - Static Deadlock Detection in Low-Level C Code

Language:HTML000

cbmc

C Bounded Model Checker

Language:C++NOASSERTION010

datagrid

:muscle: DataGrid for Nette Framework: filtering, sorting, pagination, tree view, table view, translator, etc

Language:PHPMIT000

http

🌐 Abstraction for HTTP request, response and session. Provides careful data sanitization and utility for URL and cookies manipulation.

Language:PHPNOASSERTION010

kiwi-sorting

Kiwi.com - Itineraries Sorting

Language:Python030

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

Language:ShellApache-2.0000

tester

Tester: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏

Language:PHPNOASSERTION000

vut-ata-project1

Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně

Language:HTMLMIT030

vut-ata-project2

Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně

Language:Python030

vut-excel-at-fit-2019

Excel@FIT 2019

Language:TeX020

vut-excel-at-fit-2021

Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Language:TeXMIT030

vut-fit-project

Dějiny a filozofie techniky - Semestrální práce - Alan Turing

Language:TeXMIT030

vut-itu-project

Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN

Language:HTMLMIT020

vut-iw5

Lectures and computer labs storage for IW5 course at FIT VUT.

Language:C#020

vut-kry-project2

Cryptography - Project - RSA

Language:C++MIT030

vut-sav-project

Static Analysis and Verification - Project - PRISM

Language:TeXMIT030

vut-sui-project

Artificial Intelligence and Machine Learning - Project - Dice Wars

Language:PythonMIT020

vut-tama-project

Application Development for Mobile Devices - Project - FIT Timetable

Language:JavaMIT020