Ada
Showing 36 of 183 projects
An XMPP client library written in Ada for connecting to Jabber servers to send and receive messages.
Maintained complete Ada-Mode for Vim/NeoVim
A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.
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.
Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.
Ada language bindings for the Mosquitto MQTT broker client library.
An STM32-based alarm clock that automatically brews espresso to wake you up with fresh coffee.
A railway network simulation with SPARK/Ada-proven signaling to prevent train collisions.
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.
A public repository for the ANNEXI-STRAYLINE AURA project, providing Ada package configurations for Git-based dependency management.
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.
Command-line utilities for encrypting and decrypting files using Threefish and XOR encryption algorithms.
TeXCAD: a simple LaTeX {picture} drawing tool
Ada language bindings for the Microsoft .NET Framework API, enabling Ada developers to access .NET functionality.
tools for writing lexers / parsers in Ada
An Ada library for reading, writing, and generating MIDI files and events.
An Ada 2012 library for reading and extracting files from Zip-based document container archives with a simplified API.
A verified Ada/SPARK implementation of the SipHash keyed hash function for hash-flooding DoS protection.
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.