AURA vs PragmARC

AURA

The AURA Reference Implementation (by annexi-strayline)

Suggest topics

Source Code

Suggest alternative

Edit details

PragmARC

The PragmAda Reusable Components (by jrcarter)

Suggest topics

Source Code

Suggest alternative

Edit details

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

AURA		PragmARC
	Project
2	Mentions	11
20	Stars	26
-	Growth	-
4.9	Activity	4.3
7 months ago	Latest Commit	about 1 month ago
Ada	Language	Ada
BSD 3-clause "New" or "Revised" License	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

AURA

Posts with mentions or reviews of AURA. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-11-22.

Ada development tools: clarifying the pros and cons of the different options
3 projects | /r/ada | 22 Nov 2022

Also we have a BSD-licensed package manager/build tool here: https://github.com/annexi-strayline/AURA, the readme points to the docs which have a getting started/hello world example. With AURA you don't need gprbuild or any of those things, just GNAT. However ALIRE has a bigger selection of "crates", and is a bit more main-stream. Use what you like!
Introducing AURA - A(nother) native package manager and build system for Ada
8 projects | /r/ada | 28 Sep 2021

• [The AURA CLI git repo](https://github.com/annexi-strayline/AURA) • [The official docs](https://aura-docs.readthedocs.io/) • [The ASAP repo](https://github.com/annexi-strayline/ASAP)

PragmARC

Posts with mentions or reviews of PragmARC. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-31.

Books to learn Ada generics?
1 project | /r/ada | 30 Mar 2023

Note also that much of the standard library is generic, so studying it can be instructive. There are also many free libraries available, such as the PragmAda Reusable Components that contain many generic units.
Ada How to print what file/line/etc... you are at?
1 project | /r/ada | 25 Oct 2022

What you're looking for (file name, line number) is very compiler dependent, and not portable. However, it's possible to get the current unit name portably and automatically; see PragmARC.Reflection
Float'Image
1 project | /r/ada | 9 Jul 2022

PragmARC.Images contains
June 2022 What Are You Working On?
11 projects | /r/ada | 31 May 2022

Improvements to the PragmAda Reusable Components
April 2022 What Are You Working On?
14 projects | /r/ada | 31 Mar 2022

Some changes to the description of the King language. Some improvements and a new component in the PragmAda Reusable Components. Writing a summary of the FOSDEM presentation on [Ada GUI][https://github.com/jrcarter/Ada_GUI) for the Ada User Journal.
March 2022 What Are You Working On?
14 projects | /r/ada | 28 Feb 2022

Installed ObjectAda 10.3. The PragmAda Reusable Components now compile unchanged with both GNAT 11.2.0 and ObjectAda 10.3.
Confused about how controlled types work
2 projects | /r/ada | 15 Feb 2022

You can use a "safe pointer" pkg such as PragmARC.Safety.Pointers.
Converting `Ada.Containors.Vectors.Vector` into C array
1 project | /r/ada | 15 Feb 2022

Conversions between vectors and their equivalent fixed arrays are missing operations in the Vectors pkg. You can use PragmARC.Conversions.Vectors for this. As is stated in the comments:
February 2022 What Are You Working On?
9 projects | /r/ada | 2 Feb 2022

I did some work on Ada GUI and incorporated D. Norte de Moraes' 512- and 1024-bit versions of Threefish into the PragmARCs. I also prepared a presentation on Ada GUI for FOSDEM.
Introducing AURA - A(nother) native package manager and build system for Ada
8 projects | /r/ada | 28 Sep 2021

I have looked through the documentation, and do not see how one makes existing code into an AURA repository, whether dealing with code on the local file system, or an existing on-line git repository such as the PragmARCs.

What are some alternatives?

When comparing AURA and PragmARC you can also consider the following projects:

libadalang - Ada semantic analysis library.

King - An informal decsription of the King software-engineering language

ASAP - The ANNEXI-STRAYLINE AURA Public Repository

Honki-Tonks-Zivilisationen - Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.

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

distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.

Ada_GUI - An Ada-oriented GUI

Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi

drivers - An assortment of drivers

zip-ada - Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.

alire-old-discussion - Design of an Ada language library repository

gcc-darwin-arm64 - GCC master branch for Darwin with experimental support for Arm64. Currently GCC-14.0.1 [April 2024]