Safety-Critical Rust Consortium
@safetycriticalrust.bsky.social
You can submit the application in parallel to join one of our subcommittees!
- Coding Guidelines
- Liaison
- Tooling
Click here to do so:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
Click here to do so:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 28, 2025 at 11:23 PM
You can submit the application in parallel to join one of our subcommittees!
- Coding Guidelines
- Liaison
- Tooling
Click here to do so:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
Click here to do so:
github.com/rustfoundati...
You can then join a subcommittee of interest:
- coding guidelines
- liaison
- tooling
By submitting an issue here:
github.com/rustfoundati...
- coding guidelines
- liaison
- tooling
By submitting an issue here:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 25, 2025 at 9:14 PM
You can then join a subcommittee of interest:
- coding guidelines
- liaison
- tooling
By submitting an issue here:
github.com/rustfoundati...
- coding guidelines
- liaison
- tooling
By submitting an issue here:
github.com/rustfoundati...
If you're interested in joining the Safety-Critical Rust Consortium, submit an issue here:
github.com/rustfoundati...
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 25, 2025 at 9:14 PM
If you're interested in joining the Safety-Critical Rust Consortium, submit an issue here:
github.com/rustfoundati...
github.com/rustfoundati...
And here's the coding guidelines repo:
github.com/rustfoundati...
github.com/rustfoundati...
GitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines
github.com
December 25, 2025 at 9:14 PM
And here's the coding guidelines repo:
github.com/rustfoundati...
github.com/rustfoundati...
There's some other recent updates that we'll share soon!
For now if you'd like to check out the deployed version, here's a link to the Expressions chapter:
coding-guidelines.arewesafetycriticalyet.org/coding-guide...
For now if you'd like to check out the deployed version, here's a link to the Expressions chapter:
coding-guidelines.arewesafetycriticalyet.org/coding-guide...
Expressions — Safety-Critical Rust Coding Guidelines 0.1 documentation
coding-guidelines.arewesafetycriticalyet.org
December 25, 2025 at 9:14 PM
There's some other recent updates that we'll share soon!
For now if you'd like to check out the deployed version, here's a link to the Expressions chapter:
coding-guidelines.arewesafetycriticalyet.org/coding-guide...
For now if you'd like to check out the deployed version, here's a link to the Expressions chapter:
coding-guidelines.arewesafetycriticalyet.org/coding-guide...
Miri can be run on any example code block so annotated with the `:miri:` option.
Plus, now any code block which includes `unsafe` will fail the build unless `:miri:` is attached with an attestation that either:
- UB should not happen (`:miri:`)
- UB should happen (`:miri: expect_ub`)
Plus, now any code block which includes `unsafe` will fail the build unless `:miri:` is attached with an attestation that either:
- UB should not happen (`:miri:`)
- UB should happen (`:miri: expect_ub`)
December 25, 2025 at 9:14 PM
Miri can be run on any example code block so annotated with the `:miri:` option.
Plus, now any code block which includes `unsafe` will fail the build unless `:miri:` is attached with an attestation that either:
- UB should not happen (`:miri:`)
- UB should happen (`:miri: expect_ub`)
Plus, now any code block which includes `unsafe` will fail the build unless `:miri:` is attached with an attestation that either:
- UB should not happen (`:miri:`)
- UB should happen (`:miri: expect_ub`)
It was important for us to have fully compilable code available in the examples so that if copied, we'd provide something copy-pasteable easily into the Rust Playground or your own project to begin with.
December 25, 2025 at 9:14 PM
It was important for us to have fully compilable code available in the examples so that if copied, we'd provide something copy-pasteable easily into the Rust Playground or your own project to begin with.
We've ensured that each code block is buildable and builds without warnings, adding this check into CI to ensure that remains the case.
Note here that we've got a hidden `fn main() {}` here that we can toggle between hidden and not.
Note here that we've got a hidden `fn main() {}` here that we can toggle between hidden and not.
December 25, 2025 at 9:14 PM
We've ensured that each code block is buildable and builds without warnings, adding this check into CI to ensure that remains the case.
Note here that we've got a hidden `fn main() {}` here that we can toggle between hidden and not.
Note here that we've got a hidden `fn main() {}` here that we can toggle between hidden and not.
The Little Book of Rust Macros by @lukaswirth.dev was a large inspiration, check out how beautiful this is:
lukaswirth.dev/tlborm/decl-...
lukaswirth.dev/tlborm/decl-...
Incremental TT Munchers - The Little Book of Rust Macros
lukaswirth.dev
December 25, 2025 at 9:14 PM
The Little Book of Rust Macros by @lukaswirth.dev was a large inspiration, check out how beautiful this is:
lukaswirth.dev/tlborm/decl-...
lukaswirth.dev/tlborm/decl-...
Do you know of a tool that'd be a good fit?
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 10:35 PM
Do you know of a tool that'd be a good fit?
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
Here's the GitHub issue template to submit a tool:
github.com/rustfoundati...
First off, here's a link to the process:
arewesafetycriticalyet.org/tooling/rfc-...
arewesafetycriticalyet.org/tooling/rfc-...
Tools List Maintenance Flows | Are We Safety Critical Yet?
This section defines how the tools list is managed by the tooling subcommittee.
arewesafetycriticalyet.org
December 16, 2025 at 10:35 PM
First off, here's a link to the process:
arewesafetycriticalyet.org/tooling/rfc-...
arewesafetycriticalyet.org/tooling/rfc-...
We'll probably see the work done by early next week leaning towards one guideline per page, unless folks speak up otherwise 😉
December 16, 2025 at 3:58 PM
We'll probably see the work done by early next week leaning towards one guideline per page, unless folks speak up otherwise 😉
So far three in favor of one guideline per page, so if you've got other thoughts, weigh in!
December 16, 2025 at 3:58 PM
So far three in favor of one guideline per page, so if you've got other thoughts, weigh in!
Here's where we're gonna discuss this:
github.com/rustfoundati...
github.com/rustfoundati...
Should: 1. each chapter contain all guidelines or 2. a flat list linking to them and each guideline is its own page? · Issue #284 · rustfoundation/safety-critical-rust-coding-guidelines
Now that we have each guideline in its own source file to reduce merge conflicts, ... the question becomes one of should we, when rendering the document: have each chapter contain all guidelines (a...
github.com
December 16, 2025 at 3:58 PM
Here's where we're gonna discuss this:
github.com/rustfoundati...
github.com/rustfoundati...
Step two's attending meetings for some area of interest:
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 2:55 AM
Step two's attending meetings for some area of interest:
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
- Coding Guidelines
- Liaison
- Tooling
That's also easy:
github.com/rustfoundati...
Interested in observing progress? Getting involved?
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
December 16, 2025 at 2:55 AM
Interested in observing progress? Getting involved?
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
Step one's joining the Safety-Critical Rust Consortium:
github.com/rustfoundati...
And we've also updated our contributing guidelines to reflect these and other recent improvements:
github.com/rustfoundati...
github.com/rustfoundati...
github.com
December 16, 2025 at 2:55 AM
And we've also updated our contributing guidelines to reflect these and other recent improvements:
github.com/rustfoundati...
github.com/rustfoundati...
Repo's here:
github.com/rustfoundati...
github.com/rustfoundati...
GitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines
github.com
December 16, 2025 at 2:55 AM
Repo's here:
github.com/rustfoundati...
github.com/rustfoundati...
If you'd like to see the deployed version it's here:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
Safety-Critical Rust Coding Guidelines — Safety-Critical Rust Coding Guidelines 0.1 documentation
coding-guidelines.arewesafetycriticalyet.org
December 16, 2025 at 2:55 AM
If you'd like to see the deployed version it's here:
coding-guidelines.arewesafetycriticalyet.org
coding-guidelines.arewesafetycriticalyet.org
We addressed a few long-standing issues which were becoming troublesome
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
December 16, 2025 at 2:55 AM
We addressed a few long-standing issues which were becoming troublesome
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll
- cleaner word-wrap on text
- proper spacing without crowding between paragraphs
- code blocks don't wrap, but allow horizontal scroll