Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.
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
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Ada wrapper for the fast Stachniss' Hungarian solver