AxonOS
AxonOS-org
A real-time Rust microkernel for safety-critical BCI. Deterministic EDF scheduling · Zero-copy signal path · Hardware-gated stimulation interlock.
Singapore
DY Research
DYResearch
Real-time systems work with the arithmetic shown. Integer bounds, checked operations, refusal over approximation.
Grim
GetGrin
More use-cases for Grin ツ create demand, to be used by anyone, anywhere, without censorship and restrictions.
Rust Embedded
rust-embedded
Enabling usage of Rust on Embedded Platforms (Embedded Linux / RTOS / Bare Metal)
Real-Time Interrupt-driven Concurrency (RTIC)
rtic-rs
Organization for the RTIC scheduler and ecosystem
Redox OS
redox-os
Redox OS is a microkernel-based, complete and general-purpose operating system written in Rust created in 2015
Tock Embedded OS
tock
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers
Mengwei Xu
xumengwei
Assistant Professor @ BUPT -
Check out the projects of our team at:
https://github.com/UbiquitousLearning and https://github.com/BUPT-OS
PiEEG-Club
pieeg-club
PiEEG-Club is a place where researchers and programmers work together to create miracles in neuroscience.
United Kingdom
The Linux Foundation
linuxfoundation
The Linux Foundation is a non-profit consortium dedicated to fostering the growth of Linux.
Rust Foundation
rustfoundation
An independent non-profit organization to steward the Rust programming language and ecosystem
David A. Wheeler
david-a-wheeler
I work at the Open Source Security Foundation (OpenSSF), part of the Linux Foundation. Much of this isn't work though.
Linux Foundation US East Coast
Vale Language Project
ValeLang
Exploring, discovering, and publishing new programming language mechanisms that enable speed, safety, and ease of use!