Simple Turn-based Game
Repository Index
47,133 repositories indexed
1–24 of 96 · Most stars
Context-based code search tool
Command-line tool from the Alire project and supporting library
Id Software's Id-tech-4-BFG in the Ada programming language.
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Ada 2022 bindings to SDL 2
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
Ada Web Application - Framework to build high performance secure web applications
Thick Ada binding for OpenGL and GLFW
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada Bare Bones OS development tutorial source code
Ada WASM Runtime and Bindings for Web API
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
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)
A secure and high performances microkernel for building secure MCU-based IoTs
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
Ada-language framework
A model-based flight software framework for Ada
An Ada 2012 library for parsing JSON
The Google Protocol Buffers implementation in Ada
Ada binding to the SFML library
SHA-3 and other Keccak related algorithms in SPARK/Ada.