Vulkan-ada and a few others renamed to the correct nomenclature

General
1
Crate Location What it is
vulkan_ada https://github.com/the-dark-factory/vulkan-ada Ada binding to Vulkan, with a SPARK-proven safety layer
ccv_ada https://github.com/the-dark-factory/ccv-ada Ada bindings to Liu Liu’s CCV computer-vision library
stb_ada https://github.com/the-dark-factory/stb-ada Ada bindings to Sean Barrett’s STB libraries (image load/write, TrueType)
imgui_ada https://github.com/the-dark-factory/imgui-ada Ada bindings to Dear ImGui, the immediate-mode GUI toolkit
2

I see that you also generated Vulkan thin-bindings. There is this awesome thick-binding called vulkada. The YouTuber GetIntoGameDev has a great series where he explores ada development and tries out that library.

Might be interesting for you!

3

I could of spent me time having fun with that, A lesson learned. :slight_smile:

One slight difference with these thin bindings is they have a Spark verified safety layer proof to make sure of a correct regeneration.

4

I recently tried to update the vulkada PKGBUILD for Arch Linux and was unable to build it due to many instances of “error: box requires named notation”. Perhaps it is due to using gcc (GCC) 16.1.1 20260430.

I’ve sent a message to the project author about it (a week or so ago) but have yet to hear back from him.