Easy to use logging facilities for output to console in Ada programs
Repository Index
47,133 repositories indexed
49–72 of 73 · Most stars
This is an Ada 2012 package that provides an interface to BLAS.
J2Ada translates a Java valid source code in Ada source code.
The Gnoga/Ada-GUI version of Mine Detector, an intellectually-challenging game
Ada implementation of D’Hondt electoral result calculator
An Ada implementation of XPath 1.0.
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
RISC-V 64-bit Kernel written in Ada
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
Distributed Simulation of Transport Networks
Ada Music Tracker Player
- tracker-music
- ada
- s3m
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.
Raspberry Pi using a BBC Micro:Bit as temperature sensor
A WeeChat plug-in written in Ada 2012 🥰 that displays emoji 🥳
- weechat
- weechat-plugin
- ada
- emoji
Converts Ada sources’ ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT.
Supports functional testing using Tcl scripts.
Christoph Karl Walter Grein's Smart Pointers
An Ada 2012 project that implements various binary-to-ASCII codecs such as Base64
Simple Layer 3 Protocol
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
Generator of JUnit-compatible XML reports in Ada
Provides GCC 'specs' files to cope with macOS SDK policy changes
- fsf-gcc
- xcode-sdk
- gcc
- macos
Ada bindings for wiringPi
- raspberry-pi
- raspberrypi
- wiringpi
- wiringpi-library