SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Repository Index
47,133 repositories indexed
1–24 of 58 · Most stars
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 bindings for the GTK+ graphical library.
Thick Ada binding for OpenGL and GLFW
- glfw
- ada
- opengl-bindings
- ada-binding
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
An Ada binding generator from SVD descriptions for bare board ARM devices.
A G-code parser and CNC controller (in Ada)
An Ada binding for Lua.
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Ada-bindings for 0mq
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
GLOBE_3D: a real-time 3D Engine written in Ada
- ada
- ada-language
- 3d-engine
- opengl
GEneric Sprite and Tile Engine
Ada binding for the Pebble Time smartwatch
Square Inch Synthesizer
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
GNAT Components Collection – Bindings to C libraries
Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
Ada bindings for the Microsft WinRT Api
- winrt
- ada-winrt
- gnat
- ada
Ada binding for OpenGL/WebGL