gpr-rust
ACATS
gpr-rust | ACATS | |
---|---|---|
2 | 2 | |
13 | 9 | |
- | - | |
3.8 | 5.1 | |
about 1 month ago | 3 months ago | |
Rust | Ada | |
Apache License 2.0 | 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.
gpr-rust
-
March 2023 What Are You Working On?
I'm currently working on improving gpr-rust, a Rust crate that aims to simplify the usage of Ada libraries in cargo.
-
October 2022 What Are You Working On?
I recently published gpr-rust which allows an easier use of Ada libraries in Rust. And I'll continue working on my ESP32C3-Ada port.
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?
tcladashell - Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
distributing-gcc - Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
alire-index - Community index for the Alire project
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.
esp32c3-direct-boot-example - Example of ESP32-C3 (rev. 3 and later) "direct boot" feature.
liburing-ada - liburing/io_uring bindings for Ada
esp32c3-ada - Ada SDK for the ESP32C3 RISC-V SoC
bare_runtime - Minimal Ada/SPARK run-time for embedded or other restricted targets
learnesp32 - Ada on ESP32-C3: Proof of concept
coolgame1 - A game I'm making using the Ada programming language