GitHub repository: tgbugs/protc
Primary language: Racket
Description: A language for specifying protocols.