flba-eb
Follow
-
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedFeb 26, 2025 -
libc Public
Forked from rust-lang/libcRaw bindings to platform APIs for Rust
-
rust-lang-fork Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
cc-rs Public
Forked from rust-lang/cc-rsRust library for build scripts to compile C/C++ code into a Rust library
Rust Apache License 2.0 UpdatedFeb 8, 2025 -
ctest2 Public
Forked from JohnTitor/ctest2Automatic testing of FFI bindings for Rust
Rust Apache License 2.0 UpdatedFeb 5, 2025 -
dioxus Public
Forked from DioxusLabs/dioxusFullstack app framework for web, desktop, mobile, and more.
Rust Apache License 2.0 UpdatedJan 7, 2025 -
docsite Public
Forked from DioxusLabs/docsiteDioxuslabs.com documentation site
Rust UpdatedDec 23, 2024 -
safety-critical-rust-consortium Public
Forked from rustfoundation/safety-critical-rust-consortiumDocumentation, code and information for the Safety Critical Rust Consortium
Other UpdatedDec 16, 2024 -
wasmer Public
Forked from wasmerio/wasmer🚀 The leading Wasm Runtime supporting WASIX and WASI
Rust MIT License UpdatedDec 10, 2024 -
-
-
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Other UpdatedJul 15, 2024 -
rust_nix Public
Forked from nix-rust/nixRust friendly bindings to *nix APIs
Rust MIT License UpdatedMay 2, 2024 -
ankaios Public
Forked from eclipse-ankaios/ankaiosEclipse Ankaios provides workload and container orchestration for automotive High Performance Computing (HPC) software.
Rust Apache License 2.0 UpdatedSep 7, 2023 -
rust-errno Public
Forked from lambda-fairy/rust-errno💥 Cross-platform interface to the `errno` variable
Rust Apache License 2.0 UpdatedJul 31, 2023 -
cargo-bom Public
Forked from sensorfu/cargo-bomBill of Materials for Rust Crates
Rust MIT License UpdatedJul 26, 2023 -
rust_net2-rs Public
Forked from deprecrated/net2-rsExtensions for standard networking types
Rust Apache License 2.0 UpdatedJun 15, 2023 -
wgpu Public
Forked from gfx-rs/wgpuSafe and portable GPU abstraction in Rust, implementing WebGPU API.
Rust Apache License 2.0 UpdatedJun 14, 2023 -
rust-ctrlc Public
Forked from Detegr/rust-ctrlcEasy Ctrl-C handler for Rust projects
Rust Other UpdatedJun 14, 2023 -
rustix Public
Forked from bytecodealliance/rustixSafe Rust bindings to POSIX-ish APIs
Rust Other UpdatedJun 14, 2023 -
ecal-rs Public
Forked from eclipse-ecal/ecal-rsRust bindings to the Continental eCAL API
Rust Apache License 2.0 UpdatedMay 31, 2023 -
rust_libloading Public
Forked from nagisa/rust_libloadingBindings around the platform's dynamic library loading primitives with greatly improved memory safety.
Rust ISC License UpdatedApr 5, 2023 -
rust_backtrace-rs Public
Forked from rust-lang/backtrace-rsBacktraces in Rust
Rust Other UpdatedMar 10, 2023 -
-
rust_socket2 Public
Forked from rust-lang/socket2Advanced configuration options for sockets.
Rust Apache License 2.0 UpdatedJan 16, 2023 -
getrandom Public
Forked from rust-random/getrandomA small cross-platform library for retrieving random data from (operating) system source
Rust Apache License 2.0 UpdatedDec 24, 2022 -
rustc-dev-guide Public
Forked from rust-lang/rustc-dev-guideA guide to how rustc works and how to contribute to it.
HTML Apache License 2.0 UpdatedOct 27, 2022