Using Type-Level Programming in Rust to Make Safer Hardware Abstractions Posted by pittma on Wednesday November 06, 2019 @09:32AM from the blog.auxon.io dept. https://blog.auxon.io/2019/10/25/type-level-registers/ ( 1 comment | 8 points | on HN )
https://github.com/auxoncorp/bounded-registers
https://github.com/auxoncorp/tnfilt