{
  "slug": "dependent-type",
  "keyword": "dependent types",
  "total": 11,
  "topicTotal": 11,
  "group": null,
  "groups": [
    {
      "group": "blogs",
      "kinds": [
        "blog"
      ],
      "feedCount": 11,
      "page": "https://rssamplifier.com/topics/dependent-type/blogs",
      "feeds": "https://rssamplifier.com/topics/dependent-type/blogs.json"
    }
  ],
  "limit": 100,
  "offset": 0,
  "page": "https://rssamplifier.com/topics/dependent-type",
  "feeds": [
    {
      "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/",
      "feedUrl": "https://gelisam.blogspot.com/feeds/posts/default",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/gelisam-blogspot-com"
    },
    {
      "slug": "tannerduve-github-io",
      "title": "Tanner Duve",
      "description": null,
      "siteUrl": "https://tannerduve.github.io/",
      "feedUrl": "https://tannerduve.github.io/feed.xml",
      "kind": "blog",
      "itemCount": 6,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/tannerduve-github-io"
    },
    {
      "slug": "thatgeoguy-ca",
      "title": "ThatGeoGuy.ca",
      "description": "Geomatics. Technology. Life.",
      "siteUrl": "https://thatgeoguy.ca/",
      "feedUrl": "https://www.thatgeoguy.ca/feed.xml",
      "kind": "blog",
      "itemCount": 10,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/thatgeoguy-ca"
    },
    {
      "slug": "logicaltypes-blogspot-com",
      "title": "Typed Logic",
      "description": "Incorporates strong typing over predicate logic programming, and, conversely, incorporates predicate logic programming into strongly typed functional languages. The style of predicate logic is from Prolog; the strongly typed functional language is Haskell.",
      "siteUrl": "https://logicaltypes.blogspot.com/",
      "feedUrl": "https://logicaltypes.blogspot.com/feeds/posts/default",
      "kind": "blog",
      "itemCount": 25,
      "source": "category",
      "strength": 1,
      "page": "https://rssamplifier.com/logicaltypes-blogspot-com"
    },
    {
      "slug": "bentnib-org",
      "title": "Bob Atkey's blog",
      "description": "Bob Atkey's blog",
      "siteUrl": "https://bentnib.org",
      "feedUrl": "https://bentnib.org/posts.rss.xml",
      "kind": "blog",
      "itemCount": 25,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/bentnib-org"
    },
    {
      "slug": "poberezkin-com",
      "title": "Evgeny Poberezkin",
      "description": "Evgeny Poberezkin's blog",
      "siteUrl": "https://www.poberezkin.com",
      "feedUrl": "https://www.poberezkin.com/feed.rss",
      "kind": "blog",
      "itemCount": 22,
      "source": "content",
      "strength": 5,
      "page": "https://rssamplifier.com/poberezkin-com"
    },
    {
      "slug": "jerrington-me",
      "title": "Jacob Thomas Errington's blog",
      "description": null,
      "siteUrl": "https://jerrington.me",
      "feedUrl": "https://jerrington.me/atom.xml",
      "kind": "blog",
      "itemCount": 10,
      "source": "content",
      "strength": 3,
      "page": "https://rssamplifier.com/jerrington-me"
    },
    {
      "slug": "blueberrywren-dev",
      "title": "Blueberry Wren Thoughts",
      "description": "The bloggings of Wren",
      "siteUrl": "https://blueberrywren.dev",
      "feedUrl": "https://blueberrywren.dev/atom.xml",
      "kind": "blog",
      "itemCount": 13,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/blueberrywren-dev"
    },
    {
      "slug": "kuruczgy-com-blog",
      "title": "Gyuri's blog",
      "description": "Recent content in Blogs on György Kurucz's blog",
      "siteUrl": "https://kuruczgy.com/",
      "feedUrl": "https://kuruczgy.com/blog/index.xml",
      "kind": "blog",
      "itemCount": 5,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/kuruczgy-com-blog"
    },
    {
      "slug": "jadon-io",
      "title": "Jadon",
      "description": "Personal blog on software development, game modding",
      "siteUrl": "https://jadon.io/",
      "feedUrl": "https://jadon.io/rss.xml",
      "kind": "blog",
      "itemCount": 12,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/jadon-io"
    },
    {
      "slug": "matthew-brecknell-net",
      "title": "Matthew Brecknell",
      "description": "Programming and formal software verification",
      "siteUrl": "https://matthew.brecknell.net/",
      "feedUrl": "https://matthew.brecknell.net/atom.xml",
      "kind": "blog",
      "itemCount": 7,
      "source": "content",
      "strength": 2,
      "page": "https://rssamplifier.com/matthew-brecknell-net"
    }
  ]
}