Quid2 (QuidQuid)

Open, evolvable, consistent and efficient distributed systems.

Pinned Repositories

flat
Principled and efficient binary serialization
Language:Haskell61 3 2318
model
Derive a model of a Haskell data type
Language:Haskell4 3 11
quid2.org
Contents of quid2.org web site
Language:JavaScript0 1 00
router
Flexible, typed router, supports Top (type oriented protocol) channels
Language:Haskell2 1 00
top
Haskell API for Top, the type oriented protocol.
Language:Haskell12 2 00
top-apps
Example applications for Top, the type oriented protocol.
Language:Haskell3 2 01
top-apps-ghcjs
Example WWW applications for Top, the type oriented protocol.
Language:JavaScript0 1 00
ts-adt
Typescript ADTs
Language:TypeScript0 2 00
ts-core
Core files for TypeScript support
Language:TypeScript00
zm
Language independent, reproducible, absolute types.
Language:Haskell22 2 60

Quid2 (QuidQuid)'s Repositories

Quid2/flat
Principled and efficient binary serialization
Language:Haskell61 3 2318
Quid2/zm
Language independent, reproducible, absolute types.
Language:Haskell22 2 60
Quid2/top
Haskell API for Top, the type oriented protocol.
Language:Haskell12 2 00
Quid2/model
Derive a model of a Haskell data type
Language:Haskell4 3 11
Quid2/top-apps
Example applications for Top, the type oriented protocol.
Language:Haskell3 2 01
Quid2/router
Flexible, typed router, supports Top (type oriented protocol) channels
Language:Haskell2 1 00
Quid2/quid2.org
Contents of quid2.org web site
Language:JavaScript0 1 00
Quid2/top-apps-ghcjs
Example WWW applications for Top, the type oriented protocol.
Language:JavaScript0 1 00
Quid2/ts-adt
Typescript ADTs
Language:TypeScript0 2 00
Quid2/ts-core
Core files for TypeScript support
Language:TypeScript00
Quid2/ts-top
Top/Flat/ZM in TypeScript
Language:TypeScript1 0
Quid2/zm-language
Parser, pretty printer and code generators for the ZM data modelling language
Language:Haskell1 0