Dominik Harmim (@harmim)

Top repositories

1

vut-ifj-project

Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
C
13
star
2

vut-ivs-project-2

Praktické aspekty vývoje software - Project 2 - calculator
C#
3
star
3

images

A tool for working with images.
PHP
2
star
4

aoc-2021

Advent of Code 2021 (PHP)
PHP
2
star
5

vut-ibt

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
C
2
star
6

aoc-2022

Advent of Code 2022 (Rust)
Rust
2
star
7

vut-dip

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

aoc-2023

Advent of Code 2023 (Java)
Java
1
star
9

vut-sui-homework

Umělá inteligence a strojové učení - Domácí úloha
Jupyter Notebook
1
star
10

vut-iel-project

Elektronika pro informační technologie - semestrální projekt
TeX
1
star
11

vut-izp-proj1

Základy programování - Projekt 1 - Práce s textem
C
1
star
12

vut-izp-proj3

Základy programování - Projekt 3 - Jednoduchá shluková analýza
C
1
star
13

vut-inp-project2

Návrh počítačových systémů - Projekt 2 - Procesor s Harvardskou architekturou
C
1
star
14

harmim-website

Dominik Harmim personal website
HTML
1
star
15

vut-izp-proj2

Základy programování - Projekt 2 - Iterační výpočty
Shell
1
star
16

harmim

Personal information
1
star
17

vut-ivs-project-1

Praktické aspekty vývoje software: Projekt 1 – Testování
C++
1
star
18

vut-ims-project

Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox
C++
1
star
19

debian-bash-config

Configuration files for Bash in Debian
Vim Script
1
star
20

vut-mba-projects

Analýza systémů založená na modelech - Projekty
TeX
1
star
21

vut-pp1

Project Practice 1 - Atomer: Atomicity Violations Analyser
Java
1
star