Home / Idris / idris-protobuf idris-protobuf Partial implementation of Protocol Buffers in Idris. Package 32 stars Archived GitHub Back to Idris