harmim/vut-pp1

Stars
1
Language
Java
License
MIT License
Created over 4 years ago
Updated over 2 years ago

harmim/vut-pp1

harmim

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Project Practice 1 - Atomer: Atomicity Violations Analyser

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

images

A tool for working with images.

aoc-2021

Advent of Code 2021 (PHP)

vut-ibt

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

aoc-2022

Advent of Code 2022 (Rust)

vut-dip

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

aoc-2023

Advent of Code 2023 (Java)

vut-sui-homework

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

Jupyter Notebook

vut-iel-project

Elektronika pro informační technologie - semestrální projekt

vut-izp-proj1

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

vut-izp-proj3

Základy programování - Projekt 3 - Jednoduchá shluková analýza

vut-inp-project2

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

harmim-website

Dominik Harmim personal website

vut-izp-proj2

Základy programování - Projekt 2 - Iterační výpočty

harmim

Personal information

vut-ivs-project-1

Praktické aspekty vývoje software: Projekt 1 – Testování

vut-ims-project

Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox

debian-bash-config

Configuration files for Bash in Debian

vut-mba-projects

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