briny
briny offers typed casts, non-unwinding aborts, and type-level abstraction.
Contributing
Contributions, bug reports, and suggestions are welcome! This project aims to help build verifiably secure foundations for low-level and embedded Rust development.
License
briny is under an MIT license.