[
  {
    "name": "Clean",
    "slug": "clean",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/clean/"
  },
  {
    "name": "sp1-lean",
    "slug": "sp1-lean",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/sp1-lean/"
  },
  {
    "name": "zkLean",
    "slug": "zklean",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/zklean/"
  },
  {
    "name": "Halva",
    "slug": "halva",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/halva/"
  },
  {
    "name": "Picus",
    "slug": "picus",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/picus/"
  },
  {
    "name": "LLZK",
    "slug": "llzk",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/llzk/"
  },
  {
    "name": "Garden",
    "slug": "garden",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/garden/"
  },
  {
    "name": "Lampe",
    "slug": "lampe",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/lampe/"
  },
  {
    "name": "proven-zk and gnark-lean-extractor",
    "slug": "proven-zk",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/proven-zk/"
  },
  {
    "name": "CIVER",
    "slug": "civer",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/civer/"
  },
  {
    "name": "Circomspect",
    "slug": "circomspect",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/circomspect/"
  },
  {
    "name": "zkFuzz",
    "slug": "zkfuzz",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/zkfuzz/"
  },
  {
    "name": "Coda",
    "slug": "coda",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/coda/"
  },
  {
    "name": "Ecne",
    "slug": "ecne",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/ecne/"
  },
  {
    "name": "NAVe",
    "slug": "nave",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/nave/"
  },
  {
    "name": "Verified Cairo AIR (Stone and S-two)",
    "slug": "verified-cairo",
    "category": "zk-circuits",
    "page": "https://sorryfree.com/frameworks/verified-cairo/"
  },
  {
    "name": "ArkLib",
    "slug": "arklib",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/arklib/"
  },
  {
    "name": "EasyCrypt",
    "slug": "easycrypt",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/easycrypt/"
  },
  {
    "name": "CryptoVerif",
    "slug": "cryptoverif",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/cryptoverif/"
  },
  {
    "name": "SSProve",
    "slug": "ssprove",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/ssprove/"
  },
  {
    "name": "ProofFrog",
    "slug": "prooffrog",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/prooffrog/"
  },
  {
    "name": "Squirrel",
    "slug": "squirrel",
    "category": "proof-systems",
    "page": "https://sorryfree.com/frameworks/squirrel/"
  },
  {
    "name": "Tamarin",
    "slug": "tamarin",
    "category": "symbolic-protocols",
    "page": "https://sorryfree.com/frameworks/tamarin/"
  },
  {
    "name": "ProVerif",
    "slug": "proverif",
    "category": "symbolic-protocols",
    "page": "https://sorryfree.com/frameworks/proverif/"
  },
  {
    "name": "Verifpal",
    "slug": "verifpal",
    "category": "symbolic-protocols",
    "page": "https://sorryfree.com/frameworks/verifpal/"
  },
  {
    "name": "DY*",
    "slug": "dystar",
    "category": "symbolic-protocols",
    "page": "https://sorryfree.com/frameworks/dystar/"
  },
  {
    "name": "Jasmin and libjade",
    "slug": "jasmin",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/jasmin/"
  },
  {
    "name": "hax",
    "slug": "hax",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/hax/"
  },
  {
    "name": "Cryptol and SAW",
    "slug": "cryptol-saw",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/cryptol-saw/"
  },
  {
    "name": "Fiat-Crypto",
    "slug": "fiat-crypto",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/fiat-crypto/"
  },
  {
    "name": "HACL*, Vale and EverCrypt",
    "slug": "hacl-star",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/hacl-star/"
  },
  {
    "name": "Aeneas",
    "slug": "aeneas",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/aeneas/"
  },
  {
    "name": "Kani",
    "slug": "kani",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/kani/"
  },
  {
    "name": "CBMC",
    "slug": "cbmc",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/cbmc/"
  },
  {
    "name": "CryptoLine",
    "slug": "cryptoline",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/cryptoline/"
  },
  {
    "name": "Verus",
    "slug": "verus",
    "category": "implementations",
    "page": "https://sorryfree.com/frameworks/verus/"
  },
  {
    "name": "Lean 4 and Mathlib",
    "slug": "lean4",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/lean4/"
  },
  {
    "name": "Rocq (formerly Coq)",
    "slug": "rocq",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/rocq/"
  },
  {
    "name": "Isabelle/HOL",
    "slug": "isabelle",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/isabelle/"
  },
  {
    "name": "F*",
    "slug": "fstar",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/fstar/"
  },
  {
    "name": "ACL2 (R1CS and PFCS books)",
    "slug": "acl2",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/acl2/"
  },
  {
    "name": "K framework and KEVM",
    "slug": "k-framework",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/k-framework/"
  },
  {
    "name": "Certora Prover",
    "slug": "certora-prover",
    "category": "provers",
    "page": "https://sorryfree.com/frameworks/certora-prover/"
  },
  {
    "name": "zk.golf",
    "slug": "zk-golf",
    "category": "challenges",
    "page": "https://sorryfree.com/frameworks/zk-golf/"
  },
  {
    "name": "better.codes",
    "slug": "better-codes",
    "category": "challenges",
    "page": "https://sorryfree.com/frameworks/better-codes/"
  },
  {
    "name": "Verified zkEVM program",
    "slug": "verified-zkevm",
    "category": "challenges",
    "page": "https://sorryfree.com/frameworks/verified-zkevm/"
  }
]