Id Software's Id-tech-4-BFG in the Ada programming language.
Ada OpenGL Framework
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 !
GLOBE_3D: a real-time 3D Engine written in Ada
Genetic Algorithm Implementation for Ada
Prototype implementation of LSP client - Visual Studio 2017
Language Server Protocol for Ada
Small Library for Sodoku grid solving / finding
Generic Ada Library for Algorithms and Containers
Server implementing the Microsoft Language Protocol for Ada and SPARK
G2 network server leaf
An Ada Library for UUID generation.
Ada General Purpose Library -- Miscellaneous utilities
Ada binding to the Z3 Theorem Prover
Chests are bounded containers
Fully functional Hungarian Algorithm implementation in Ada
NBAda - An Ada library of lock-free data structures and algorithms.
The PragmAda Reusable Components
Simple blockchain in Ada
Simple Layer 3 Protocol
Christoph Karl Walter Grein's Smart Pointers
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Ada interface to the readline library
Boehm GC interface library for gcc-Ada (GNAT)
Ada bindings to the Lua language
Ada bindings for the GTK+ graphical library.
Ada wrapper for the fast Stachniss' Hungarian solver
Ada binding to Tcl/Tk, based on TASH
Ada binding to Tcl/Tk, based on TASHY
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
cmake macros for simple gnat project inclusion
Command-line tool from the Alire project and supporting library
The AURA Reference Implementation
Ada language support for CMake.
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Administration tool for Ravenports
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
An Ada 2012 compiler in Scala
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
LLVM based GNAT compiler
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
Ada binding for liblzma compression library
An Ada 2012 library for document container files
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
This project is obsolete is no longer developed, maintained or serviced!
Ada Binding for the libsecret library
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
The BLAKE2s hash function for SPARK83 [Ada (1987)]
SHA-3 and other Keccak related algorithms in SPARK/Ada.
libsodium for Ada - A secure cryptographic library
A cryptographic library in SPARK 2014
A pure Ada implementation of the SipHash PRF (mirror repository).
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
SPARK 2014 re-implementation of the TweetNaCl crypto library
SPARK TOTP library
xxhash in ada
Ada Database Objects
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Basic syntax highlighting for Ada and GPR
TextMate support for Ada
Server implementing the Microsoft Language Protocol for Ada and SPARK
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada Keystore - protect your sensitive data with secure storage
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
Implementation of Midi / MidiFile reading and writing
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
TOML parser for Ada
experimental YAML 1.3 implementation in Ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
Ini file manager: a standalone, portable Ada package for configuration files
An Ada 2012 library for parsing JSON
JSON/JWK/JWS/JWT/Base64 library in SPARK
Matreshka Project
The Google Protocol Buffers implementation in Ada
Formally verified, bounded-stack XML library
The XML/Ada toolkit.
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
The ANNEXI-STRAYLINE AURA Public Repository
GNAT Components Collection – Bindings to C libraries
GNAT Components Collection – Core packages
GNAT Components Collection – Database packages
Framework for platform-independent SPARK components
TOML parser for 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.
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Ada binding to the SFML library
Bingo application in GTKAda
A Button Mania game written in Ada
In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade". Please get updates from there.
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
2048 game: merge equal tiles until you add up to 2048
RufasCube is a 3D slider puzzle for Windows, OSX & most Linux distros. It looks like a rubic cube but it's a slider, not a twister.
A tictactoe game written and proven in SPARK
This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, OSX and most Linux distros; featuring voice of Andres Cantor! Includes moderately capable, interactive autosolver.
An Ada binding for the OpenCL host API
Generator of JUnit-compatible XML reports in Ada
ASN1SCC: An open source ASN.1 compiler for embedded systems
Ada finite-state machine generator.
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
An Ada-oriented GUI
Ada WASM Runtime and Bindings for Web API
Web UI on Ada
Ada bindings for the GTK+ graphical library.
GWindows: GUI framework for MS Windows
OpenGL GUI toolkit library for Ada
Ada bindings to NanoVG
Ada binding for OpenGL/WebGL
Ada binding to the SFML library
FreeType binding for Ada 2012
Thick Ada binding for OpenGL and GLFW
The OpenGL 4.6 Rendering Kernel in Ada 2012
Minimal binding to libdl
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
Ada Windows POSIX binding
This is an Ada 2012 package that provides an interface to BLAS.
Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless)
Collection of basic math routines in Ada
Mathpaqs: a collection of mathematical packages in pure Ada
BSD sockets in Ada
Ada bindings for the MQTT broker mosquitto.
Ada Bare Bones OS development tutorial source code
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Operating System development experiment in Ada
A secure and high performances microkernel for building secure MCU-based IoTs
An OS built with the Ironclad kernel and GNU tools
An attempt at a minimalistic and secure operating system.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Embeddable Forth interpreter written in Ada
Grammar handling and parser generation Ada library
Incremental analysis in Ada
Ada semantic analysis library.
An Ada 2012 package to parse command line arguments and options
tools for writing lexers / parsers in Ada
An Ada implementation of XPath 1.0.
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
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.
An Ada 2012 implementation of the Rx methodology
Ada bindings for the player robotic platform
Ada client library for ROS2/RCL
Ada WASM Runtime and Bindings for Web API
Source repository for the GNAT Bare Metal BSPs
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
Drake: A Runtime Library for gcc-Ada
Utility library to pretty print physical values in proper metric units
Ada bindings for libsoundio
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
Ada 2012 bindings for libcanberra
Ada bindings to OpenAL
Ada 2012 bindings for the Opus audio codec.
Ada binding to OpenAL which tries to mimic original API while using Ada types.
Yet Another Static Site (Generator)
A fuzzy inference system library for Ada
Ada library and tools for the analysis of Complex Networks and more
Advanced UNIX Terminal UI Ada Binding Package
Behavior Driven Development in Ada
Supports functional testing using Tcl scripts.
Ada-tailored UML Modeling Language
ColdFrame generates Ada framework code and documentation from UML models.
The Ada Conformity Assessment Test Suite, customised for GCC.
Tools for grading ACATS results, modified for Unix-like systems
GNATcoverage: Coverage Analysis Tool
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Ada Server Faces - Web Server Faces JSR 252, JSR 314 and JSR 344
Ada Web Application - Framework to build high performance secure web applications
Ada EL - Expression Language Library (JSR245)
Ada Security - OAuth 2.0 client and server framework to secure web applications
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
Ada Wiki Engine - Wiki parser and renderer with several Wiki syntaxes
AWS is a complete framework to develop Web based applications in Ada.
Dynamo Ada Application Code Generator
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.
Matreshka Project
Ada support for OpenAPI code generator
Ada bindings to the Microsoft NetFramework Api
Ada bindings for the Microsoft Win32 Api
Ada bindings for the Microsft WinRT Api
Ada API to the Windows library