Simulated railway network in SPARK/Ada
Repository Index
47,133 repositories indexed
121–144 of 198 · Most stars
Behavior Driven Development in Ada
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
2048 game: merge equal tiles until you add up to 2048
- 2048-game
- ada
- sfml
- puzzle
Ada bindings for the MQTT broker mosquitto.
Ada EL - Expression Language Library (JSR245)
Ada binding for liblzma compression library
- lzma
- ada
- compression
Ada bindings to the Microsoft NetFramework Api
- netframework
- ada-netframework
- gnat
- ada
Mars Polar Lander Simulation
tools for writing lexers / parsers in Ada
- ada
- lexer
- reference-counting
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
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
An Ada 2012 library for document container files
- zip
- dcf
- archiving
- ada
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
Ada OpenGL Framework
Easy to use logging facilities for output to console in Ada programs
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.
This is an Ada 2012 package that provides an interface to BLAS.
Ada General Purpose Library -- Miscellaneous utilities
Ada bindings for libsoundio
Pretty printing library for Ada
- ada
- pretty-print