GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ auxoncorp
2 open source projects by auxoncorp
[ Open user page on Github ]
1.
ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
✭ 38
rust
shell
userland
sel4
2.
bounded-registers
Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
✭ 40
rust
Agda
TeX
shell
1-2
of
2
user projects