Ada
Showing 36 of 184 projects
Ada and SPARK firmware for the Crazyflie 2.0 nano quadcopter, targeting the STM32F4 ARM chip.
A collection of reusable Ada components for software development, compatible with Ada 95 and Ada 2007 standards.
A standalone, portable pure Ada library for creating, extracting, and manipulating .zip archives with LZMA and BZip2 support.
A flexible Ada library offering generic containers and algorithms with SPARK compatibility and performance control.
Thick database bindings to MySQL, PostgreSQL, and SQLite for the Ada programming language.
A lightweight editor for Ada that provides a script-like feel while integrating with full-scale development tools like GNAT.
A realistic Apollo 11 lunar lander simulator built with Ada, GTK, and Cairo for interactive landing practice.
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 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 standalone, portable Ada package for decoding various image formats from any data stream to any output medium.
Embeddable Forth interpreter written in Ada
A static site generator written in Ada with extensive custom tag support and auto-reconfiguration capabilities.
A free and open-source Ada programming framework for building GUI applications on MS Windows.
A standalone, portable Ada package for dynamically generating PDF documents with vector graphics, text, and images.
AURA is an integrated package management and build system for the Ada programming language.
A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.
A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.
A polymorphic middleware framework for building interoperable distributed applications in Ada and C.
A minimal educational blockchain implementation written in Ada, demonstrating core concepts like mining and validation.
GitHub Action to set up Ada and SPARK development environments for CI/CD workflows.
An opinionated package management tool for Ada that handles building, testing, and running Ada packages.
An Ada framework for OAuth 2.0 and OpenID Connect client/server authentication to secure web applications.
A 4X turn-based strategy game written in Ada 2022, featuring exploration, expansion, exploitation, and extermination mechanics.
A web server construction kit for embedded systems, written in Ada, supporting static and dynamic content with minimal resource usage.
A formally verified SPARK library for parsing and validating Base64, JSON, JWK, JWS, and JWT data with guaranteed absence of runtime errors.
GLOBE_3D: a real-time 3D Engine written in Ada
A graphical and console file manager for Linux, inspired by Ranger, with dual-column layout and plugin support.
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.
An Ada code generator for creating web applications and database mappings from XML, YAML, or UML models.
A kid-friendly retro 3D point-and-click adventure game, reimagining the classic Atari Adventure with mazes, beasts, and ancient Persian themes.
Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.
A library for building shell-like applications and command pipelines in Ada.
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.