What we have given back.
Nothing on this page is for sale, and none of it is a demo. It is free software we wrote, published, and now maintain in the open — most of it because we needed it to exist and it did not.
Bindings to C libraries
The Ada ecosystem is small, and several libraries that every other language takes for granted had no Ada binding at all. Each of these began as something we needed for our own work; publishing them costs us nothing and saves the next person the same fortnight.
| Repository | What it binds | Licence |
|---|---|---|
| imgui-ada | Dear ImGui, via cimgui — immediate-mode GUI | MIT |
| stb-ada | Sean Barrett’s STB header-only collection | MIT |
| ccv-ada | Liu Liu’s CCV — computer vision | MIT |
| vulkan-ada | Vulkan, generated from vk.xml, with a SPARK-verified safety layer | Apache-2.0 |
| box2d-ada | Box2D v3 — 2D physics | see repo |
| llama-ada | llama.cpp — in-process local inference (examples) | see repo |
In the Alire community index
df_ccv 0.1.0 was reviewed by Alire’s core maintainers and
merged into the official community index
(alire-project/alire-index,
branch stable-1.4.0, PR #1954). If you have Alire, you already
have it:
alr get df_ccvIt is the first of ours to go into the index. The rest of the bindings above are installable from their repositories today; whether they follow it into the index depends on whether anyone wants them there.
Proven cores, applications and evidence
| Repository | What it is | Licence |
|---|---|---|
| kingklaw | Machine-checked cores for privacy and cybersecurity | AGPL-3.0 |
| Ghillie | A local assistant that re-derives an ability’s proof before installing it | AGPL-3.0 |
| basic-sentinel | Config-driven health monitor and remediation agent | Apache-2.0 |
| spark-benchmark-evidence | Frozen prompts, harness and run records, so our published SPARK benchmark numbers can be reproduced or refuted | see repo |
Where to get them
All of it lives at github.com/the-dark-factory. Clone what you like. We would rather hear that something was useful than hear nothing, but there is no registration, no account and nothing to sign.
Where a licence says “see repo” above, it is because the repository is the authority on its own terms and we would rather point at it than paraphrase it here.