Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
56,638 visible repositories in the index
1–24 of 48 · Most stars
Server implementing the Microsoft Language Protocol for Ada and SPARK
Id Software's Id-tech-4-BFG in the Ada programming language.
- ada
- vulkan
- game-engine
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
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
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
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.
Tomek's Ada build tool
- ada
- package-manager
- tada
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
Pascal to Ada translator
- ada
- pascal
- translator
- ada-language
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator