Projects in Awesome Lists by harmim
A curated list of projects in awesome lists by harmim .
https://github.com/harmim/vut-ifj-project
Formální jazyky a překladače - Projekt - Implementace překladače imperativního jazyka IFJ17
c compiler ifj lexical-analysis semantic-analysis syntactic-analysis vut
Last synced: 25 Aug 2025
https://github.com/harmim/aoc-2024
Advent of Code 2024 (Haskell)
advent-of-code advent-of-code-2024 christmas haskell puzzle
Last synced: 28 Jul 2025
https://github.com/harmim/vut-ibt
Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations
abstract-interpretation atomicity atomicity-violation bachelor-thesis concurrency facebook facebook-infer ocaml program-analysis static-analysis vut vut-fit
Last synced: 04 Sep 2025
https://github.com/harmim/vut-dip
Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp facebook facebook-infer java master-thesis ocaml program-analysis static-analysis vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/aoc-2021
Advent of Code 2021 (PHP)
advent-of-code advent-of-code-2021 christmas php puzzle
Last synced: 31 Mar 2025
https://github.com/harmim/images
A tool for working with images.
extension gd images nette-framework php
Last synced: 25 Oct 2025
https://github.com/harmim/aoc-2022
Advent of Code 2022 (Rust)
advent-of-code advent-of-code-2022 christmas puzzle rust
Last synced: 07 Aug 2025
https://github.com/harmim/vut-pp1
Project Practice 1 - Atomer: Atomicity Violations Analyser
abstract-interpretation atomicity atomicity-violation concurrency facebook facebook-infer ocaml program-analysis project project-practice static-analysis vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/harmim
Personal information
developer github harmim personal-information
Last synced: 31 Mar 2025
https://github.com/harmim/vut-inp-project2
Návrh počítačových systémů - Projekt 2 - Procesor s Harvardskou architekturou
fitkit harvard inp processor processor-design vhld vut
Last synced: 31 Mar 2025
https://github.com/harmim/vut-sui-homework
Umělá inteligence a strojové učení - Domácí úloha
artificial-intelligence classification gaussian-distribution logistic-regression machine-learning matplotlib numpy nuralnetwork python scipy sui torch vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-ivs-project-1
Praktické aspekty vývoje software: Projekt 1 – Testování
c-plus-plus cmake code-coverage gcov google-test ivs lcov matrix project red-black-tree test-driven-development testing vut
Last synced: 23 Oct 2025
https://github.com/harmim/vut-izp-proj1
Základy programování - Projekt 1 - Práce s textem
c izp project text-processing vut
Last synced: 28 Jun 2025
https://github.com/harmim/vut-ial-project1
Algoritmy - 1. projekt
algorithms c double-linked-list ial infix postfix stack vut
Last synced: 21 Jun 2025
https://github.com/harmim/vut-iel-project
Elektronika pro informační technologie - semestrální projekt
circuit-analysis electronics iel latex matlab project vut
Last synced: 31 Mar 2025
https://github.com/harmim/vut-mba-projects
Analýza systémů založená na modelech - Projekty
ce-systems markov-chain markov-decision-processes mba model-based-analysis petri-nets timed-automata vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-izp-proj2
Základy programování - Projekt 2 - Iterační výpočty
c continuous-fractions izp math project taylor-series vut
Last synced: 31 Mar 2025
https://github.com/harmim/vut-izp-proj3
Základy programování - Projekt 3 - Jednoduchá shluková analýza
c cluster-analysis doxygen project vut
Last synced: 23 Aug 2025
https://github.com/harmim/vut-ims-project
Modelování a simulace - Projekt - Rozvoz jídla firmou Freshbox
cpp ims modeling simlib simulation vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/aoc-2023
Advent of Code 2023 (Java)
advent-of-code advent-of-code-2023 christmas java puzzle
Last synced: 31 Mar 2025
https://github.com/harmim/vut-ipp-project
Principy programovacích jazyků a OOP - Projekt
interpreter ipp oop php7 programming-languages python3 vut vut-fit xml
Last synced: 31 Mar 2025
https://github.com/harmim/vut-sav-project
Static Analysis and Verification - Project - PRISM
bdd markov-chain markov-decision-processes model-checking pctl prism probabilistic-models sav static-analysis stochastic-processes verification vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-izp-laboratore
Základy programování - Počítačové laboratoře
Last synced: 31 Mar 2025
https://github.com/harmim/vut-msp-project
Statistika a pravděpodobnost - Projekt
excel msp regression-analysis statistics vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-imp-project
Mikroprocesorové a vestavěné systémy - Projekt - Měření srdečního tepu
arm c fitkit3 fitvut heart-rate imp mcu microprocessor nxp vut vutbr
Last synced: 31 Mar 2025
https://github.com/harmim/vut-avs-project1
Architektury výpočetních systémů - Projekt - Optimalizace sekvenčního kódu
avs hdf5 neuronal-network openmp papi parallel-computing vectorized-computation vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-flp-project2
Functional and Logic Programming - Logic Project - Turing Machine
flp logic-programming prolog swi-prolog theoretical-computer-science turing-machine turing-machine-simulator vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-inc-project
Návrh číslicových systémů - Přístupový terminál
finite-state-machine fitkit vhdl
Last synced: 31 Mar 2025
https://github.com/harmim/vut-excel-at-fit-2021
Excel@FIT 2021 - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer
abstract-interpretation article atomer atomicity atomicity-violation c concurrency concurrent-programs contracts-for-concurrency cpp excel-at-fit facebook facebook-infer java ocaml program-analysis static-analysis vut vut-fit
Last synced: 04 Jul 2025
https://github.com/harmim/vut-ata-project2
Automatizované testování a dynamická analýza - Projekt - Implementace monitoru pro RV - Řízení vozíku v robotické továrně
ata automated-testing dynamic-analysis finite-automata ltl-formulas run-time-verification testing vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-avs-project2
Architektury výpočetních systémů - Projekt - Optimalizace paralelního kódu
avs marching-cubes openmp parallel-computing parallel-programming vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/bangor-icp-1023-labs
ICP-1023: Object Oriented Programming - Labs
bangor java object-oriented-programming searching-algorithms sorting-algorithms
Last synced: 31 Mar 2025
https://github.com/harmim/bangor-icp-1029-labs
ICP-1029: Imperative Programming in C - Labs
bangor c imperative-programming linked-list sorting-algorithms
Last synced: 31 Mar 2025
https://github.com/harmim/eurocast2022-deadlock-infer
Eurocast 2022 - Static Deadlock Detection in Low-Level C Code
concurrency deadlock deadlock-detection eurocast facebook-infer l2d2 paper static-analysis
Last synced: 31 Mar 2025
https://github.com/harmim/vut-ipa-project
Pokročilé asemblery - Projekt - Grafický editor: Detektor hran a antialiasing
antialiasing assembly cpp ipa project vut
Last synced: 31 Mar 2025
https://github.com/harmim/vut-izg-labs
Základy počítačové grafiky - Cvičení
c c-plus-plus cmake graphics-programming izg labs open-gl opengl sdl sdl2 vut vutbr
Last synced: 03 Jul 2025
https://github.com/harmim/vut-ata-project1
Automatizované testování a dynamická analýza - Projekt - Návrh automatizované testovací sady - Řízení vozíku v robotické továrně
ambiguity-review ata automated-testing cause-effect-graphing combinatorial-testing data-based-testing dynamic-analysis requirement-based-testing testing vut vut-fit
Last synced: 04 Jul 2025
https://github.com/harmim/vut-iis-project
Informační systémy - Projekt
iis information-systems nette-framework php7 vut vut-fit
Last synced: 09 Apr 2025
https://github.com/harmim/vut-itu-project
Tvorba uživatelských rozhraní - Projekt - TODO list pro Buddy členy organizace ESN
esn itu nette-framework php7 todo todo-list user-interface vut vut-fit
Last synced: 09 Apr 2025
https://github.com/harmim/vut-prl-project3
Paralelní a distribuované algoritmy - Projekt - Viditelnost
cpp distributed-computing line-of-sight open-mpi parallel-algorithm parallel-programming prefix-sum prefix-sum-algorithm prl vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-upa-project
Ukládání a příprava dat - Projekt
databases multimedia-database oracle spatial-database sql upa vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-fit-project
Dějiny a filozofie techniky - Semestrální práce - Alan Turing
alan-turing cryptoanalysis enigma fit history history-of-computer-science philosophy turing turing-completeness turing-machine turing-test vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/bangor-icp-2011-assignment
ICP-2011: Computer Networks - Assignment - Review Questions
bangor computer-networks latex tex
Last synced: 13 Jun 2025
https://github.com/harmim/vut-flp-labs
Funkcionální a logické programování - Cvičení
flp functional-programming ghc haskell logical-programming prolog swi-prolog vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-ity-projects
Typografie a publikování - projekty
Last synced: 12 Jul 2025
https://github.com/harmim/vut-bis-project
Bezpečnost informačních systémů - Projekt - The FITfather
bis hacking security software-security sql-injection ssh vut vut-fit
Last synced: 07 Oct 2025
https://github.com/harmim/harmim-website
Dominik Harmim personal website
curriculum-vitae nette-framework personal-website php php7
Last synced: 09 Oct 2025
https://github.com/harmim/vut-izg-project
Základy počítačové grafiky - Projekt - Vykreslovací řetězec a programování shaderů
c-plus-plus cmake doxygen fragment-shader fragments gpu-simulation graphics-programming izg project render-pipeline sdl2 shaders vector-algebra vertex vertex-shaders vut vutfit
Last synced: 13 Oct 2025
https://github.com/harmim/vut-snt-project
Simulation Tools and Techniques - Project - Traveling Umpire Problem
benders-cuts discrete-simulation greedy-algorithm local-search neighbor-search neighborhood-search operational-research optimalisation python scheduling simulation simulation-modeling snt vut vut-fit
Last synced: 14 Oct 2025
https://github.com/harmim/bangor-icp-1023-project
ICP-1023: Object Oriented Programming - Project - A Simple Stock Control System
bangor java object-oriented-programming
Last synced: 15 Oct 2025
https://github.com/harmim/vut-iss-project
Signály a systémy - Projekt - Analýza signálu
analysis filters fourier-transform iss matlab signals vut
Last synced: 16 Oct 2025
https://github.com/harmim/vut-tama-project
Application Development for Mobile Devices - Project - FIT Timetable
android calendar mobile-development tama timetable vut vut-fit
Last synced: 11 Mar 2025
https://github.com/harmim/vut-spp-project
Fault Tolerant Systems - Project
article concurrent-c distributed-systems fault-tolerance ieee multiprocessor presentation replication spp vut vut-fit
Last synced: 07 Jul 2025
https://github.com/harmim/bangor-icp-1029-assignment
ICP-1029: Imperative Programming in C - Assignment - Word Search
bangor c imperative-programming wordsearch
Last synced: 28 Oct 2025
https://github.com/harmim/vut-kry-project1
Cryptography - Project - One Time Pad
crypto cryptoanalysis cryptography cryptology kry one-time-pad one-time-pad-cipher vut vut-fit
Last synced: 19 Jul 2025
https://github.com/harmim/vut-avs-labs
Architektury výpočetních systémů - Cvičení
avs openmp parallel-computing processor-architecture vectorized-computation vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-ial-project2
Algoritmy - 2. projekt
algorithms algorithms-datastructures binary-search-tree binary-tree c hash-table ial vut
Last synced: 16 May 2025
https://github.com/harmim/vut-tama-essay
Application Development for Mobile Devices - Midterm Essay
android calendar essay mobile-development tama vut vut-fit
Last synced: 25 Jul 2025
https://github.com/harmim/vut-flp-project1
Functional and Logic Programming - Functional Project - SIMPLIFY-BKG
context-free-grammar flp functional-programming ghc haskell theoretical-computer-science vut vut-fit
Last synced: 20 Oct 2025
https://github.com/harmim/vut-excel-at-fit-2019
Excel@FIT 2019
abstract-interpretation article atomicity bachelor-thesis deadlock excel-at-fit facebook facebook-infer static-analysis vut vut-fit worst-case-const
Last synced: 07 Aug 2025
https://github.com/harmim/vut-ios-project-2
Operační systémy - Projekt 2
c linux parallel-algorithm process-synchronisation processes semaphore shm unix
Last synced: 12 Aug 2025
https://github.com/harmim/bangor-icp-3046-labs
ICP-3046: Web-Based Applications - Labs
bangor eshop php php7 webapplication
Last synced: 31 Mar 2025
https://github.com/harmim/vut-inp-project1
Návrh počítačových systémů - Projekt 1 - Řízení maticového displeje pomocí FPGA
Last synced: 31 Mar 2025
https://github.com/harmim/vut-tin-homeworks
Teoretická informatika - Domácí úkoly
automata automata-theory formal-languages languages theoretical-computer-science tin vut vut-fi
Last synced: 31 Mar 2025
https://github.com/harmim/vut-imp-labs
Mikroprocesorové a vestavěné systémy - Cvičení
arm c fitvut imp mcu microprocessor vut vutbr
Last synced: 24 Oct 2025
https://github.com/harmim/vut-upa-labs
Ukládání a příprava dat - Cvičení
databases jdbc multimedia-database nosql-database oracle spatial-database upa vut vut-fit xml-database
Last synced: 31 Mar 2025
https://github.com/harmim/vut-isu-labs
Programování na strojové úrovni - počítačové laboratoře
Last synced: 31 Mar 2025
https://github.com/harmim/vut-prl-project2
Paralelní a distribuované algoritmy - Projekt - Odd-Even Transposition Sort
cpp distributed-computing odd-even-sort open-mpi parallel-algorithm parallel-programming prl sorting-algorithms vut vut-fit
Last synced: 31 Mar 2025
https://github.com/harmim/vut-kry-project2
Cryptography - Project - RSA
asymmetric-cryptography crypto cryptography cryptology cypher encryption-decryption factorization factorization-attack kry prime-generator public-private-key rsa rsa-algorithm vut vut-fit
Last synced: 31 Mar 2025