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
Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014).
Updated
Demo window system / GUI, for syndicate-2017.
Updated
Historical interest only: benchmarking scripts for various NC/Minimart/Prospect/Syndicate implementations. Mostly active during my PhD research.
Updated
Historical interest only: marketplace-2014-based implementation of a DNS server and recursive resolver.
Updated
Historical interest only: marketplace-2014 implementation of SSH.
Updated
Historical interest only: Implementation of Marketplace/Network Calculus in Javascript.
Updated
Historical interest only: Prototype of a sensible recursive message broker
Updated
Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Updated
Historical interest only: Predecessor to marketplace-ssh-2014, implemented using racket-matrix-2012.
Updated
Historical interest only: Predecessor to marketplace-2014.
Updated
A C implementation of a trie map that can hold (patterns over) ordered trees in its keys. Proof-of-concept for high-speed routing data structures for Syndicate.
Updated