AdaChess is a smart chess engine written from scratch in the Ada programming language
Repository Index
47,133 repositories indexed
25–46 of 46 · Most stars
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
Excel Writer: a standalone, portable Ada package for producing Excel spreadsheets
- ada
- ada-language
- excel
- excelwriter
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
Easy to use logging facilities for output to console in Ada programs
This is an Ada 2012 package that provides an interface to BLAS.
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.
Convenience subprograms to interact with C strings
Christoph Karl Walter Grein's Smart Pointers
This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
Simple Layer 3 Protocol
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Command-line utility that picks a file from a folder hierarchy with probability proportional to its size