Pinned Repositories
flat
Principled and efficient binary serialization
model
Derive a model of a Haskell data type
quid2.org
Contents of quid2.org web site
router
Flexible, typed router, supports Top (type oriented protocol) channels
top
Haskell API for Top, the type oriented protocol.
top-apps
Example applications for Top, the type oriented protocol.
top-apps-ghcjs
Example WWW applications for Top, the type oriented protocol.
ts-adt
Typescript ADTs
ts-core
Core files for TypeScript support
zm
Language independent, reproducible, absolute types.
Quid2 (QuidQuid)'s Repositories
Quid2/flat
Principled and efficient binary serialization
Quid2/zm
Language independent, reproducible, absolute types.
Quid2/top
Haskell API for Top, the type oriented protocol.
Quid2/model
Derive a model of a Haskell data type
Quid2/top-apps
Example applications for Top, the type oriented protocol.
Quid2/router
Flexible, typed router, supports Top (type oriented protocol) channels
Quid2/quid2.org
Contents of quid2.org web site
Quid2/top-apps-ghcjs
Example WWW applications for Top, the type oriented protocol.
Quid2/ts-adt
Typescript ADTs
Quid2/ts-core
Core files for TypeScript support
Quid2/ts-top
Top/Flat/ZM in TypeScript
Quid2/zm-language
Parser, pretty printer and code generators for the ZM data modelling language