This repo contains implementations of the code for the paper New Directions in Cloud Programming, CIDR 2021.
Currently, Bloom implementations are available. The "Program semantics" facet of the Hydrologic language is akin to Bloom in linking logic programming and lattics in a transducer model, so Bloom is a useful proof-of-concept---particularly to illustrate the lifting in the Appendix of the paper.