{
  "title": "Red-Black Tree Sort",
  "origin_url": "https://github.com/aya-prover/aya-dev/blob/main/jit-compiler/src/test/resources/TreeSort.aya",
  "license_guess": "MIT",
  "code_sha256": "637fe5c73977b082b4abb98964fb291972ae556aa93e3a7f1eb6c557276a69d5",
  "added_at": "2026-02-09T10:03:28Z"
}