bare_runtime
Minimal Ada/SPARK run-time for embedded or other restricted targets (by Fabien-Chouteau)
esp32c3-ada
Ada SDK for the ESP32C3 RISC-V SoC (by jklmnn)
| bare_runtime | esp32c3-ada | |
|---|---|---|
| 1 | 2 | |
| 4 | 4 | |
| - | - | |
| 10.0 | 3.7 | |
| almost 2 years ago | 24 days ago | |
| Ada | Ada | |
| - | MIT 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.
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.
esp32c3-ada
Posts with mentions or reviews of esp32c3-ada.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-01.
-
April 2023 What Are You Working On?
I'm currently aiming to put esp32c3-ada and esp32c3-ada-bindings in a state where others can use these as an easy starting point for their ESP projects. I thereby also recognize that I don't have the time to go the full path to a productive application. So instead I try to bundle the efforts that other people might put in this SoC together so that everyone can benefit from that.
-
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.
What are some alternatives?
When comparing bare_runtime and esp32c3-ada you can also consider the following projects:
tcladashell - Ada binding to Tcl/Tk. Note, the copyright is GPL 2.0 + GMGPL
alire-index - Community index for the Alire project
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.
gpr-rust - Rust binding for gpr
learnesp32 - Ada on ESP32-C3: Proof of concept
esp-idf-ada-bindings - Ada bindings for the ESP32C3 RiscV SoC based on ESP-IDF
bare_runtime vs tcladashell
esp32c3-ada vs alire-index
bare_runtime vs coolgame1
esp32c3-ada vs esp32c3-direct-boot-example
bare_runtime vs esp32c3-direct-boot-example
esp32c3-ada vs gpr-rust
bare_runtime vs learnesp32
esp32c3-ada vs tcladashell
bare_runtime vs alire-index
esp32c3-ada vs esp-idf-ada-bindings
bare_runtime vs gpr-rust
esp32c3-ada vs learnesp32