{
  "authors": [
    "bladeacer"
  ],
  "description": "CRDT library for Ada/SPARK",
  "executables": [
    "test_crdt"
  ],
  "licenses": "MIT",
  "long-description": "CRDT (Conflict-Free Replicated Data Types) library for Ada/SPARK with SPARK\nGold formal verification and DO-178C DAL-C targeting.\n\nPN-Counters, LWW-Element-Sets, LWW-Clocked-Sets (generic over Lamport, Vector,\nor Matrix clock strategies), and RGA sequences with three backend engines\n(Yjs chunk-based, Naive flat list, Fugue anti-interleaving BST). State-based\n(CvRDT delta sync) and operation-based (CmRDT bounded op log) sync layers.\nHybrid Logical Clock (HLC), versioned wire protocol (V1/V2/V3) with LEB128\nencoding, and thread-safe protected wrappers.\n\nZero heap allocation -- all containers use pre-allocated bounded storage.\nCore packages SPARK-proven at Gold level (absence of runtime errors).\n",
  "maintainers": [
    "bladeacer <wg.nick.exe@gmail.com>"
  ],
  "maintainers-logins": [
    "bladeacer"
  ],
  "name": "crdt",
  "origin": {
    "commit": "62b7474e4544833e5bb9794700387c28a598b931",
    "url": "git+https://github.com/bladeacer/ada_crdt.git"
  },
  "tags": [
    "crdt",
    "spark",
    "ada"
  ],
  "version": "1.9.0",
  "website": "https://github.com/bladeacer/ada_crdt"
}