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-2014.
Updated 2021-05-06 10:48:51 +00:00
Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Updated 2021-05-06 10:49:06 +00:00
Updated 2022-05-28 09:54:54 +00:00
Nim implementation of the Preserves data language
Updated 2024-04-22 12:28:14 +00:00
Mirror of https://gitlab.com/preserves/preserves
Updated 2024-02-05 22:01:01 +00:00
Updated 2021-11-11 20:36:43 +00:00
First capability-securable implementation of Dataspaces.
Updated 2024-01-22 20:33:10 +00:00
Updated 2023-11-25 17:23:21 +00:00
Updated 2023-11-28 15:57:08 +00:00
ehmry / mpv_syndicate
Archived
Superceded by syndicate_utils - https://git.syndicate-lang.org/ehmry/syndicate_utils/
Updated 2022-06-09 18:17:23 +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
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 based on "Network Calculus" (ESOP 2014).
Updated 2021-05-07 09:41:14 +00:00
An implementation of the Syndicate broker protocol for Python
Updated 2021-09-02 15:11:07 +00:00
Updated 2023-10-09 16:21:17 +00:00
Historical interest only: marketplace-2014 implementation of SSH.
Updated 2021-05-06 10:49:26 +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