idris-protobuf

A partial implementation of Protocol Buffers in Idris

Archived

GitHub

30 stars
3 watching
11 forks
Language: Idris
last commit: about 9 years ago
Linked from 1 awesome list


Backlinks from these awesome lists: