Context-based code search tool
- septum
- text
- search-in-text
- grep
Repository Index
47,133 repositories indexed
1–24 of 116 · Most stars
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Server implementing the Microsoft Language Protocol for Ada and SPARK
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
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
SPARK 2014 re-implementation of the TweetNaCl crypto library
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
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada Web Application - Framework to build high performance secure web applications
Ada Bare Bones OS development tutorial source code
- ada
- port
- bare-bones-tutorial
- bare-bones
This project is obsolete is no longer developed, maintained or serviced!
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
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
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Source repository for the GNAT Bare Metal BSPs
An Ada binding generator from SVD descriptions for bare board ARM devices.
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
GNATcoverage: Coverage Analysis Tool
The Google Protocol Buffers implementation in Ada
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
TOML parser for Ada