Ada Ada

Open-source Ada projects categorized as Ada

Top 23 Ada Ada Projects

  • septum

    Context-based code search tool

  • Project mention: Code Search Is Hard | news.ycombinator.com | 2024-04-10

    https://github.com/pyjarrett/septum

    The hardest part about getting code search right imo is grabbing the right amount of surrounding context, which septum is aimed at solving on a per-file basis.

    Another one I'm surprised hasn't been mentioned is stack-graphs (https://github.com/github/stack-graphs), which tries to incrementally resolve symbolic relationships across the whole codebase. It powers github's cross-file precise indexing and conceptually makes a lot of sense, though I've struggled to get the open source version to work

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

  • 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

  • SaaSHub

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

    SaaSHub 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

  • 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

  • dashera

    DasherA is a Data General DASHER D200/D210 terminal emulator

  • AdaYaml

    experimental YAML 1.3 implementation in Ada

  • 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

  • ASFML

    Ada binding to the SFML library

  • Project mention: ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation | /r/sfml | 2023-10-10
  • protobuf

    The Google Protocol Buffers implementation in Ada (by reznikmm)

  • pico_examples

    Ada examples for the Raspberry Pi Pico

  • Renaissance-Ada

    Tooling for analysis and manipulation of Ada software

  • 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 - SaaSHub
    www.saashub.com | 20 Jun 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

Project Stars
1 septum 370
2 alire 268
3 AdaDoom3 250
4 spark-by-example 150
5 sdlada 108
6 hac 105
7 RecordFlux 102
8 ada-awa 93
9 OpenGLAda 92
10 cortex-gnat-rts 60
11 orka 58
12 powerjoular 49
13 adawebpack 44
14 json-ada 39
15 dashera 37
16 AdaYaml 37
17 rp2040_hal 35
18 libkeccak 33
19 SweetAda 32
20 ASFML 30
21 protobuf 29
22 pico_examples 28
23 Renaissance-Ada 27

Sponsored
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