Ada
Showing 33 of 105 projects
A web application framework for Ada that implements the Java Server Faces (JSF) specification pattern.
An Ada 2012 emulator of Charles Babbage's Analytical Engine, the pioneering mechanical computer design.
A comprehensive reference card and cheatsheet for Ada programming language attributes, aspects, pragmas, and standard library packages.
A collection of Ada database components providing SQL database access and abstraction layers.
A web browser fully written in Ada with a focus on safety, currently in early development.
Automatically creates AppImage executables from Alire crates for easy Linux distribution.
Ada bindings to Tcl/Tk for implementing Tcl commands in Ada and developing platform-independent graphical user interfaces.
An Ada 2012 library for parsing command-line arguments, inspired by Python's argparse.
Adds Ada language support to CMake for building Ada applications and libraries.
An implementation of the Language Server Protocol for the Ada programming language, enabling IDE features like auto-complete and goto definition.
A customized version of the Ada Conformity Assessment Test Suite for testing GCC Ada compilers.
A set of Ada components for developing 3D simulations, games, and GUI applications with support for distributed systems.
Ada language bindings for the Microsoft Windows WinRT API, enabling Windows Store and Desktop application development.
A nimble alternative to doas and sudo for privilege escalation, designed to be simple, safe, and secure.
A multi-engine COVID-19 simulator with Ada and Qt5, implementing Lancet and XPH Pharmaceutical models.
A UML modeling language tailored for Ada 2012, implemented in PlantUML to design and visualize Ada software components.
A standalone Ada package for generating Excel spreadsheets from Ada applications.
An XMPP client library written in Ada for connecting to Jabber servers to send and receive messages.
A library providing JSON serialization/deserialization utilities for Ada standard containers and runtime types.
A standalone, portable Ada package for reading and modifying configuration files in the INI format.
An Ada/SPARK implementation of the NORX authenticated encryption algorithm, formally verified for security.
Generates Ada framework code and documentation from UML models using XSLT transformations.
A formally verified TOTP library for two-factor authentication, implemented in SPARK with runtime error guarantees.
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 for monitoring filesystem events using Linux's inotify API.
A type-safe, efficient, and thread-safe implementation of promises for the Ada programming language.
An Ada library and tool for creating templated text streams like dynamic HTML documents.
Automatically prove Ada/SPARK software correctness using Travis CI for continuous verification.
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 2012 binding to Tcl/Tk for embedding Tcl scripts in Ada code and creating Tk GUIs from Ada applications.
A simple bingo application built with GtkAda for playing at home, featuring manual/auto play, card checking, and multi-language support.
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.