GitHub repository: strict-types/strict-encoding
Primary language: Rust
Description: Protobufs for functional programming