{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"dupi","owner":"go-air","isFork":false,"description":"A tool to find all duplicates in large sets of text documents.","allTopics":["search","nlp","golang","analytics","analysis","index"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-29T19:20:52.022Z"}},{"type":"Public","name":"reach","owner":"go-air","isFork":false,"description":"symbolic reachability checker","allTopics":["simulation","verification","symbolic","safety","model-checking","ic3","circuit","bmc","pdr","go"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":2,"starsCount":22,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-23T07:06:23.891Z"}},{"type":"Public","name":"pal","owner":"go-air","isFork":false,"description":"pointer analysis library","allTopics":["go","analysis","pointer-analysis"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":9,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-22T21:09:49.034Z"}},{"type":"Public","name":"go-air.github.io","owner":"go-air","isFork":false,"description":"website","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-22T19:12:09.882Z"}},{"type":"Public","name":"satbenchmarks","owner":"go-air","isFork":false,"description":"sat benchmarks","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-22T16:58:43.928Z"}},{"type":"Public","name":"biblio","owner":"go-air","isFork":false,"description":"A bibliography of interesting works.","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-27T11:32:48.651Z"}},{"type":"Public","name":"gini","owner":"go-air","isFork":false,"description":"A fast SAT solver","allTopics":["testing","resolution","verification","artificial-intelligence","fuzzing","concurrent","logic-programming","dependencies","boolean-formulas","sat-solver","logic-circuit","circuit-sat"],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":4,"starsCount":148,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-26T22:27:22.826Z"}},{"type":"Public","name":".github","owner":"go-air","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-26T17:31:30.762Z"}},{"type":"Public","name":"docker","owner":"go-air","isFork":false,"description":"docker files for go-air tools and services","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-15T10:36:16.680Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}