Mediocre programmer and mathematics dilettante.
- Portland, USA
- https://dpitt.me
Highlights
- Pro
Block or Report
Block or report pittma
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
auxoncorp/ferros
auxoncorp/ferros PublicA Rust-based userland which also adds compile-time assurances to seL4 development.
-
auxoncorp/bounded-registers
auxoncorp/bounded-registers PublicUsing Type-Level Programming in Rust to Make Safer Hardware Abstractions
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.