General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and Linux; featuring voice of Andres Cantor! Includes interactive autosolver.
- ada
- sokoban
- 3d
- soccer
Ada 2012 bindings for libcanberra
- libcanberra
- ada
A WeeChat plug-in written in Ada 2012 that plays sounds using libcanberra
- weechat-plugin
- canberra
- ada
- weechat