Explore projects
-
Peter Zeller / repliss
OtherThe replicated information system verification tool for the development of applications with strong guarantees on weakly consistent data stores.
Updated -
Deepthi Akkoorath / mtm
BSD 3-Clause "New" or "Revised" LicenseMergable Transactional Memory in c++
Updated