An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Repository Index
47,133 repositories indexed
25–48 of 73 · Most stars
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
An Ada 2012 package to parse command line arguments and options
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
libsodium for Ada - A secure cryptographic library
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
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
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.
SPARK TOTP library
SPARK formal verification automated with Travis CI
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada
The repository host gives no description.
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
- web
- servlet
- servlet-filter
- ada
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
Ada EL - Expression Language Library (JSR245)
Mars Polar Lander Simulation
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Chests are bounded containers
Ada OpenGL Framework