{
  "slug": "formal",
  "keyword": "formal",
  "total": 9,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/formal",
  "feeds": [
    {
      "slug": "zipcpu-com",
      "title": "The ZipCPU by Gisselquist Technology",
      "description": "The ZipCPU blog, featuring how to discussions of FPGA and soft-core CPU design. This site will be focused on Verilog solutions, using exclusively OpenSource IP products for FPGA design. Particular focus areas include topics often left out of more mainstream FPGA design courses such as how to debug an FPGA design.",
      "siteUrl": "https://zipcpu.com/",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/zipcpu-com"
    },
    {
      "slug": "verse-systems-blog",
      "title": "Toby's Blog",
      "description": "Recent content on Toby's Blog",
      "siteUrl": "https://verse.systems/blog/",
      "kind": "blog",
      "itemCount": 23,
      "source": "content",
      "strength": 7,
      "page": "https://rssamplifier.com/verse-systems-blog"
    },
    {
      "slug": "soimort-org",
      "title": "Through the Looking-Glass",
      "description": "Mort’s random homepage.",
      "siteUrl": "https://www.soimort.org/",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/soimort-org"
    },
    {
      "slug": "protocols-made-fun-com",
      "title": "Protocols Made Fun",
      "description": "All things about protocol specification, testing, and verification. Creative Commons Attribution 4.0 International License.",
      "siteUrl": "https://protocols-made-fun.com/?utm_source=protocols_made_fun&utm_medium=feed&utm_campaign=pmf_feed",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/protocols-made-fun-com"
    },
    {
      "slug": "zfhuang99-github-io",
      "title": "Cheng Huang’s corner",
      "description": "a corner of learning and sharing",
      "siteUrl": "https://zfhuang99.github.io/",
      "kind": "blog",
      "itemCount": 7,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/zfhuang99-github-io"
    },
    {
      "slug": "vikramsg-github-io",
      "title": "Finite Simulations",
      "description": "An amazing website.",
      "siteUrl": "https://vikramsg.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/vikramsg-github-io"
    },
    {
      "slug": "gavinhoward-com",
      "title": "Gavin D. Howard",
      "description": null,
      "siteUrl": "https://gavinhoward.com/index.xml",
      "kind": "blog",
      "itemCount": 20,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/gavinhoward-com"
    },
    {
      "slug": "proofsandintuitions-net",
      "title": "Proofs and Intuitions",
      "description": "A blog about mathematics, computing, formal verification, and the ideas behind them",
      "siteUrl": "https://proofsandintuitions.net/",
      "kind": "blog",
      "itemCount": 7,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/proofsandintuitions-net"
    },
    {
      "slug": "will62794-github-io",
      "title": "William Schultz",
      "description": "My personal website.",
      "siteUrl": "https://will62794.github.io/",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/will62794-github-io"
    }
  ]
}