{
  "provider": "github",
  "url": "https://github.com/PRL-PRG/genthat",
  "archived": false,
  "open_issues": 90
}