protosym: Protobuf Metalanguage

System for representing and handling well-defined formal languages that serialize into the existing protobuf format

Exploring theorem proving and formal methods in distributed systems, language design, categorical theory (note, slightly different from Category Theory)

Hoping to ultimately combine with the ideas in https://github.com/accretional/proto-type

Subsystems:

• https://github.com/accretional/proto-symbol
• https://github.com/accretional/proto-lex
• https://github.com/accretional/proto-lang
• https://github.com/accretional/proto-piler