3 ms·
https://github.com/auxoncorp/ferros https://github.com/auxoncorp/ferros Lots of type-level programming for tracking resources, hardware access, and capabilitie
by im_down_w_otp 2y ago
https://github.com/auxoncorp/ferros https://github.com/auxoncorp/ferros
Lots of type-level programming for tracking resources, hardware access, and capabilities at compile-time and trying to bring some of the underlying kernel guarantees up to the compiler because finding out about and debugging issues at runtime was just the absolute worst.