Ada Ada

Open-source Ada projects categorized as Ada

Top 23 Ada Ada Projects

  • AdaDoom3

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

    Project mention: ADA for reliable 2D game | /r/ada | 2022-08-30
  • alire

    Command-line tool from the Alire project and supporting library

    Project mention: MACbook M1 - alr, gnat development troubles | /r/ada | 2023-05-06

    Join the club! And see this issue.

  • InfluxDB

    Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.

  • 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

    Project mention: Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm | | 2022-11-18
  • sdlada

    Ada 2012 bindings to SDL 2

    Project mention: ADA for reliable 2D game | /r/ada | 2022-08-30 - You can create a texture and get access to the pixels at least. - not looked at this.

  • RecordFlux

    Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

  • OpenGLAda

    Thick Ada binding for OpenGL and GLFW

    Project mention: OpenGLAda is unmaintained | /r/ada | 2022-09-08

    With a heavy heart, I decided to stop maintaining OpenGLAda. I maintained this library for ten years without using it for anything, and finally motivation ran out.

  • ada-awa

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

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  • steamsky

    Mirror of roguelike in sky with a steampunk setting

    Project mention: Sharing Saturday #446 | /r/roguelikedev | 2022-12-23

    And standard weekly report. In the stable version, a real standard. No new bugs found this week, still one which I can't reproduce awaits for help.

  • hac

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

    Project mention: PTC ObjectAda 10.4 is now available | /r/ada | 2022-07-09
  • cortex-gnat-rts

    This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

    Project mention: Writing Startup Code for STM32 in Completely Ada | /r/ada | 2022-12-12

    Also, u/simonjwright 's cortex-gnat-rts was most helpful.

  • orka

    The OpenGL 4.6 Rendering Kernel in Ada 2012

    Project mention: Does This Language Exist? | /r/ProgrammingLanguages | 2023-05-22
  • adawebpack

    Ada WASM Runtime and Bindings for Web API

    Project mention: AdaWebPack 22.1 release | /r/ada | 2022-11-26

    We have released AdaWebPack 22.1.0.

  • json-ada

    An Ada 2012 library for parsing JSON

    Project mention: February 2023 What Are You Working On? | /r/ada | 2023-02-01

    Due to mainly lack of time with my research and students, I'd love if someone can help me in replacing GNATColl's JSON with another library (typically json-ada or any other light/nodependency json parser). See the issue on github if anyone interested.

  • dashera

    DasherA is a Data General DASHER D200/D210 terminal emulator

  • AdaYaml

    experimental YAML 1.3 implementation in Ada

    Project mention: How good is Ada for implementing a library to be consumed by C/C++ programs? | /r/ada | 2022-09-08

    Once upon a time, I have built AdaYaml, which can be compiled to be used as drop-in for the libyaml C library, see this GPR project and the corresponding sources. This shows that you can implement an existing C API with Ada.

  • libkeccak

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

    Project mention: How do I import the GCC intrinsic __builtin_ia32_paddd256 into Ada? | /r/ada | 2022-12-19

    This file has an AVX2 binding for 64x4 vector operations that you could adapt:

  • powerjoular

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

    Project mention: February 2023 What Are You Working On? | /r/ada | 2023-02-01

    I'll be preparing to release a new version of my power software: PowerJoular.

  • Renaissance-Ada

    Tooling for analysis and manipulation of Ada software

  • CoTerminalApps

    [deprecated] Retro ascii puzzles & games. Please use "SliderPuzzles" or "RetroArcade" instead.

  • pico_examples

    Ada examples for the Raspberry Pi Pico

  • protobuf

    The Google Protocol Buffers implementation in Ada (by reznikmm)

  • rp2040_hal

    Ada drivers for the Raspberry Pi RP2040 SoC

    Project mention: Ada targeting RPI | /r/ada | 2023-04-11

    You can go bare metal for the raspberry pico. Maybe it's also interesting to you:


    Ada binding to the SFML library

    Project mention: ADA for reliable 2D game | /r/ada | 2022-08-30

    Unfortunately, Ada is not used for professional game development, but it will probably help a single developer to develop a bug-free game more than C++. For a 2D game, one good option as toolkit is the binding to SFML.

  • SaaSHub

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

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). The latest post mention was on 2023-05-22.

Ada Ada related posts


What are some of the best open-source Ada projects in Ada? This list will help you:

Project Stars
1 AdaDoom3 244
2 alire 209
3 spark-by-example 145
4 sdlada 97
5 RecordFlux 91
6 OpenGLAda 85
7 ada-awa 85
8 steamsky 84
9 hac 79
10 cortex-gnat-rts 55
11 orka 50
12 adawebpack 40
13 json-ada 35
14 dashera 34
15 AdaYaml 31
16 libkeccak 30
17 powerjoular 26
18 Renaissance-Ada 26
19 CoTerminalApps 25
20 pico_examples 24
21 protobuf 23
22 rp2040_hal 23
23 ASFML 21
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives