{
  "slug": "agda",
  "keyword": "agda",
  "total": 9,
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/agda",
  "feeds": [
    {
      "slug": "twanvl-nl",
      "title": "Twan van Laarhoven's blog",
      "description": null,
      "siteUrl": "http://twanvl.nl/blog",
      "kind": "blog",
      "itemCount": 40,
      "source": "category",
      "strength": 3,
      "page": "https://rssamplifier.com/twanvl-nl"
    },
    {
      "slug": "wadler-blogspot-com",
      "title": "Wadler's Blog",
      "description": null,
      "siteUrl": "https://wadler.blogspot.com/",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 2,
      "page": "https://rssamplifier.com/wadler-blogspot-com"
    },
    {
      "slug": "gelisam-blogspot-com",
      "title": "Bloggy Badger",
      "description": "Code and ideas in computer science. And maybe a short story or two.",
      "siteUrl": "https://gelisam.blogspot.com/",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/gelisam-blogspot-com"
    },
    {
      "slug": "doisinkidney-com",
      "title": "Donnacha Oisín Kidney's Blog",
      "description": "Mainly writing about programming",
      "siteUrl": "https://doisinkidney.com",
      "kind": "blog",
      "itemCount": 90,
      "source": "content",
      "strength": 36,
      "page": "https://rssamplifier.com/doisinkidney-com"
    },
    {
      "slug": "danilafe-com",
      "title": "Daniel's Blog",
      "description": "Recent content on Daniel's Blog",
      "siteUrl": "https://danilafe.com/",
      "kind": "blog",
      "itemCount": 55,
      "source": "content",
      "strength": 17,
      "page": "https://rssamplifier.com/danilafe-com"
    },
    {
      "slug": "jesper-sikanda-be",
      "title": "Jesper Cockx's Blog",
      "description": "My blog on everything Agda, dependent types, and life",
      "siteUrl": "https://jesper.sikanda.be",
      "kind": "blog",
      "itemCount": 31,
      "source": "content",
      "strength": 17,
      "page": "https://rssamplifier.com/jesper-sikanda-be"
    },
    {
      "slug": "wen-works",
      "title": "wen.works",
      "description": "Personal website of Wen Kokke",
      "siteUrl": "https://wen.works/",
      "kind": "blog",
      "itemCount": 12,
      "source": "content",
      "strength": 4,
      "page": "https://rssamplifier.com/wen-works"
    },
    {
      "slug": "amelia-how",
      "title": "Amelia's Blag: Latest articles",
      "description": null,
      "siteUrl": "https://amelia.how",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/amelia-how"
    },
    {
      "slug": "byorgey-github-io-blog",
      "title": "blog :: Brent -> [String]",
      "description": "Brent Yorgey's academic blog",
      "siteUrl": "http://byorgey.github.io/blog",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/byorgey-github-io-blog"
    }
  ]
}