spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications. (by AdaCore)
RIIR
why not Rewrite It In Rust (by ansuz)
spark2014 | RIIR | |
---|---|---|
4 | 17 | |
239 | 616 | |
2.1% | - | |
9.9 | 3.5 | |
6 days ago | 8 months ago | |
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.
spark2014
Posts with mentions or reviews of spark2014.
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)
SPARK is available as open source and can be installed using Alire.
-
Community edition and FSF
gnatprove is open source. The whole SPARK is Open Source. :) The only difference between SPARK Pro and SPARK community is CodePeer tool included into SPARK Pro. Anything other (gnatprove, all 3 provers) are Open Source. Also, SPARK isn't owned by FSF, but by AdaCore.
-
Summary after Four Months with Ada — Programming with Ada documentation
The SPARK tool set is on GitHub and is GPL (https://github.com/AdaCore/spark2014). Note: Even though the SPARK tool set is under GPL, it only analyzes code and does not affect the binaries you produce with the compiler. This means it's possible to create proprietary SPARK software using the FSF GNAT compiler.
-
Code quality for hobby projects
"Proving" the correctness of the source code with GNATprove (SPARK) - with FSF GNAT. And preferably on the pipeline - Continuous Proving :)
RIIR
Posts with mentions or reviews of RIIR.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-30.
-
First Rust Code Shows Up in the Windows 11 Kernel
It was, imo, inflated by the comments pointing to the RiiR sentiments, not the comments to that effect itself. Even repositories 'collecting' such instances (e.g. https://github.com/ansuz/RIIR) are largely not collections of making anyone to change their own software but just projects that happen to be written in Rust. (these out-of-scope issues are not being tagged appropriately). Overhyped controversy by all sides.
-
Stroustrup: “C++ is bigger than ever”
Dunno what news you have missed but there's entire internet brigades dedicated sorely to spam projects with "rewrite it in rust". There's even a repo documenting this.
-
Fish (shell) porting to Rust from C++
The OP post in the link references https://transitiontech.ca/random/RIIR (Rewrite it in Rust) as a meme.
-
Ruff: A new, fast and correct Python checker/linter
Yes, one can hope, but I wouldn't bet on it and I wouldn't suggest to RIIR. I don't want to be that person that pops up uncalled for and asks to Rewrite It In Rust. One might think "Oh it is just one additional issue to the ~2.2k already opened mypy issues" if they have at all realized that there are that many open issues.
- NVIDIA Security Team: "What if we just stopped using C?" (This is not about Rust)
-
Linus Torvalds: Rust will go into Linux 6.1
It's died down a bit now, but there is/was a non-trivial amount of stupidity from Rust advocates whenever someone ran into a memory problem with C/C++ to "re-write it in rust" or to just rewrite things in general. (IE https://transitiontech.ca/random/RIIR)
-
Τι γλώσσες ξέρετε; Πως τις μάθατε;
Or even better, RIIR the Windows kernel!
- Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages. Rust’s rich type system and ownership model guarantee memory-safety and thread-safety — enabling you to e
-
Would a rust rewrite solve the security issues of x.org?
What is it with people asking for rust rewrites of Xorg this week? https://github.com/ansuz/RIIR/issues/83
-
I’m waiting.
The second language is Rust, and I went with that partly because rewriting C in Rust is a meme in itself, and in part because it was much easier to think of how to nicely fix that bug in Rust than it was in C (just add a = to the range to be end-inclusive).
What are some alternatives?
When comparing spark2014 and RIIR you can also consider the following projects:
dockertronics
rust-learning - A bunch of links to blog posts, articles, videos, etc for learning Rust
radatracer
ziglyph - Unicode text processing for the Zig programming language.
radatracer - Mirror of https://gitlab.com/1ma/radatracer
arocc - A C compiler written in Zig.
Base_64 - A package for handling Base64 strings.
wtfiles - Files that make you go WTF!
gnatcoverage - GNATcoverage: Coverage Analysis Tool
awesome-embedded-rust - Curated list of resources for Embedded and Low-level development in the Rust programming language
M-1 - An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)
cc-rs - Rust library for build scripts to compile C/C++ code into a Rust library