Explore projects

Docker image with SBT for CI of Repliss

The replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.