Luca Seritan's repositories
Language:C000
autotest
An automatic test generator framework for competitive programming problem-setting.
Language:Python000
Language:C++000
catalog
Unikraft Applications & Examples Catalog
Language:Dockerfile000
docs
The front page and documentation for the Unikraft Open-Source Project.
Language:MDXNOASSERTION000
dynamic-apps
Pre-built Dynamic Linux ELFs
Language:C000
Language:C000
kraftkit
Build and use highly customized and ultra-lightweight unikernel VMs.
Language:GoBSD-3-Clause000
lib-compiler-rt
Unikraft port of compiler-rt, a runtime library
Language:C000
ocaml-uring
Bindings to io_uring for OCaml
Language:OCamlISC000
Language:Python000
static-pie-apps
Built Linux applications (static-pie) for Unikraft binary compatibility mode
Language:C000
Language:PythonMIT000
unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
Language:CNOASSERTION000