The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
PragmARC Alternatives
Similar projects and alternatives to PragmARC
-
distributing-gcc
Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
-
Honki-Tonks-Zivilisationen
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
-
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.
-
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
-
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.
-
zip-ada
Zip-Ada: a standalone, portable Ada library for .zip archives. Includes LZMA byte stream encoder & decoder pair.
-
embedded-dashboard-console
Implementation of an embedded dashboard console offering status views using LEDs, 5x7 matrix and OLED
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by simonjwright)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
PragmARC reviews and mentions
-
Books to learn Ada generics?
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?
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
PragmARC.Images contains
-
June 2022 What Are You Working On?
Improvements to the PragmAda Reusable Components
-
April 2022 What Are You Working On?
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?
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
You can use a "safe pointer" pkg such as PragmARC.Safety.Pointers.
-
Converting `Ada.Containors.Vectors.Vector` into C array
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?
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
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.
-
A note from our sponsor - WorkOS
workos.com | 23 Apr 2024
Stats
The primary programming language of PragmARC is Ada.
Sponsored