Server implementing the Microsoft Language Protocol for Ada and SPARK
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Simple to use cross-platform BDD driver for black box testing
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.
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Ada client library for ROS2/RCL
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Chests are bounded containers
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
Genetic Algorithm Implementation for Ada
- generic
- algorithm
- ada
- library
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.