Results 1 to 16 of 16
Sort by:

  • 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...