The Ada ecosystem?

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

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • void-packages

    The Void source packages collection

  • I was able to install the GCC version of GNAT simply enough through my system package manager (using Void), but it looks like that is the only package available. I would also need the GPRBuild build system, the Ada language server (for my editor) and alire (for development packages). I could download a precompiled mystery binary, but I want to install them properly with a package manager. Since everything is bootstrappable I guess I have to to port these applications to the Void repos myself, right? How do other GNU/Linux users handle this?

  • vim-ada

    Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE

  • In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.

  • 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
  • awesome-ada

    A curated list of awesome resources related to the Ada and SPARK programming language

  • In terms of bootstrapping your environment and getting started, I'd recommend looking at Vim-Ada and Awesome Ada. I also tried to write up some practical advice from my experience, which might be helpful.

  • gnatstudio

    GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

  • "https://github.com/AdaCore/gnatstudio/issues/79"

  • fpm

    Effing package management! Build packages for multiple platforms (deb, rpm, etc) with great ease and sanity.

  • If you need to build packages for many platforms, a tool like fpm https://github.com/jordansissel/fpm can make things a little easier, at the expense of making your source package a bit nonstandard.

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