Port of marketplace-2014 implementation of SSH to syndicate/rkt 2021.
Updated 23 minutes ago
Racket implementation of Dataspaces and Syndicate.
Updated 24 minutes ago
Mirror of https://gitlab.com/preserves/preserves
Updated 7 days ago
First capability-securable implementation of Dataspaces.
Updated 1 week ago
Updated 1 week ago
Java implementation of Dataspaces and Syndicate.
Updated 2 weeks ago
Rust implementation of Dataspaces, Syndicate, and a high-speed networked dataspace broker.
Updated 1 month ago
TypeScript and JavaScript implementation of Dataspaces, Syndicate, and TypeScript language support for Syndicate. Targets both the browser and node.js.
Updated 1 month ago
An implementation of the Syndicate broker protocol for Python
Updated 1 month ago
The version of Syndicate current at the conclusion of Tony Garnock-Jones's PhD research, end-of-2017/start-of-2018.
Updated 1 month ago
A TCP/IP/ICMP/ethernet stack built in minimart-2014, using a packet-socket driver I wrote for Racket.
Updated 1 month ago
Historical interest only: A Dataspace-like language and system that led to "Network Calculus" (ESOP 2014) and minimart-2014, in turn a predecessor to Syndicate.
Updated 1 month ago
Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014).
Updated 1 month ago
Demo window system / GUI, for syndicate-2017.
Updated 1 month ago
Historical interest only: benchmarking scripts for various NC/Minimart/Prospect/Syndicate implementations. Mostly active during my PhD research.
Updated 1 month ago
Historical interest only: marketplace-2014-based implementation of a DNS server and recursive resolver.
Updated 1 month ago
Historical interest only: marketplace-2014 implementation of SSH.
Updated 1 month ago
Historical interest only: Implementation of Marketplace/Network Calculus in Javascript.
Updated 1 month ago
Historical interest only: Prototype of a sensible recursive message broker
Updated 1 month ago
Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Updated 1 month ago