AdaChess is a smart chess engine written from scratch in the Ada programming language
Repository Index
47,133 repositories indexed
73–96 of 124 · Most stars
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.
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)
Boehm GC interface library for gcc-Ada (GNAT)
Simulated railway network in SPARK/Ada
Behavior Driven Development in Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Memory Analysis Tool
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Mars Polar Lander Simulation
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
This is an Ada 2012 package that provides an interface to BLAS.