Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–14 of 14 · Most stars

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS

  • ada
  • energy
  • green
  • power

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

Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem

  • sound
  • synthetizer
  • wav
  • win32mm

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.

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