kubakukis14

I use this account to keep track of university projects. I public the repos on project deadlines.

Brno

Pinned Repositories

gitdm
📜Fork for tracking CNCF projects
Language:Ruby00
Learning
Personal projects in languages I don't have much experience in.
Language:TypeScript00
opentelemetry-network
eBPF Collector
Language:C++00
smt-bench
SMT benchmarking platform with tests
Language:Python00
z3-noodler
Z3-Noodler - optimizing noodlification casesplit
Language:C++00
opentelemetry-network
eBPF Collector
Language:C++30448
gitdm
📜Fork for tracking CNCF projects
Language:Ruby42434
IFJ23
A Swift language subset compiler: lexical, syntax, semantic analysis. Returns IFJCode instructions, basically assembler instructions.
Language:C41
iis2024_utulek
Informační systém útulku - školní projekt.
Language:TypeScript00

kubakukis14's Repositories

kubakukis14/z3-noodler
Z3-Noodler - optimizing noodlification casesplit
Language:C++
kubakukis14/opentelemetry-network
eBPF Collector
Language:C++
kubakukis14/gitdm
📜Fork for tracking CNCF projects
Language:Ruby
kubakukis14/smt-bench
SMT benchmarking platform with tests
Language:Python
kubakukis14/Learning
Personal projects in languages I don't have much experience in.
Language:TypeScript