SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
77,852 visible repositories in the index
1–24 of 36 · Most stars
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
A G-code parser and CNC controller (in Ada)
Ada-language framework
- ada
- ada-language
- arm
- avr
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
The PragmAda Reusable Components
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Ada Database Objects
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
GEneric Sprite and Tile Engine
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
Ada binding for the Pebble Time smartwatch
AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros. Hear ancient Persian melodies played by Korla Pandit.
Square Inch Synthesizer
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
Wasabee: a Web browser with safety focus. Project is in early development stage.
- ada
- ada-language
- web-browser
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.