bare_runtime
ACATS
bare_runtime | ACATS | |
---|---|---|
1 | 2 | |
4 | 9 | |
- | - | |
10.0 | 5.1 | |
almost 2 years ago | 3 months ago | |
Ada | Ada | |
- | 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.
bare_runtime
-
October 2022 What Are You Working On?
Maybe the https://github.com/Fabien-Chouteau/bare_runtime crate would be a better option here.
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?
esp32c3-ada - Ada SDK for the ESP32C3 RISC-V SoC
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
tcladashell - Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
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.
coolgame1 - A game I'm making using the Ada programming language
liburing-ada - liburing/io_uring bindings for Ada
esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.
learnesp32 - Ada on ESP32-C3: Proof of concept
alire-index - Community index for the Alire project
gpr-rust - Rust binding for gpr