app-template
Quickly set up a `probe-rs` + `defmt` + `flip-link` embedded project (by knurling-rs)
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs. (by project-oak)
app-template | rust-verification-tools | |
---|---|---|
2 | 2 | |
287 | 241 | |
0.7% | - | |
5.5 | 3.1 | |
6 months ago | about 2 years ago | |
Rust | Rust | |
Apache License 2.0 | 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.
app-template
Posts with mentions or reviews of app-template.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-05-02.
-
stm32 f4 discovery board does not want to cooperate with me
I started with https://github.com/knurling-rs/app-template and added the hal for my boards.
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
Ferrous's embedded Rust tooling is outstanding. Ie its [Knurling App template](https://github.com/knurling-rs/app-template), and associated Probe-run, Deft, and flip-link.
These make flashing and debugging Rust embedded very easy - easier than any embedded toolchain I've seen besides Arduino.
rust-verification-tools
Posts with mentions or reviews of rust-verification-tools.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-02-02.
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
I hope someone also picks up the work started in https://project-oak.github.io/rust-verification-tools/ - the idea of having a `cargo verify` tool that supports different backends is great for bridging the academic PoCs with something that an average programmer can integrate into the dev workflow.
- Magma, a project I hope will make provably correct software possible for everyone