Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
55,140 visible repositories in the index
1–24 of 46 · Most stars
William Whitaker's WORDS, a Latin dictionary
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
This project is obsolete is no longer developed, maintained or serviced!
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
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
GNAT Components Collection – Core packages
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
Ada Database Objects
Collection of basic math routines in Ada
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
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Matreshka Project
GNAT Components Collection – Bindings to C libraries
Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
NBAda - An Ada library of lock-free data structures and algorithms.
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