Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Repository Index
47,133 repositories indexed
97–120 of 204 · Most stars
Ada binding for OpenGL/WebGL
Ada library and tools for the analysis of Complex Networks and more
A collections of small nifty demos/sample code that may help better layout data or structure project
Bingo application in GTKAda
- gtkada
- gnat
- ada
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.
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
The repository host gives no description.
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
- web
- servlet
- servlet-filter
- ada
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
- ada
- ada-language
- excel
- excelwriter
Ini file manager: a standalone, portable Ada package for configuration files
- ada
- ada-language
- ini-parser
- cfg-files
Ada finite-state machine generator.
Giza is trying to be a simple widget tool kit for embedded platforms
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)
Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.
Boehm GC interface library for gcc-Ada (GNAT)
POSIX Ada Bindings.