An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
Repository Index
84,583 visible repositories in the index
25–48 of 75 · Most stars
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
The Ada Conformity Assessment Test Suite, customised for GCC.
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
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
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
ColdFrame generates Ada framework code and documentation from UML models.
- argouml
- ada
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
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.
POSIX Ada Bindings.
Simulated railway network in SPARK/Ada
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Memory Analysis Tool
Mars Polar Lander Simulation
A SDL front end in Ada for libgade
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
Ada packages for handling SI units of measure
Easy to use logging facilities for output to console in Ada programs