GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Repository Index
47,133 repositories indexed
1–24 of 63 · Most stars
Simple Turn-based Game
- ada
- game
- raylib
- turn-based
William Whitaker's WORDS, a Latin dictionary
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Ada bindings for the GTK+ graphical library.
Thick Ada binding for OpenGL and GLFW
- glfw
- ada
- opengl-bindings
- ada-binding
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
A secure and high performances microkernel for building secure MCU-based IoTs
An Ada binding generator from SVD descriptions for bare board ARM devices.
An Ada binding for Lua.
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada-bindings for 0mq
Simple audio synthesis library
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
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
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
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
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 Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes
- wiki-engine
- markdown
- mediawiki
- dotclear
Ada binding for the Pebble Time smartwatch