Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
☆67Feb 26, 2026Updated this week
Alternatives and similar repositories for safety-critical-rust-coding-guidelines
Users that are interested in safety-critical-rust-coding-guidelines are comparing it to the libraries listed below
Sorting:
- Documentation, code and information for the Safety Critical Rust Consortium☆140Updated this week
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Build and runs code in a sandboxed macOS environment☆35Dec 5, 2025Updated 2 months ago
- std-alternative prototyping / education library☆12Dec 1, 2025Updated 3 months ago
- ☆20Feb 9, 2026Updated 3 weeks ago
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated last year
- Rust macros that produce the name of the function they're invoked within.☆22May 11, 2022Updated 3 years ago
- A DynamoDB odm library for rust☆17Mar 2, 2025Updated last year
- Lock ordering enforcement at compile time in Rust☆23Mar 17, 2025Updated 11 months ago
- The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.☆24Jan 5, 2024Updated 2 years ago
- Turning the microbit into an air quality monitor☆37Jul 7, 2025Updated 7 months ago
- Execute KDL files!☆28Jul 12, 2024Updated last year
- `smol` integrations with `axum`☆22Feb 18, 2026Updated last week
- Harden your Rust with specifications.☆78Feb 19, 2026Updated last week
- This week in Databend: an elastic and reliable cloud warehouse☆25Mar 6, 2023Updated 2 years ago
- In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily…☆71Updated this week
- Fallible allocation support for Rust's Vec☆30May 14, 2024Updated last year
- A toolbox to check for typosquatting in package registries☆30Nov 10, 2023Updated 2 years ago
- A rust-embedded driver example / template☆23Jan 6, 2020Updated 6 years ago
- Rust bindings for libgccjit☆30Jan 30, 2026Updated last month
- A radioactive stabilization of the ptr_meta RFC.☆39Sep 29, 2025Updated 5 months ago
- Rust types for the Bluetooth HCI (Host Controller Interface) specification, and traits for implementing the Controller part of the interf…☆42Feb 11, 2026Updated 2 weeks ago
- ☆35Aug 5, 2020Updated 5 years ago
- impl fallible collections in rust, quite as describe in RFC 2116☆40Nov 7, 2024Updated last year
- Find out what platform your code is running on from Rust☆34Apr 13, 2022Updated 3 years ago
- libyaml transpiled to rust by c2rust☆35Mar 21, 2024Updated last year
- Safe generators on stable Rust.☆40Jul 1, 2023Updated 2 years ago
- Custom literals in Rust☆90Updated this week
- Pre-RFC for merging cargo-script into cargo☆40Updated this week
- A WeChat (and Weixin) chatbot skeleton in Python with queue/delayed messages support.☆12Jan 12, 2026Updated last month
- A programming language made to aid students who are taking AP Computer Science Principles☆14Aug 2, 2025Updated 7 months ago
- An HTTP client for the Rust AWS SDK that runs on Fastly Compute @ Edge☆10Nov 11, 2025Updated 3 months ago
- 🤖 Enterprise-grade AI agents for Flutter & React Native development with multi-agent orchestration, security (OWASP), accessibility (WCA…☆22Dec 21, 2025Updated 2 months ago
- A brief tour of the embassy framework☆49Jan 10, 2025Updated last year
- Some internal rustc tools made accessible☆47Oct 15, 2025Updated 4 months ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆181May 5, 2025Updated 9 months ago
- ☆55Aug 16, 2025Updated 6 months ago
- Veecle Operating System for system development.☆116Feb 23, 2026Updated last week
- Veil web application framework, be obsessed with encapsulation☆16Mar 25, 2023Updated 2 years ago