Explore projects
-
Johann Heinz / repliss
OtherThe replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.
Updated -
ag / jcobox
GNU General Public License v3.0 onlyUpdated -
Peter Zeller / repliss
OtherThe replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.
Updated -
Testing and verification of Applications, which are build with eventual consistency and CRDTs.
Updated