GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 26 · Most stars
Id Software's Id-tech-4-BFG in the Ada programming language.
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
- game
- portal
- stargate
- kawoosh
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
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
A component to aid in writing shell-like applications in Ada.
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.
An Ada Library for UUID generation.
- uuid
A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
- decawave
- dw1000
- uwb
- ranging-sensor
Qt5 COVID-19 simulator. Ada code under the hood. :astonished: 🤯 :metal:
Giza is trying to be a simple widget tool kit for embedded platforms
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
Software controller for solenoid engines (Ada/STM32F4)
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.
Small Library for Sodoku grid solving / finding
- ada
- bignumber
- ada-sodoku
- combinatory-library
This is an Ada 2012 package that provides an interface to BLAS.
A standalone lightweight auxiliary CLI video player support for BlackVideo.
- blackvideo
- sdl2
- video-player
- video-streaming
J2Ada translates a Java valid source code in Ada source code.
Extensions to the Tiny Lisp language for embedded applications
- ada
- lisp
- lisp-dialect
- lisp-interpreter
XML EZ Out is a small set of packages intended to aid the creation of XML-formatted output from within Ada programs
This is an Ada 2012 package that provides a task pool system for jobs which each take the form of a single request that receives a single response.