Stars
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Modelio is a modeling solution offering a wide range of functionalities based on the main standards of enterprise architecture, software development and systems engineering.
Client part of the new version of the Rhizomer faceted browser and visualization tool for semantic linked data.
Bolt is an open source orchestration tool that automates the manual work it takes to maintain your infrastructure on an as-needed basis or as part of a greater orchestration workflow. It can be ins…
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
An Ada 2012 package to parse command line arguments and options
GDB scripts for Ada programs built with GNAT
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
runtime for STM32F411 Nucleo board
The main firmware for the Crazyflie Nano Quadcopter.
A port of the Ada Ravenscar profile to the STM32F411 Nucleo microcontroller.