GitHub repository: sarvex/no-panic
Primary language: Rust
Description: Attribute macro to require that the compiler prove a function can't ever panic