GitHub repository: AdinAck/proto-hal
Primary language: Rust
Description: A prototype hardware interface to serve as a standard for HALs to implement with an emphasis on static design, type-states, and safety.