First capability-securable implementation of Dataspaces.
Go to file
Tony Garnock-Jones 191946d9c3 README.md 2021-05-06 12:44:47 +02:00
experiments Clean up repo layout 2021-03-02 13:53:33 +01:00
schemas Avoid hand-written WireRef (un)marshalling, taking advantage of the new Pointer representation from preserves 2021-04-25 00:15:15 +02:00
src Remove stale entry from users map 2021-04-29 15:18:57 +02:00
.gitignore Move to autogenerated schemas 2021-03-11 18:00:45 +01:00
README.md README.md 2021-05-06 12:44:47 +02:00
package.json Remove no-longer-needed Protocol definition in schema compiler invocation 2021-04-29 15:18:46 +02:00
rollup.config.js Classify source files into subdirectories 2021-04-21 21:22:30 +02:00
tsconfig.json Split out rewrite.ts 2021-03-04 19:54:12 +01:00
yarn.lock New preserves interface 2021-04-25 10:48:51 +02:00

README.md

novy-syndicate

A follow-on from Syndicate-2017, incorporating object-capability-based securability and other ideas from E.

You can view this as Syndicate plus locations and capabilities, or as E plus Syndicate-style shared state and fault-tolerance.

The capabilities offer securability of Syndicate-style point-to-point and multiparty communications, a necessary precondition for wider use of Syndicate-like ideas.

The locations offer abstraction over distribution of Syndicate systems, a necessary precondition for modular reasoning about and reuse of Syndicate subsystems.