Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Repository Index
47,133 repositories indexed
1–24 of 24 · Most stars
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
Ada Web Application - Framework to build high performance secure web applications
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
A secure and high performances microkernel for building secure MCU-based IoTs
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 to use cross-platform BDD driver for black box testing
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
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
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
Giza is trying to be a simple widget tool kit for embedded platforms
Ada bindings for the player robotic platform
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada