crdts

Here are 3 public repositories matching this topic...

The VeriFx automated verification language

This is an implementation in progress of various conflict free replicated datatypes (CRDT) in Scala.

A distributed bill-splitting application for people who like to share their expenses but not their private data. 💸🚀

Add a description, image, and links to the crdts topic page so that developers can more easily learn about it.

To associate your repository with the crdts topic, visit your repo's landing page and select "manage topics."