Ada
Showing 36 of 183 projects
An Ada library and tool for creating templated text streams like dynamic HTML documents.
An XMPP client library written in Ada for connecting to Jabber servers to send and receive messages.
Maintained complete Ada-Mode for Vim/NeoVim
Ada 2012 binding to Tcl/Tk for embedding Tcl scripts in Ada code and creating Tk GUIs from Ada applications.
Ada software libraries for solving mathematical models from the book Mathematical GeoEnergy.
A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.
Ada language bindings for the Mosquitto MQTT broker client library.
A railway network simulation with SPARK/Ada-proven signaling to prevent train collisions.
An STM32-based alarm clock that automatically brews espresso to wake you up with fresh coffee.
Ada binding to the Z3 theorem prover for formal verification and constraint solving.
Ada 2005 binding for the liblzma data compression library, providing a zlib-like API.
A memory analysis tool that instruments programs via LD_PRELOAD to collect and analyze allocation events, helping identify memory usage patterns.
A 2048 puzzle game implementation in Ada with customizable themes, multiple board sizes, and state saving.
An Ada library implementing a simple Expression Language close to the Java Unified Expression Language (JSR245).
A library providing Behavior Driven Development (BDD) support for Ada, enabling tests written in English before implementation.
POSIX Ada Bindings implementing IEEE Standards 1003.5 for Ada programming language.
A public repository for the ANNEXI-STRAYLINE AURA project, providing Ada package configurations for Git-based dependency management.
TeXCAD: a simple LaTeX {picture} drawing tool
Ada language bindings for the Microsoft .NET Framework API, enabling Ada developers to access .NET functionality.
A verified Ada/SPARK implementation of the SipHash keyed hash function for hash-flooding DoS protection.
tools for writing lexers / parsers in Ada
An Ada library for reading, writing, and generating MIDI files and events.
Command-line utilities for encrypting and decrypting files using Threefish and XOR encryption algorithms.
An Ada 2012 library for reading and extracting files from Zip-based document container archives with a simplified API.
A railway network simulation with a SPARK/Ada-proven signaling system that guarantees collision avoidance.
Easy-to-use logging facilities for console output in Ada programs, with preelaborable package support.
Ada language binding for the Dear ImGui immediate-mode graphical user interface library.
Ada library for building graphical applications on STM32F746 and STM32F769 boards with touch buttons, graphs, clocks, and GIF images.
A library for generating nicely formatted Ada source code by constructing syntax trees programmatically.
A library and tool for transparently handling resource file access and bundling in Ada applications across macOS, Windows, and Linux.
Chests provides bounded containers (stacks and ring buffers) for embedded systems without dynamic memory allocation.
A small Ada library for solving and finding Sudoku grids using optimized brute-force combinatorial evaluation.
An assembler and emulator for the fictional YOTROC CPU architecture, featuring a full IDE and virtual machine.
Ada bindings for Turbo Pascal 7.0 units using the Gnoga framework to facilitate Pascal-to-Ada translation.
A puzzle game where players click numbered buttons on a grid to reduce them all to zero, written in Ada with GTK.
An Ada library for grammar handling, parser generation, and working with BNF, EBNF, and attributed grammars.
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.