Pinned Repositories
aws-lambda-benchmark
The same functionality reimplemented in 5 languages, designed to test AWS Lambda cold start time dependency on the chosen runtime.
BCText
Text bakalarky
CloudDev2
cross-corr
cuda-histogram
DPText
edb.cz-scraper
Scraper for the edb.cz/katalog-firem/ page, from which it pulls emails for random sample of companies.
k-medoids
lock-free-stack
MESI_Promela
Verification of the MESI protocol using Promela and spin
MK4H's Repositories
MK4H/aws-lambda-benchmark
The same functionality reimplemented in 5 languages, designed to test AWS Lambda cold start time dependency on the chosen runtime.
MK4H/BCText
Text bakalarky
MK4H/CloudDev2
MK4H/cross-corr
MK4H/cuda-histogram
MK4H/DPText
MK4H/edb.cz-scraper
Scraper for the edb.cz/katalog-firem/ page, from which it pulls emails for random sample of companies.
MK4H/k-medoids
MK4H/lock-free-stack
MK4H/MESI_Promela
Verification of the MESI protocol using Promela and spin
MK4H/Robotika
MK4H/MHUrho
MK4H/OpenCLTest
My tests of the OpenCL and later OpenGL APIs. Mainly for later reference and codebase.
MK4H/Poster
Poster for my bachelor's thesis
MK4H/prometheus-slurm-exporter
Prometheus exporter for performance metrics from Slurm.
MK4H/Puddle
Term project for NSWI164 Model-driven Development
MK4H/ScorchedEarth
MK4H/spark
MK4H/TheLems
Lemmings
MK4H/WebovkySem