Andrea Cervetti's repositories
ada-virt-monitor
A virtual machine manager with bindings to libvirt written in Ada
Language:Ada000
awesome-ada
A curated list of awesome resources related to the Ada and SPARK programming language
000
A virtual machine manager with bindings to libvirt written in Ada
A curated list of awesome resources related to the Ada and SPARK programming language