skade
Follow
-
-
safety-critical-rust-consortium Public
Forked from rustfoundation/safety-critical-rust-consortiumDocumentation, code and information for the Safety Critical Rust Consortium
Other UpdatedNov 6, 2024 -
-
phbl Public
Forked from oxidecomputer/phblPico Host Boot Loader
Rust Mozilla Public License 2.0 UpdatedMay 29, 2024 -
criticalup Public
Forked from ferrocene/criticalupFerrocene's toolchain manager.
Rust UpdatedMay 23, 2024 -
delouse Public
Forked from KittyCAD/delousedelouse exposes opinionated debugging stubs most useful for tokio based async programs
Rust MIT License UpdatedMay 21, 2024 -
-
ferrocene Public
Forked from ferrocene/ferroceneSource code of Ferrocene, safety-critical Rust toolchain
Rust Other UpdatedApr 30, 2024 -
-
openCAS Public
Forked from aeronautical-informatics/openCASHorizontal and vertical CAS implementation based on stanford Neuronal Network approach, written in bare-metal Rust.
Rust Apache License 2.0 UpdatedMar 14, 2024 -
-
helios Public
Forked from oxidecomputer/heliosHelios: Or, a Vision in a Dream. A Fragment.
Rust Mozilla Public License 2.0 UpdatedJan 29, 2024 -
this-week-in-rust Public
Forked from rust-lang/this-week-in-rustData for this-week-in-rust.org
-
plotters Public
Forked from plotters-rs/plottersA rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
-
-
painter Public
Forked from rustfoundation/painterLibrary and tools for managing ecosystem wide call graphs and llvm-ir analysis
-
-
-
matklad.github.io Public
Forked from matklad/matklad.github.ioMy coding related blog
CSS Apache License 2.0 UpdatedApr 25, 2022 -
threadx Public
Forked from eclipse-threadx/threadxAzure RTOS ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
C Other UpdatedApr 20, 2022 -
bbqueue-spark Public
Forked from Fabien-Chouteau/bbqueue-sparkAn Ada implementation of James Munns' BBQueue
-
team Public
Forked from rust-lang/teamRust teams structure
-
-
-
arc42.org-site Public
Forked from arc42/arc42.org-site(jekyll-based) website for arc42.org - the template for communicating software architectures.
HTML MIT License UpdatedSep 9, 2021 -
-
website-1 Public
Forked from riker-rs/websiteRiker.rs website
JavaScript MIT License UpdatedJul 29, 2021 -
ProjectLockdown Public
Forked from TheIOFoundation/ProjectLockdownProject Lockdown (an initiative from The IO Foundation) is a civic tech, interactive platform providing an overview of the state of Human and Digital Rights around the globe. It evaluates policies …
JavaScript GNU General Public License v3.0 UpdatedJun 8, 2021 -
creusot Public
Forked from creusot-rs/creusotdeductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Rust GNU Lesser General Public License v2.1 UpdatedApr 28, 2021 -
ffi-opaque Public
A simple macro to create correct opaque pointers