SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–24 of 87 · 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
Ada Web Application - Framework to build high performance secure web applications
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
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
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
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
GNAT Components Collection – Core packages
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
Simple audio synthesis library
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Ada support for OpenAPI code generator
Ada Database Objects
Simple to use cross-platform BDD driver for black box testing
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Collection of basic math routines in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
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