• gridgen

  • Referenced in 1 article [sw34862]
  • regions. It is based on the CRDT algorithm that makes it possible to handle regions...
  • CRDT

  • Referenced in 0 articles [sw38019]
  • CRDT: A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. In this ... Replicated Data Types (CRDTs), a class of algorithm that provides strong eventual consistency guarantees ... framework for verifying the correctness of CRDT algorithms. We avoid correctness issues that have dogged...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • SC Toolbox

  • Referenced in 205 articles [sw04462]
  • Algorithm 843: Improvements to the Schwarz-Christoffel toolbox...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Cassandra

  • Referenced in 25 articles [sw10949]
  • Cassandra: A Decentralized Structured Storage System. Cassandra is...
  • Voronoi

  • Referenced in 85 articles [sw21795]
  • Voronoi: Very old, but fast and lightweight C...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • wootjs

  • Referenced in 1 article [sw41710]
  • wootjs: WOOT model for Scala and JavaScript via...
  • Wooki

  • Referenced in 3 articles [sw41712]
  • Wooki: a P2P wiki-based collaborative writing tool...
  • Logoot

  • Referenced in 4 articles [sw41713]
  • Logoot: A scalable optimistic replication algorithm for collaborative...