gprbuild
ToolOpen-source projects built with gprbuild
There are currently 45 open-source projects built with gprbuild, with a combined total of 2.1k GitHub stars. The most common language among these projects is Ada.
Showing 45 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 re-implementation of id Software's id-tech 4-BFG game engine in the Ada programming language.
A command-line tool for real-time monitoring of power consumption for CPUs, GPUs, processes, and virtual machines on GNU/Linux.
A thick Ada 2005 binding for OpenGL and GLFW that enriches the API with Ada's object orientation, type safety, and generics.
A multi-processor, 64-bit, formally-verified general-purpose operating system for x86-64, written in SPARK/Ada.
A GNAT-LLVM compiler toolchain for WebAssembly with Ada runtime library and Web API bindings.
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).
Core packages of the GNAT Components Collection, providing foundational Ada libraries for cross-platform development.
Ada semi-thick binding to the SFML multimedia library, providing a native Ada API for graphics, audio, windowing, and networking.
A free terminal emulator for Data General DASHER D200/D210 character-based terminals, supporting serial and telnet connections.
A command-line tool and library for storing sensitive data and documents in encrypted keystores using AES-256 and HMAC-256.
A simple audio synthesis library for creating musical instruments that can run on bareboard devices like STM32F4 or Raspberry Pi.
A standalone, portable pure Ada library for creating, extracting, and manipulating .zip archives with LZMA and BZip2 support.
A static site generator written in Ada with extensive custom tag support and auto-reconfiguration capabilities.
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.
Experimental Ada code generation support for Google Protocol Buffers, enabling Ada applications to use Google's data interchange format.
A library for building shell-like applications and command pipelines in Ada.
A high-level, task-safe Ada binding for ncurses with automatic rendering, color management, and multi-terminal support.
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.
Automatically creates AppImage executables from Alire crates for easy Linux distribution.
An Ada framework for developing information systems, providing core components, XML processing, web services, database access, and modeling tools.
A multi-engine COVID-19 simulator with Ada and Qt5, implementing Lancet and XPH Pharmaceutical models.
An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.
A simple bingo application built with GtkAda for playing at home, featuring manual/auto play, card checking, and multi-language support.
An Ada library for formatting physical values with proper metric (SI) unit scaling and prefixes.
A web servlet library for Ada that implements the Java Servlet specification (JSR 154, JSR 315).
An Ada 2012 library providing safe, reference-counted smart pointers, unique pointers, and flyweight patterns for resource management.
Ada software libraries for solving mathematical models from the book Mathematical GeoEnergy.
Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.
A memory analysis tool that instruments programs via LD_PRELOAD to collect and analyze allocation events, helping identify memory usage patterns.
An Ada library implementing a simple Expression Language close to the Java Unified Expression Language (JSR245).
An Ada library for reading, writing, and generating MIDI files and events.
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.