Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada binding for the Pebble Time smartwatch
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Minimal binding to libdl