Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.
☆85Jun 28, 2026Updated last 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Support for compiling C programs with Eyra☆15Oct 13, 2024Updated last year
- Build and runs code in a sandboxed macOS environment☆38Dec 5, 2025Updated 7 months ago
- ☆20Apr 13, 2026Updated 2 months ago
- uProtocol Language Specific Library for Rust☆26Jun 29, 2026Updated last week
- std-alternative prototyping / education library☆12Dec 1, 2025Updated 7 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Count lines of code across your entire dependency tree☆22May 13, 2024Updated 2 years ago
- Rust macros that produce the name of the function they're invoked within.☆23May 11, 2022Updated 4 years ago
- Harden your Rust with specifications.☆108Updated this week
- A rust-embedded driver example / template☆23Jan 6, 2020Updated 6 years ago
- In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily…☆86Jun 19, 2026Updated 2 weeks ago
- A UCI (Universal Chess Interface) chess engine written in the Rust programming language☆20Dec 24, 2016Updated 9 years ago
- Platform agnostic Rust driver for the Sensirion SHTCx temperature/humidity sensors.☆15May 13, 2024Updated 2 years ago
- ☆11Mar 9, 2026Updated 3 months ago
- Graph with vault size over time☆13Aug 31, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Lock ordering enforcement at compile time in Rust☆24Mar 17, 2025Updated last year
- A DynamoDB odm library for rust☆18Mar 2, 2025Updated last year
- One Pace Organizer for Plex and Jellyfin: Add metadata like summaries, titles and posters to your One Pace collection (**Not affiliated w…☆47Jun 14, 2026Updated 3 weeks ago
- Library and tools for managing ecosystem wide call graphs and llvm-ir analysis☆190May 5, 2025Updated last year
- A GitHub Action to install the Rust compiler fork targeting Xtensa devices☆13Apr 20, 2026Updated 2 months ago
- Manuels Anforderungs-Tracing☆43Updated this week
- PCB files for Adafruit INA169 Breakout☆12May 20, 2019Updated 7 years ago
- A json-like data structure library in Ada☆13Jun 5, 2026Updated last month
- The FLS☆488Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- fx2lafw is a free/libre/open-source firmware for logic analyzers based on the Cypress EZ-USB FX2(LP) chip.☆14Aug 2, 2012Updated 13 years ago
- Embedded Rust NFC protocol stack☆25Updated this week
- Rust types for the Bluetooth HCI (Host Controller Interface) specification, and traits for implementing the Controller part of the interf…☆49Jun 19, 2026Updated 2 weeks ago
- A Rust library to probe Syzygy endgame tablebases☆29Jun 26, 2025Updated last year
- ☆14Jun 19, 2026Updated 2 weeks ago
- A Rust-based boilerplate for supporting the waveshare esp32-s3-touch-lcd-1-28 with esp-idf-svc☆18Sep 27, 2024Updated last year
- The Robius book: details about our vision for multi-platform app dev in Rust, plus docs, tutorials, examples, and more.☆27Jan 5, 2024Updated 2 years ago
- `smol` integrations with `axum`☆22Feb 18, 2026Updated 4 months ago
- PNG to 3D file conversion☆17Nov 22, 2011Updated 14 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Go Client SDK for Diem☆24Oct 19, 2021Updated 4 years ago
- Fast HTTPS redirector☆20Jan 16, 2017Updated 9 years ago
- ☆11Feb 18, 2017Updated 9 years ago
- Execute KDL files!☆28Jul 12, 2024Updated last year
- Tool to print with Labelprinter via Web Interface☆22Jan 13, 2026Updated 5 months ago
- Node to manage Tapo Tplink devices with the new api☆12Sep 14, 2024Updated last year
- arcade sounds and chiptunes for ruby and c☆33Jun 5, 2011Updated 15 years ago