SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
1–24 of 41 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
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
A G-code parser and CNC controller (in Ada)
Ada-language framework
- ada
- ada-language
- arm
- avr
An Ada-oriented GUI
Apollo 11 lunar lander simulator (Ada/Gtk/Cairo)
Ada support for OpenAPI code generator
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
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
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
GEneric Sprite and Tile Engine
Ada binding for the Pebble Time smartwatch
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.
Square Inch Synthesizer
GNAT Components Collection – Bindings to C libraries
Apache Kafka Ada client library, based off of librdkafka
A set of Ada components to allow 3D simulations, games and GUI's in Ada.
Ada client library for ROS2/RCL
Ada interface to the readline library
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output