ACATS vs King

ACATS

The Ada Conformity Assessment Test Suite, customised for GCC. (by simonjwright)

Suggest topics

Source Code

Suggest alternative

Edit details

King

An informal decsription of the King software-engineering language (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

ACATS		King
	Project
2	Mentions	8
9	Stars	1
-	Growth	-
5.1	Activity	4.2
3 months ago	Latest Commit	11 months ago
Ada	Language
GNU General Public License v3.0 or later	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.

ACATS

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

October 2022 What Are You Working On?
9 projects | /r/ada | 1 Oct 2022

Updated my fork of ACATS - up to 4.1AA, 4.1BB coming soon.
April 2022 What Are You Working On?
14 projects | /r/ada | 31 Mar 2022

Updated the ACATS Grading for ACATS 4.1Y.

King

Posts with mentions or reviews of King. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-07-01.

July 2023 What Are You Working On?
4 projects | /r/ada | 1 Jul 2023

Improvements to the King informal description
April 2023 What Are You Working On?
3 projects | /r/ada | 1 Apr 2023

[OT] Simplified exceptions and exception handling in King
June 2022 What Are You Working On?
11 projects | /r/ada | 31 May 2022

[OT] Additions to the informal description of King and contribution to the King RM
May 2022 What Are You Working On?
12 projects | /r/ada | 1 May 2022

Work on the King RM and the informal description of King
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

Added some features and revised the informal description of King, and worked with @Blady-com on early steps towards a KRM.
What Did You Work On in 2021?
15 projects | /r/ada | 30 Dec 2021

The only things I mentioned in What did You Work On posts are Ada GUI and King.
Can I find an extensive list of vulnerabilities that ada prevents? and how it prevents them?
2 projects | /r/ada | 24 Nov 2021

Finally, a couple of Ada people are working on Ada-inspired languages: Guest's (Lucretia on here) Orenda and Carter's (me) King. You might want to look at what they think.

What are some alternatives?

When comparing ACATS and King you can also consider the following projects:

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

hac - HAC Ada Compiler - a small, quick Ada compiler fully in Ada

ews - The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.

alire - Command-line tool from the Alire project and supporting library

liburing-ada - liburing/io_uring bindings for Ada

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

bare_runtime - Minimal Ada/SPARK run-time for embedded or other restricted targets

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

esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.

Ada_GUI - An Ada-oriented GUI

alire-index - Community index for the Alire project

drivers - An assortment of drivers