ferrous-systems/sealed-rust

Stars
222
Rank 179,123 (Top 4 %)
Language
Created over 5 years ago
Updated over 4 years ago

ferrous-systems/sealed-rust

ferrous-systems

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Bringing Rust to the Safety Critical Domain

Sealed Rust

This is the coordination repository for the Sealed Rust project, an effort to bring The Rust Programming Language to safety critical software domains, such as Automotive, Industrial, Medical, and Avionics software.

Sealed Rust is a venture of Ferrous Systems Gmbh.

Please feel free to contact us if you are interested in these efforts by sending us an email.

Current Status

We are currently working on developing our plan for this domain. For more information, please see our introduction blog post.

elements-of-rust

rust style and philosophy

teaching-material

rust-three-days-course

Course material for Rust, taking roughly three days. English, German, Spanish available.

embedded-trainings-2020

embedded-trainings

Ferrous Systems Embedded Trainings

rust-training

Learning materials for the Rust Training courses by Ferrous Systems

rust-exercises

Exercises for learning Rust, by Ferrous Systems

async-on-embedded

zero-to-main

Bootstrapping Embedded Development in Rust

cargo-review-deps

A tool for auditing Cargo dependencies during updates

why-rust

A half-day introduction to the Rust Programming Language, for Managers, Technical Leads and Decision Makers.

wasm-training-2022

Rust & WebAssembly Workshop

testing-proc-macros

Example of structuring a proc macro crate for testability

CO2-Device

nrfdfu-rs

An implementation of the nRF bootloader protocol

threadx-experiments

Demo code for Rust on ThreadX

unsize-experiments

training-bookshelf

teaching-material2

teaching-material v2.0

rustconf-katharina-2018

Embedding Rust in C/C++

embedded-rust-and-serde

MeetingEmbedded Talk, 2019-11-13

mdslides

A tool for turning mdbooks into slide shows

adafruit-seesaw

Rust driver for the Adafruit SeeSaw

rustconf-james-2018

Getting Something For Nothing

rustrush-2018-keynote

The RustRush 2018 "An async story" closing keynote

ram-loader

Squares

why-ferrocene

Slides and material for our Why Ferrocene? training webinar

qt-training-2023

Training material for the KDAB training day 2023: https://www.kdab.com/kdab-training-day-2023/#rust

dnssec-tests

shared-github-actions

GitHub Actions workflows and actions used by Ferrous Systems

rust-in-fifteen-mins

Lightning Talk at emBO++ 2019

life-before-main

Talk at Rust and Tell, February 26th 2019

psoc-experiments

Test code for the Infineon PSoC 62

ldn-sealed-rust

Slides from Sealed Rust talk by James Munns at Rust LDN meetup

squares-api

Library containing the Squares API for receiving JSON objects via POST requests.

2019.oxidizeconf.com

The 2019 version of the Oxidize website

adafruit-neotrellis

Rust driver for the Adafruit Neotrellis

training-binary-contents

train the trainers session on "what ends up in the binary?"

sparc-experiments

Rust on the Gaisler LEON3

stm32-rustls

linker-script-exercises

training-2021-06-09

Working repository for training

calc-ffi-around-the-world

A WIP FFI exercise for Ferrous' Teaching Material

rust-training-may-2021

Working repository for a Ferrous Rust Training

serialport-rs-hotfix

hotfix while waiting on upstream merge