Historical interest only: marketplace-2014 implementation of SSH.
Updated 2021-05-06 10:49:26 +00:00
The version of Syndicate current at the conclusion of Tony Garnock-Jones's PhD research, end-of-2017/start-of-2018.
Updated 2021-12-18 15:33:42 +00:00
Demo window system / GUI, for syndicate-2017.
Updated 2021-05-06 10:50:32 +00:00
Racket implementation of Dataspaces and Syndicate.
Updated 2024-03-10 11:56:46 +00:00
Historical interest only: benchmarking scripts for various NC/Minimart/Prospect/Syndicate implementations. Mostly active during my PhD research.
Updated 2021-05-06 10:49:45 +00:00
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 2021-05-07 09:41:45 +00:00
Historical interest only: marketplace-2014-based implementation of a DNS server and recursive resolver.
Updated 2021-05-06 10:49:39 +00:00
Historical interest only: Predecessor to marketplace-ssh-2014, implemented using racket-matrix-2012.
Updated 2021-05-06 10:48:59 +00:00
Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Updated 2021-05-06 10:49:06 +00:00
Historical interest only: Predecessor to marketplace-2014.
Updated 2021-05-06 10:48:51 +00:00
RacketMQ, an implementation of a W3C WebSub Hub.
Updated 2022-05-17 12:07:29 +00:00
Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014).
Updated 2021-05-07 09:41:14 +00:00
A TCP/IP/ICMP/ethernet stack built in minimart-2014, using a packet-socket driver I wrote for Racket.
Updated 2021-05-07 09:44:23 +00:00
An implementation of the SSH 2.0 protocol (client and server) in Syndicate/rkt.
Updated 2023-01-17 10:49:35 +00:00

Members 1