M-1
An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x) (by Blunk-electronic)
Base_64
A package for handling Base64 strings. (by OneWingedShark)
M-1 | Base_64 | |
---|---|---|
1 | 2 | |
31 | 1 | |
- | - | |
10.0 | 10.0 | |
over 4 years ago | over 7 years ago | |
Ada | Ada | |
GNU General Public License v3.0 only | - |
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.
M-1
Posts with mentions or reviews of M-1.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-07.
Base_64
Posts with mentions or reviews of Base_64.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-11-07.
-
NVIDIA Security Team: "What if we just stopped using C?" (This is not about Rust)
Here's a Base64 encoder/decoder I did several years ago, teaching myself the very basics of using SPARK. It's a bit less aesthetic than I'd like, but I think it does show how [relatively] easy it is to incorporate some level of correctness-proof.
What are some alternatives?
When comparing M-1 and Base_64 you can also consider the following projects:
spark2014 - SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
rustix - Safe Rust bindings to POSIX-ish APIs
wasmtime - A fast and secure runtime for WebAssembly
RIIR - why not Rewrite It In Rust