Ada Ada

Open-source Ada projects categorized as Ada

Top 23 Ada Ada Projects

  1. septum

    Context-based code search tool

  2. 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.

    InfluxDB logo
  3. eepers

    Simple Turn-based Game

  4. alire

    Command-line tool from the Alire project and supporting library

  5. AdaDoom3

    Id Software's Id-tech-4-BFG in the Ada programming language.

  6. 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

  7. hac

    HAC Ada Compiler - a small, quick Ada compiler fully in Ada

  8. sdlada

    Ada 2022 bindings to SDL 2 (by ada-game-framework)

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. 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
  11. ada-awa

    Ada Web Application - Framework to build high performance secure web applications

  12. OpenGLAda

    Thick Ada binding for OpenGL and GLFW

  13. powerjoular

    PowerJoular allows monitoring power consumption of multiple platforms and processes. (by joular)

  14. 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)

  15. adawebpack

    Ada WASM Runtime and Bindings for Web API

  16. json-ada

    An Ada 2012 library for parsing JSON

  17. SweetAda

    Ada-language framework

  18. rp2040_hal

    Ada drivers for the Raspberry Pi RP2040 SoC

  19. AdaYaml

    experimental YAML 1.3 implementation in Ada

  20. protobuf

    The Google Protocol Buffers implementation in Ada (by reznikmm)

  21. dashera

    DasherA is a Data General DASHER D200/D210 terminal emulator

  22. ASFML

    Ada binding to the SFML library

  23. pico_examples

    Ada examples for the Raspberry Pi Pico

  24. libkeccak

    SHA-3 and other Keccak related algorithms in SPARK/Ada.

  25. Renaissance-Ada

    Tooling for analysis and manipulation of Ada software

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Ada Ada discussion

Log in or Post with

Ada Ada related posts

  • Show HN: Getada: rustup-like installer for Ada's toolchain/package manager

    8 projects | news.ycombinator.com | 23 Apr 2024
  • Alire 2.0 Released

    1 project | news.ycombinator.com | 13 Mar 2024
  • November 2023 What Are You Working On?

    1 project | /r/ada | 4 Nov 2023
  • ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation

    1 project | /r/sfml | 10 Oct 2023
  • Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico

    1 project | /r/ada | 16 Jun 2023
  • June 2023 What Are You Working On?

    5 projects | /r/ada | 2 Jun 2023
  • New project: Alice

    2 projects | /r/ada | 16 May 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 14 Jun 2025
    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 →

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

Sponsored
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.
www.influxdata.com

Did you know that Ada is
the 84th most popular programming language
based on number of references?