Mathpaqs: a collection of mathematical packages in pure Ada
- ada
- ada-language
- math-library
- ada-library
Repository Index
47,133 repositories indexed
25–48 of 53 · Most stars
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
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
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada library and tools for the analysis of Complex Networks and more
A collections of small nifty demos/sample code that may help better layout data or structure project
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
AdaChess is a smart chess engine written from scratch in the Ada programming language
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
SPARK formal verification automated with Travis CI
Ada finite-state machine generator.
Boehm GC interface library for gcc-Ada (GNAT)
POSIX Ada Bindings.
Ada binding for liblzma compression library
- lzma
- ada
- compression
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
Ada bindings of Turbo Pascal 7.0 units with Gnoga.
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
A simple 3DS Max model renderer
J2Ada translates a Java valid source code in Ada source code.
A test framework in Ada
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
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs