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 59 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Id Software's Id-tech-4-BFG in the Ada programming language.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
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
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
GNAT Components Collection – Core packages
Ada-language framework
- ada
- ada-language
- arm
- avr
GNATcoverage: Coverage Analysis Tool
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
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
The PragmAda Reusable Components
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
Ada support for OpenAPI code generator
Simple to use cross-platform BDD driver for black box testing
Collection of basic math routines in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
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
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.