Quid2 is a set of mini-specifications for distributed information systems:

Minimalist, principled and efficient binary data format (Haskell Library).
正名 Zhèng Míng
Expressive and language independent data modelling language suitable for data exchange across heterogeneous sofware systems and long term data preservation (Haskell Library).
Top, the Type Oriented Protocol, a minimalist content-oriented transport protocol (Haskell Library).

Older documents:

Questions, ideas, suggestions? Send an email at tittoassini@gmail.com.