An implementation of choreographies-as-libraries using Racket macros

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

A design and implementation for practical functional choreographies

Data integration for longitudinal studies