Auxon Corporation
Results
91
repositories owned by
Auxon Corporation
ferros
104
Stars
10
Forks
Watchers
A Rust-based userland which also adds compile-time assurances to seL4 development.
bounded-registers
41
Stars
6
Forks
Watchers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions