GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 40 · Most stars
Simple Turn-based Game
- ada
- game
- raylib
- turn-based
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
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
A secure and high performances microkernel for building secure MCU-based IoTs
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
GNAT Components Collection – Core packages
The PragmAda Reusable Components
Ada Database Objects
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Administration tool for Ravenports
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.
GNAT Components Collection – Bindings to C libraries
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
An Ada 2012 package to parse command line arguments and options
The Ada Conformity Assessment Test Suite, customised for GCC.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor