Context-based code search tool
- septum
- text
- search-in-text
- grep
Repository Index
47,133 repositories indexed
1–24 of 73 · Most stars
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
This project is obsolete is no longer developed, maintained or serviced!
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
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 secure and high performances microkernel for building secure MCU-based IoTs
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
An Ada 2012 library for parsing JSON
- ada
- json-ada
- json
An Ada-oriented GUI
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
The PragmAda Reusable Components
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Ada Database Objects
Collection of basic math routines in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
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.
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Matreshka Project