Ada Ada

Open-source Ada projects categorized as Ada
Edit details
Topics: ada-language ada2012 Linux advent-of-code Game
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
Sponsored

Top 23 Ada Ada Projects

  • alire

    Command-line tool from the Alire project and supporting library

    • Project mention: Show HN: Getada: rustup-like installer for Ada's toolchain/package manager | news.ycombinator.com | 2024-04-23

    > I don't know if this tool solves the problem

    Not yet but it's on my list as a "phase 2" of sorts for getada. I have an alpine VPS that I'm playing around with but the main issue is that while alire can be built for alpine, any compilers it pulls from its toolchain won't work with it since none of them are built against musl. We've been talking about it here https://github.com/alire-project/alire/issues/792#issuecomme...

  • AdaDoom3

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

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • 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

  • sdlada

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

    • Project mention: Show HN: Getada: rustup-like installer for Ada's toolchain/package manager | news.ycombinator.com | 2024-04-23

    Look at the "Linking" section https://github.com/ada-game-framework/sdlada

    I'm looking into getting it all automated through pragma's and gpr's.

  • hac

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

    • Project mention: November 2023 What Are You Working On? | /r/ada | 2023-11-04

    HAC's "Semantics" target now sets up identifier lists, a feature that happens to match the need for a smart editor's auto-complete feature. In particular, the LEA team seems to be happy about that new development.

  • RecordFlux

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

  • steamsky

    Mirror of a roguelike in sky with a steampunk setting

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS logo

  • ada-awa

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

  • OpenGLAda

    Thick Ada binding for OpenGL and GLFW

  • 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)

  • orka

    The OpenGL 4.6 Rendering Kernel in Ada 2012

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

  • powerjoular

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

  • adawebpack

    Ada WASM Runtime and Bindings for Web API

  • json-ada

    An Ada 2012 library for parsing JSON

  • AdaYaml

    experimental YAML 1.3 implementation in Ada

  • dashera

    DasherA is a Data General DASHER D200/D210 terminal emulator

  • rp2040_hal

    Ada drivers for the Raspberry Pi RP2040 SoC

  • libkeccak

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

  • SweetAda

    Ada-language framework

  • pico_examples

    Ada examples for the Raspberry Pi Pico

    • Project mention: Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico | /r/ada | 2023-06-16

    I'm having issues connecting the WS2812B with Raspberry Pi Pico. I'm trying to execute the example program https://github.com/JeremyGrosser/pico_examples/blob/master/ws2812_demo/src/main.adb

  • CoTerminalApps

    In December of 2022, I split these ascii puzzles & arcade games into 2 separate Apps: a) "SliderPuzzles" & b) "RetroArcade". Please get updates from there.

  • Renaissance-Ada

    Tooling for analysis and manipulation of Ada software

  • protobuf

    The Google Protocol Buffers implementation in Ada (by reznikmm)

  • 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 related posts

Index

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

Project Stars
1 alire 255
2 AdaDoom3 250
3 spark-by-example 150
4 sdlada 106
5 hac 102
6 RecordFlux 100
7 steamsky 91
8 ada-awa 90
9 OpenGLAda 90
10 cortex-gnat-rts 60
11 orka 57
12 powerjoular 45
13 adawebpack 44
14 json-ada 38
15 AdaYaml 37
16 dashera 37
17 rp2040_hal 34
18 libkeccak 33
19 SweetAda 30
20 pico_examples 28
21 CoTerminalApps 27
22 Renaissance-Ada 27
23 protobuf 26

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com