GitHub repository: Kha/electrolysis
Primary language: Rust
Description: Simple verification of Rust programs via functional purification