|5 days ago||9 days ago|
|GNU General Public License v3.0 or later||GNU General Public License v3.0 or later|
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.
Proofs and specifications
1 project | reddit.com/r/RISCV | 13 Mar 20221 project | reddit.com/r/kernel | 13 Mar 20221 project | reddit.com/r/computerscience | 13 Mar 20221 project | reddit.com/r/seL4 | 13 Mar 2022
On Hubris and Humility: developing an OS for robustness in Rust [video]
3 projects | news.ycombinator.com | 4 Dec 2021
State in a smartphone: Inside Ukraine’s effort to replace bureaucracy with an app
1 project | reddit.com/r/europe | 13 Jul 2021
Drew DeVault's take on rewriting everything in rust
11 projects | reddit.com/r/linux | 18 Feb 2021
Will Hare replace C? Or Rust? Or Zig? Or anything else?
10 projects | news.ycombinator.com | 3 May 2022
What is currently missing from https://github.com/cross-rs/cross ?
a glibc question
1 project | reddit.com/r/rust | 30 Apr 2022
Compile to musl using this: https://github.com/cross-rs/cross
After working on our Godot + Rust game fulltime for one year it is now up on Steam
9 projects | reddit.com/r/rust | 29 Apr 2022
But the thing is, we have to manually test every build via Steam anyway. Sometimes weird things happen, and at least playing through some part of the game is IMO necessary. I've spent quite a bit of time trying to use cross for cross compiling, but the rabbit hole when it comes to building dynamic libraries seems to go deeper than I'd like, and ultimately couldn't make this work to work on all combinations of all platforms (i.e. using cross on both linux and windows).
Compiling in chroot? (for security)
3 projects | reddit.com/r/rust | 23 Apr 2022
Maybe Cross is something to consider? I don't know how much of a sandbox it is, but it runs Cargo inside a Docker container. It has the same CLI as Cargo, you just have to write cross instead of cargo in the terminal.
5 projects | reddit.com/r/linuxmemes | 15 Apr 2022
what are your favourite tools when deving with Rust?
1 project | reddit.com/r/rust | 6 Apr 2022
How to make signal-rs run on a musl system?
3 projects | reddit.com/r/rust | 24 Mar 2022
Questions about running Rust programs on Mipsel router
1 project | reddit.com/r/rust | 21 Mar 2022
Are you using cross? They may have a mipsel container you can use, then just replace the linker (if you even need to).
NPM malware and what it could imply for Cargo
17 projects | reddit.com/r/rust | 18 Mar 2022
I wonder if using something like cross-rs would help.
How to generate executable binary with test functions from project(equivalent to `cargo test`)?
1 project | reddit.com/r/rust | 26 Feb 2022
Slightly related project: https://github.com/cross-rs/cross
What are some alternatives?
dockcross - Cross compiling toolchains in Docker images
termux-adb-fastboot - android adb-fastboot tools for termux
rusqlite - Ergonomic bindings to SQLite for Rust
opencv-rust - Rust bindings for OpenCV 3 & 4
plotters - A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
PrusaSlicer-ARM.AppImage - PrusaSlicer packaged in an ARM AppImage for the Pi 4. Pre-built AppImages located within releases.
rust-sfml - SFML bindings for Rust
WoeUSB - A Microsoft Windows® USB installation media preparer for GNU+Linux
seL4 - The seL4 microkernel
toolbox - The Docker Toolbox
rustbreak - A simple, fast and easy to use self-contained single file storage for Rust
hubris - A lightweight, memory-protected, message-passing kernel for deeply embedded systems.