Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
47,133 repositories indexed
1–24 of 46 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Id Software's Id-tech-4-BFG in the Ada programming language.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
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
This project is obsolete is no longer developed, maintained or serviced!
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
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
The Google Protocol Buffers implementation in Ada
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Matreshka Project
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
Language Server Protocol for Ada
A collections of small nifty demos/sample code that may help better layout data or structure project
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output