Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Repository Index
47,133 repositories indexed
97–120 of 230 · Most stars
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
NBAda - An Ada library of lock-free data structures and algorithms.
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
An Ada 2012 package to parse command line arguments and options
ada privilege escalation
libsodium for Ada - A secure cryptographic library
Language Server Protocol for Ada
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Ada client library for ROS2/RCL
Ada library and tools for the analysis of Complex Networks and more
The repository host gives no description.
A collections of small nifty demos/sample code that may help better layout data or structure project
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Ada interface to the readline library
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
AWS templates engine.
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
AdaChess is a smart chess engine written from scratch in the Ada programming language
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.