tcladashell
ACATS
tcladashell | ACATS | |
---|---|---|
2 | 2 | |
9 | 9 | |
- | - | |
0.0 | 5.1 | |
about 1 year ago | 3 months ago | |
Ada | Ada | |
GNU General Public License v3.0 only | GNU General Public License v3.0 or later |
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.
tcladashell
-
October 2022 What Are You Working On?
Working on Alire version of tash (a.k.a tcladashell, but since the GPR is tash.gpr I’ve adopted the recommendation for the crate name)
-
Depending on external library in GPRBuild project
There are slightly different options for static and shared libraries. My library project tcladashell has a generated tash_options.gpr which on a Debian system contains amongst other things
ACATS
-
October 2022 What Are You Working On?
Updated my fork of ACATS - up to 4.1AA, 4.1BB coming soon.
-
April 2022 What Are You Working On?
Updated the ACATS Grading for ACATS 4.1Y.
What are some alternatives?
gpr-rust - Rust binding for gpr
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
esp32c3-ada - Ada SDK for the ESP32C3 RISC-V SoC
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.
bare_runtime - Minimal Ada/SPARK run-time for embedded or other restricted targets
liburing-ada - liburing/io_uring bindings for Ada
learnesp32 - Ada on ESP32-C3: Proof of concept
coolgame1 - A game I'm making using the Ada programming language
esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.