Angelo Nakos's repositories
cbmc-starter-kit
The CBMC stater kit makes it easy to add CBMC verification to a software project.
Language:PythonMIT-0000
CI-CD-Github-Actions
Common GitHub Actions for CI/CD on FreeRTOS library repositories.
Language:PythonMIT000
coreSNTP
SNTPv4 client designed for embedded devices.
Language:CMIT000
firecracker
Secure and fast microVMs for serverless computing.
Language:RustApache-2.0000
firecracker-demo
A demo running 4000 Firecracker microVMs.
Language:ShellApache-2.0000