Gnat
Showing 36 of 40 projects
A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.
Ada and SPARK drivers library for bare-metal microcontrollers, supporting ARM Cortex-M and RISC-V platforms.
A small, quick Ada compiler fully written in Ada, providing an open-source tool for Ada language development.
An Ada library providing comprehensive cryptographic primitives including symmetric/asymmetric encryption, hashing, and elliptic curve arithmetic.
An advanced build system for automating the construction of multi-language software systems.
GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.
Core packages of the GNAT Components Collection, providing foundational Ada libraries for cross-platform development.
A lightweight editor for Ada that provides a script-like feel while integrating with full-scale development tools like GNAT.
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.
Ada language bindings for the Windows API, enabling Windows application development in Ada.
Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.
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.
Ada bindings to C libraries including GMP, Python, Readline, and Syslog for the GNAT Components Collection.
A collection of Ada database components providing SQL database access and abstraction layers.
A customized version of the Ada Conformity Assessment Test Suite for testing GCC Ada compilers.
Adds Ada language support to CMake for building Ada applications and libraries.
Ada language bindings for the Microsoft Windows WinRT API, enabling Windows Store and Desktop application development.
A simple bingo application built with GtkAda for playing at home, featuring manual/auto play, card checking, and multi-language support.
A standalone, portable Ada package for reading and modifying configuration files in the INI format.
A library providing JSON serialization/deserialization utilities for Ada standard containers and runtime types.
Ada software libraries for solving mathematical models from the book Mathematical GeoEnergy.
A memory analysis tool that instruments programs via LD_PRELOAD to collect and analyze allocation events, helping identify memory usage patterns.
POSIX Ada Bindings implementing IEEE Standards 1003.5 for Ada programming language.
A library providing Behavior Driven Development (BDD) support for Ada, enabling tests written in English before implementation.
Ada language bindings for the Microsoft .NET Framework API, enabling Ada developers to access .NET functionality.
An Ada library for reading, writing, and generating MIDI files and events.
A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.
CMake macros for integrating Ada/GNAT projects into CMake-based builds without requiring gprbuild.
J2Ada translates valid Java source code into Ada source code, supporting a large portion of Java syntax.
Ada binding to POSIX APIs for Windows, enabling POSIX-compatible development on Windows systems.
A Unix-compatible tool suite for grading Ada Conformity Assessment Test Suite (ACATS) results, originally adapted from Windows utilities.
Ada 2012 library for developing WeeChat plug-ins, providing bindings to WeeChat's C API.
A fuzzy inference system library for Ada that enables fuzzy logic control and decision-making applications.
Ada language bindings for the Microsoft Win32 API, generated from Windows 10 SDK headers.
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.