Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
Repository Index
47,133 repositories indexed
49–72 of 98 · Most stars
AdaChess is a smart chess engine written from scratch in the Ada programming language
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
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
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
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.
Waking up with a fresh cup of coffee
Ada bindings for the MQTT broker mosquitto.
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
TeXCAD: a simple LaTeX {picture} drawing tool
- tex
- latex
- ada
- ada-language
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Ada packages for handling SI units of measure
Easy to use logging facilities for output to console in Ada programs
A Button Mania game written in Ada
- ada
- game
- gtkada
Assembler/Emulator for Fictional YOTROC Architecture
- ada
- gtkada
RufasCube is a very unique 3D slider puzzle for Windows, OSX & Linux. It looks like a rubic cube but it's a slider, not a twister.