InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 23 Ada Ada Projects
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Project mention: Nvidia Security Team: "What if we just stopped using C?" (2022) | news.ycombinator.com | 2025-02-13 -
-
-
powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes. (by joular)
-
FreeRTOS-Ada
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)
-
-
-
-
-
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Ada Ada discussion
Ada Ada related posts
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
-
Alire 2.0 Released
-
November 2023 What Are You Working On?
-
ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation
-
Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico
-
June 2023 What Are You Working On?
-
New project: Alice
-
A note from our sponsor - InfluxDB
www.influxdata.com | 14 Jun 2025
Index
What are some of the best open-source Ada projects in Ada? This list will help you:
# | Project | Stars |
---|---|---|
1 | septum | 386 |
2 | eepers | 369 |
3 | alire | 326 |
4 | AdaDoom3 | 268 |
5 | spark-by-example | 160 |
6 | hac | 143 |
7 | sdlada | 123 |
8 | RecordFlux | 115 |
9 | ada-awa | 101 |
10 | OpenGLAda | 96 |
11 | powerjoular | 84 |
12 | FreeRTOS-Ada | 72 |
13 | adawebpack | 63 |
14 | json-ada | 44 |
15 | SweetAda | 45 |
16 | rp2040_hal | 43 |
17 | AdaYaml | 41 |
18 | protobuf | 39 |
19 | dashera | 38 |
20 | ASFML | 38 |
21 | pico_examples | 37 |
22 | libkeccak | 34 |
23 | Renaissance-Ada | 32 |