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–18 of 18 · Most stars
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
This project is obsolete is no longer developed, maintained or serviced!
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Matreshka Project
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
A collections of small nifty demos/sample code that may help better layout data or structure project
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 / SPARK 2014 project that implements the SipHash keyed hash function.
Easy to use logging facilities for output to console in Ada programs
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
Christoph Karl Walter Grein's Smart Pointers
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64