GitHub repository: pratyush3757/custom-libsignal-dytrace
Primary language: Rust
Description: custom libsignal with logging for formal verification