Syndicate actor for asserting Fontconfig information

Updated 2 days ago

Historical interest only: Prototype of a sensible recursive message broker

Updated 2 years ago

Updated 2 weeks ago

Historical interest only: Implementation of Marketplace/Network Calculus in Javascript.

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: 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

An implementation of the Syndicate broker protocol for Python

Updated 2 years ago

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

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

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

Updated 2 years ago

Superceded by syndicate_utils - https://git.syndicate-lang.org/ehmry/syndicate_utils/

Updated 10 months ago

Syndicated Nix Actor

Updated 2 days ago

First capability-securable implementation of Dataspaces.

Updated 1 year ago

pmbootstrap, with Synit changes

Updated 6 months ago

Updated 1 year ago

Nim implementation of the Preserves data language

Updated 4 weeks ago