Safety-Critical Rust Consortium
@safetycriticalrust.bsky.social
Pinned
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
Curious about joining the Safety-Critical Rust Consortium?
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
Safety-Critical Rust Coding Guidelines: each guideline now renders as a standalone page, plus improvements to RST warning order, label handling, and FLS audit triage. For the page layout change, check this PR:
github.com/rustfoundati...
github.com/rustfoundati...
Render each guideline as a standalone page by PLeVasseur · Pull Request #385 · rustfoundation/safety-critical-rust-coding-guidelines
Summary
Replace guideline include files with standalone guideline pages and chapter toctrees
Update guideline tooling and scans to handle .rst pages directly
Fix linkcheck flag behavior and a bibl...
github.com
February 9, 2026 at 3:32 PM
Safety-Critical Rust Coding Guidelines: each guideline now renders as a standalone page, plus improvements to RST warning order, label handling, and FLS audit triage. For the page layout change, check this PR:
github.com/rustfoundati...
github.com/rustfoundati...
Consortium repo: we clarified the tools change flow (vendor contact now after PR creation), added the AbsInt aiT WCET Analyzer tool entry, and refreshed subcommittee rosters. If you want details, check this PR:
github.com/rustfoundati...
github.com/rustfoundati...
Adjust tools flow by manczak-ifx · Pull Request #553 · rustfoundation/safety-critical-rust-consortium
Added a final optional step to inform the Vendor about any modification o the respective tool information
github.com
February 9, 2026 at 3:32 PM
Consortium repo: we clarified the tools change flow (vendor contact now after PR creation), added the AbsInt aiT WCET Analyzer tool entry, and refreshed subcommittee rosters. If you want details, check this PR:
github.com/rustfoundati...
github.com/rustfoundati...
January 2026 SCRC recap: across the consortium, coding guidelines, and RFCs repos we merged 21 PRs and closed 18 issues. The coding guidelines repo shipped prereleases 0.1.19-0.1.21.
(more below)
(more below)
February 9, 2026 at 3:32 PM
January 2026 SCRC recap: across the consortium, coding guidelines, and RFCs repos we merged 21 PRs and closed 18 issues. The coding guidelines repo shipped prereleases 0.1.19-0.1.21.
(more below)
(more below)
Did you know that: The Coding Guidelines Subcommittee rotates their meeting to make it easier for regions to join?
- Americas + Europe-friendly
- Europe + Asia-Pacific-friendly
- Asia-Pacific + Americas-friendly
If you're located in Asia-Pacific we'd love to have you!
bsky.app/profile/safe...
- Americas + Europe-friendly
- Europe + Asia-Pacific-friendly
- Asia-Pacific + Americas-friendly
If you're located in Asia-Pacific we'd love to have you!
bsky.app/profile/safe...
Curious about joining the Safety-Critical Rust Consortium?
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
It's as easy as submitting a GitHub issue:
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
January 28, 2026 at 12:55 AM
Did you know that: The Coding Guidelines Subcommittee rotates their meeting to make it easier for regions to join?
- Americas + Europe-friendly
- Europe + Asia-Pacific-friendly
- Asia-Pacific + Americas-friendly
If you're located in Asia-Pacific we'd love to have you!
bsky.app/profile/safe...
- Americas + Europe-friendly
- Europe + Asia-Pacific-friendly
- Asia-Pacific + Americas-friendly
If you're located in Asia-Pacific we'd love to have you!
bsky.app/profile/safe...
Curious about joining the Safety-Critical Rust Consortium?
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
It's as easy as submitting a GitHub issue:
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
January 16, 2026 at 5:04 PM
Tooling Subcommittee members have done a great job in standing up a process.
Check it out if you're a tooling vendor, run an open source project, or know of some tool which could be useful in safety-critical systems development when using Rust:
arewesafetycriticalyet.org/tooling/rfc-...
Check it out if you're a tooling vendor, run an open source project, or know of some tool which could be useful in safety-critical systems development when using Rust:
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
January 16, 2026 at 5:04 PM
Tooling Subcommittee members have done a great job in standing up a process.
Check it out if you're a tooling vendor, run an open source project, or know of some tool which could be useful in safety-critical systems development when using Rust:
arewesafetycriticalyet.org/tooling/rfc-...
Check it out if you're a tooling vendor, run an open source project, or know of some tool which could be useful in safety-critical systems development when using Rust:
arewesafetycriticalyet.org/tooling/rfc-...
Does your company produce tooling in the safety-critical space? Can it be used with Rust?
We'd love to hear from you!
Today we had a representative from AbsInt describe how tooling works on Rust software. It operates at the binary level. (beep boop)
More on how to get involved below
We'd love to hear from you!
Today we had a representative from AbsInt describe how tooling works on Rust software. It operates at the binary level. (beep boop)
More on how to get involved below
January 16, 2026 at 5:04 PM
Does your company produce tooling in the safety-critical space? Can it be used with Rust?
We'd love to hear from you!
Today we had a representative from AbsInt describe how tooling works on Rust software. It operates at the binary level. (beep boop)
More on how to get involved below
We'd love to hear from you!
Today we had a representative from AbsInt describe how tooling works on Rust software. It operates at the binary level. (beep boop)
More on how to get involved below
Make sure to consult the following table and always check with your Dungeon Master or Game Master for any homebrew rules when employing Safety-Critical Rust! ⤵
January 12, 2026 at 4:33 PM
Make sure to consult the following table and always check with your Dungeon Master or Game Master for any homebrew rules when employing Safety-Critical Rust! ⤵
The Safety-Critical Dice have arrived! 🎲
As a Consortium member put it: "we put the safety-critical logo on the critical miss side to keep you safe!"
We hope to be able to hand them out at Rust conferences this year.
As a Consortium member put it: "we put the safety-critical logo on the critical miss side to keep you safe!"
We hope to be able to hand them out at Rust conferences this year.
January 10, 2026 at 11:07 PM
The Safety-Critical Dice have arrived! 🎲
As a Consortium member put it: "we put the safety-critical logo on the critical miss side to keep you safe!"
We hope to be able to hand them out at Rust conferences this year.
As a Consortium member put it: "we put the safety-critical logo on the critical miss side to keep you safe!"
We hope to be able to hand them out at Rust conferences this year.
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...
Curious about joining the Safety-Critical Rust Consortium?
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
It's as easy as submitting a GitHub issue:
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
Curious about joining the Safety-Critical Rust Consortium?
It's as easy as submitting a GitHub issue:
github.com/rustfoundati...
It's as easy as submitting a GitHub issue:
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-...
We've brought some requested improvements to the coding guideline example code blocks:
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
December 25, 2025 at 9:14 PM
We've brought some requested improvements to the coding guideline example code blocks:
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
- copyable
- buildable, runnable
- when annotated, Miri can be run
- hide/unhide less key portions
Hey folks 👋 the survey closes tomorrow, so be sure to get your thoughts in regarding "what it would take" to make Rust more suitable to your safety-critical industry and business!
Are you in a safety-critical industry? Using the Rust programming language (@rust-lang.org) or would like to? Make your voice heard when it comes to what you'd like to see for Rust Project Goals!
(survey link below)
(survey link below)
December 18, 2025 at 2:09 PM
Hey folks 👋 the survey closes tomorrow, so be sure to get your thoughts in regarding "what it would take" to make Rust more suitable to your safety-critical industry and business!
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-...
Did you know that the Tooling Subcommittee has put together a process for submitting tools which are or potentially could be used for safety-critical systems development in Rust?
More details follow
More details follow
December 16, 2025 at 10:35 PM
Did you know that the Tooling Subcommittee has put together a process for submitting tools which are or potentially could be used for safety-critical systems development in Rust?
More details follow
More details follow
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 😉