General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Source repository for the GNAT Bare Metal BSPs
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Ada Database Objects
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
A collections of small nifty demos/sample code that may help better layout data or structure project
POSIX Ada Bindings.
Ada General Purpose Library -- Miscellaneous utilities
Ada Windows POSIX binding
A pure Ada implementation of the SipHash PRF (mirror repository).
Ada Posix Binding to Video 4 Linux, used for RPI