Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle