redox-os / cookbook Star 43 Code Issues Pull requests Mirror of https://gitlab.redox-os.org/redox-os/cookbook c linux rust recipes automation cpp recipe porting posix port bsd gnu programs package-management package-system software-ports Updated Apr 25, 2026 Rust
eisbaw / nucleus-rs Star 1 Code Issues Pull requests A Rust pre-compiler for programming massively parallel heterogeneous systems rust embedded compiler firmware hpc scheduling porting asip Updated Jun 23, 2026 Rust
duguorong009 / personal-stark101-rs Star 1 Code Issues Pull requests Port the original "stark101" tutorial(python) to Rust version rust tutorial porting python3 rust-lang stark zkp zkstark Updated Sep 1, 2025 Rust
Jakeelamb / bowtie2-rs Star 1 Code Issues Pull requests Lane-by-lane Rust port of Bowtie2 with parity gates before core aligner work rust bioinformatics porting alignment bowtie2 Updated Jun 10, 2026 Rust
relectrum-rs / relectrum Star 1 Code Issues Pull requests A bitcoin light wallet powered by Rust. electron rust elm porting electrum webapp Updated Feb 8, 2017 Rust
MikeGitIt / jqrs Star 0 Code Issues Pull requests A pure rust port of jq done via the Velociportr automated pipeline rust productivity json porting clang jq rust-lang code-generation c-language Updated Jun 1, 2026 Rust