Summary after Four Months with Ada — Programming with Ada documentation

This page summarizes the projects mentioned and recommended in the original post on /r/programming

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • spark2014

    SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

    • The SPARK tool set is on GitHub and is GPL (https://github.com/AdaCore/spark2014). Note: Even though the SPARK tool set is under GPL, it only analyzes code and does not affect the binaries you produce with the compiler. This means it's possible to create proprietary SPARK software using the FSF GNAT compiler.

  • 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
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

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

    8 projects | news.ycombinator.com | 23 Apr 2024

  • Eepers – turn based game in ADA (Tsoding)

    1 project | news.ycombinator.com | 29 Mar 2024

  • "No way to prevent this" say users of only language where this regularly happens

    1 project | news.ycombinator.com | 20 Mar 2024

  • Alire 2.0 Released

    1 project | news.ycombinator.com | 13 Mar 2024

  • Ada 95: The Craft of Object-Oriented Programming

    2 projects | news.ycombinator.com | 2 Mar 2024