Racket implementation of Dataspaces and Syndicate.

Updated 5 days ago

RacketMQ, an implementation of a W3C WebSub Hub.

Updated 7 months ago

The version of Syndicate current at the conclusion of Tony Garnock-Jones's PhD research, end-of-2017/start-of-2018.

Updated 12 months ago

An implementation of the SSH 2.0 protocol (client and server) in Syndicate/rkt.

Updated 1 year ago

A TCP/IP/ICMP/ethernet stack built in minimart-2014, using a packet-socket driver I wrote for Racket.

Updated 2 years 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 2 years ago

Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014).

Updated 2 years ago

Demo window system / GUI, for syndicate-2017.

Updated 2 years ago

Historical interest only: benchmarking scripts for various NC/Minimart/Prospect/Syndicate implementations. Mostly active during my PhD research.

Updated 2 years ago

Historical interest only: marketplace-2014-based implementation of a DNS server and recursive resolver.

Updated 2 years ago

Historical interest only: marketplace-2014 implementation of SSH.

Updated 2 years ago

Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.

Updated 2 years ago

Historical interest only: Predecessor to marketplace-ssh-2014, implemented using racket-matrix-2012.

Updated 2 years ago

Historical interest only: Predecessor to marketplace-2014.

Updated 2 years ago