Ada
Showing 36 of 77 projects
Thick database bindings to MySQL, PostgreSQL, and SQLite for the Ada programming language.
A realistic Apollo 11 lunar lander simulator built with Ada, GTK, and Cairo for interactive landing practice.
A lightweight editor for Ada that provides a script-like feel while integrating with full-scale development tools like GNAT.
A Game Boy emulation library written in Ada, serving as a proof-of-concept for the language's suitability in emulator development.
An Ada library and code generator support for creating REST API clients and servers from OpenAPI specifications.
An Ada 2012 library providing database drivers and object-relational mapping for PostgreSQL, MySQL, SQLite, and SQLCipher.
A standalone, portable Ada package for decoding various image formats from any data stream to any output medium.
A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.
A cross-platform BDD driver for black-box testing of CLI applications directly from Markdown documentation.
A static site generator written in Ada with extensive custom tag support and auto-reconfiguration capabilities.
A standalone, portable Ada package for dynamically generating PDF documents with vector graphics, text, and images.
A free and open-source Ada programming framework for building GUI applications on MS Windows.
AURA is an integrated package management and build system for the Ada programming language.
A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.
A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.
A minimal educational blockchain implementation written in Ada, demonstrating core concepts like mining and validation.
A polymorphic middleware framework for building interoperable distributed applications in Ada and C.
An Ada framework for OAuth 2.0 and OpenID Connect client/server authentication to secure web applications.
An opinionated package management tool for Ada that handles building, testing, and running Ada packages.
GitHub Action to set up Ada and SPARK development environments for CI/CD workflows.
A web server construction kit for embedded systems, written in Ada, supporting static and dynamic content with minimal resource usage.
A 4X turn-based strategy game written in Ada 2022, featuring exploration, expansion, exploitation, and extermination mechanics.
A sound synthesizer library implemented in Ada that generates music from WAV samples, supporting real-time and offline playback with high polyphony.
A library for parsing and rendering Markdown and multiple Wiki syntaxes (MediaWiki, Creole, PhpBB, etc.) with customizable filters.
A formally verified SPARK library for parsing and validating Base64, JSON, JWK, JWS, and JWT data with guaranteed absence of runtime errors.
A graphical and console file manager for Linux, inspired by Ranger, with dual-column layout and plugin support.
Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.
A kid-friendly retro 3D point-and-click adventure game, reimagining the classic Atari Adventure with mazes, beasts, and ancient Persian themes.
An Ada code generator for creating web applications and database mappings from XML, YAML, or UML models.
A pure Ada library for generating 1D and 2D bar codes (including QR codes) in PDF, SVG, and PNG formats.
Generate Ada bindings for C++ code, supporting complex features like object orientation and templates.
A library for building shell-like applications and command pipelines in Ada.
A high-performance random text generator focused on corporate language, producing AI-inspired business jargon.
An Ada binding for the OpenCL host API, enabling OpenCL host programming in Ada.
An Ada library for generating UUIDs with support for random, name-based, and string-conversion operations.
An Ada 2012 emulator of Charles Babbage's Analytical Engine, the pioneering mechanical computer design.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.