An implementation of choreographies-as-libraries using Racket macros

A header-only C++ library implementing the Compacted String B-Tree (CSBT) data structure

An on-disk, distributed datalog engine powered by ring theory

A design and implementation for practical functional choreographies

Data integration for longitudinal studies