harmim
I am Principal Software Engineer at Oracle NetSuite AI, based in Brno, Czech Republic.
Oracle NetSuite AIBrno, Czech Republic
Pinned Repositories
cbmc
C Bounded Model Checker
infer
A static analyzer for Java, C, C++, and Objective-C
aoc-2021
Advent of Code 2021 (PHP)
aoc-2022
Advent of Code 2022 (Rust)
images
A tool for working with images.
infer
A static analyzer for Java, C, C++, and Objective-C.
vut-ifj-project
Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
vut-ivs-project-2
Praktické aspekty vývoje software - Project 2 - calculator
http
🌐 Abstraction for HTTP request, response and session. Provides careful data sanitization and utility for URL and cookies manipulation.
tester
Tester: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏
harmim's Repositories
harmim/infer
A static analyzer for Java, C, C++, and Objective-C.
harmim/aoc-2021
Advent of Code 2021 (PHP)
harmim/aoc-2022
Advent of Code 2022 (Rust)
harmim/aoc-2024
Advent of Code 2024 (Haskell)
harmim/images
A tool for working with images.
harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
harmim/vut-mba-projects
Analýza systémů založená na modelech - Projekty
harmim/aoc-2023
Advent of Code 2023 (Java)
harmim/debian-bash-config
Configuration files for Bash in Debian
harmim/harmim
Personal information
harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
harmim/vut-sui-homework
Umělá inteligence a strojové učení - Domácí úloha
harmim/eurocast2022-deadlock-infer
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
harmim/cbmc
C Bounded Model Checker
harmim/datagrid
:muscle: DataGrid for Nette Framework: filtering, sorting, pagination, tree view, table view, translator, etc
harmim/http
🌐 Abstraction for HTTP request, response and session. Provides careful data sanitization and utility for URL and cookies manipulation.
harmim/kiwi-sorting
Kiwi.com - Itineraries Sorting
harmim/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
harmim/tester
Tester: enjoyable unit testing in PHP with code coverage reporter. 🍏🍏🍎🍏
harmim/vut-ata-project1
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
harmim/vut-ata-project2
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
harmim/vut-excel-at-fit-2019
Excel@FIT 2019
harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
harmim/vut-fit-project
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
harmim/vut-itu-project
Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN
harmim/vut-iw5
Lectures and computer labs storage for IW5 course at FIT VUT.
harmim/vut-sav-project
Static Analysis and Verification - Project - PRISM
harmim/vut-sui-project
Artificial Intelligence and Machine Learning - Project - Dice Wars
harmim/vut-tama-project
Application Development for Mobile Devices - Project - FIT Timetable