General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
59,132 visible repositories in the index
1–3 of 3 · Most stars
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Ada General Purpose Library -- Miscellaneous utilities