bare_runtime
Minimal Ada/SPARK run-time for embedded or other restricted targets (by Fabien-Chouteau)
learnesp32
Ada on ESP32-C3: Proof of concept (by JeremyGrosser)
bare_runtime | learnesp32 | |
---|---|---|
1 | 1 | |
4 | 1 | |
- | - | |
10.0 | 10.0 | |
almost 2 years ago | over 1 year ago | |
Ada | Ada | |
- | Apache License 2.0 |
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.
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
Posts with mentions or reviews of bare_runtime.
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?
Maybe the https://github.com/Fabien-Chouteau/bare_runtime crate would be a better option here.
learnesp32
Posts with mentions or reviews of learnesp32.
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?
My proof of concept is on GitHub at JeremyGrosser/learnesp32.
What are some alternatives?
When comparing bare_runtime and learnesp32 you can also consider the following projects:
esp32c3-ada - Ada SDK for the ESP32C3 RISC-V SoC
alire-index - Community index for the Alire project
tcladashell - Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
gpr-rust - Rust binding for gpr
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.
ACATS - The Ada Conformity Assessment Test Suite, customised for GCC.
bare_runtime vs esp32c3-ada
learnesp32 vs alire-index
bare_runtime vs tcladashell
learnesp32 vs gpr-rust
bare_runtime vs coolgame1
learnesp32 vs esp32c3-ada
bare_runtime vs esp32c3-direct-boot-example
learnesp32 vs esp32c3-direct-boot-example
bare_runtime vs alire-index
learnesp32 vs tcladashell
bare_runtime vs gpr-rust
bare_runtime vs ACATS