Server implementing the Microsoft Language Protocol for Ada and SPARK
Repository Index
47,133 repositories indexed
1–24 of 53 · Most stars
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Source repository for the GNAT Bare Metal BSPs
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
A Game Boy emulation library in Ada
Ada Database Objects
Simple to use cross-platform BDD driver for black box testing
An attempt at a minimalistic and secure operating system.
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
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
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
The repository host gives no description.
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
A collections of small nifty demos/sample code that may help better layout data or structure project
POSIX Ada Bindings.