Vlad Badoiu's repositories
tutorials
P4 language tutorials
getpy
A Vectorized Python Dict/Set
CUDATracePreload
CUDATracePreload is a dynamic tracing tool for CUDA and NCCL API calls.
hextra
🔯 Modern, batteries-included Hugo theme for creating beautiful doc, blog and static websites
unikraft
Unikraft is an automated system for building specialized POSIX-compliant OSes known as unikernels. (Core repository)
docs
The front page and documentation for the Unikraft Open-Source Project.
CCNet-Revived
Tools to download and cleanup Common Crawl data
conffuzz-ndss-data
ConfFuzz NDSS Data Set
linux-labs
Linux kernel source tree
llvm-cbe
resurrected LLVM "C Backend", with improvements
asplos22-tutorial
Architectural Support for Programming Languages and Operating Systems (ASPLOS'22) Tutorial
lib-lwip
Unikraft port of the lwip network stack
lib-python3
Unikraft port of Python 3
lib-sqlite
Unikraft port of SQLite
apache-mod-markdown
Markdown filter module for Apache HTTPD Server