GNAT
ToolOpen-source projects built with GNAT
There are currently 57 open-source projects built with GNAT, with a combined total of 3.3k GitHub stars. The most common language among these projects is Ada.
Showing 57 open-source projects · page 1 of 2
A command-line tool and catalog for managing Ada libraries, similar to Rust's Cargo or OCaml's Opam.
A Latin-English dictionary with inflectional morphology support, originally created by William Whitaker and maintained for digital preservation.
A programming language and verification toolset for engineering high-reliability, safety-critical, and secure 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.
A formally verified, portable SPARK 2014 implementation of the NaCl cryptographic library with constant-time algorithms.
Ada 2022 bindings to SDL 2, providing a variable-thickness wrapper for multimedia and game development.
A command-line tool for real-time monitoring of power consumption for CPUs, GPUs, processes, and virtual machines on GNU/Linux.
A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.
An Ada library providing comprehensive cryptographic primitives including symmetric/asymmetric encryption, hashing, and elliptic curve arithmetic.
A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A comprehensive Ada utility library providing logging, serialization, encoding, stream composition, and concurrency tools for building robust applications.
GNAT Ada Run Time Systems based on FreeRTOS for Cortex-M microcontrollers, supporting boards like Arduino Due and BBC micro:bit.
Generates Ada bindings from CMSIS-SVD descriptions for ARM Cortex-M devices to streamline bare-metal driver development.
Generates runtime source trees for AdaCore's GNAT bare metal board support packages (BSPs).
A G-code parser and CNC controller written in Ada for ARM Cortex-M microcontrollers.
Core packages of the GNAT Components Collection, providing foundational Ada libraries for cross-platform development.
A GUI framework for Ada that uses concurrent tasks and event queues instead of callback functions.
Ada semi-thick binding to the SFML multimedia library, providing a native Ada API for graphics, audio, windowing, and networking.
A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.
A command-line tool and library for storing sensitive data and documents in encrypted keystores using AES-256 and HMAC-256.
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.
A realistic Apollo 11 lunar lander simulator built with Ada, GTK, and Cairo for interactive landing practice.
A comprehensive XML parsing and manipulation toolkit for Ada95, implementing DOM and SAX standards.
A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.
Compiles Ada and SPARK code directly to NVIDIA GPUs using CUDA toolsuite.
An Ada 2012 implementation of the ReactiveX methodology for reactive programming with compile-time type safety.
A formally verified XML library in SPARK 2014, proven free of runtime errors and with bounded stack usage for secure untrusted data processing.
An Ada framework for OAuth 2.0 and OpenID Connect client/server authentication to secure web applications.
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.
Experimental Ada code generation support for Google Protocol Buffers, enabling Ada applications to use Google's data interchange format.
Ada binding for the Pebble Time smartwatch, enabling Ada development for Pebble apps and watchfaces.
An Ada code generator for creating web applications and database mappings from XML, YAML, or UML models.
A high-level, task-safe Ada binding for ncurses with automatic rendering, color management, and multi-terminal support.
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.