{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"nanomaly","owner":"PL-ML","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-06T19:46:54.359Z"}},{"type":"Public","name":"galoisenne","owner":"PL-ML","isFork":true,"description":"🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-10T20:26:53.073Z"}},{"type":"Public","name":"code2inv","owner":"PL-ML","isFork":false,"description":"Code2Inv: Learning Loop Invariants for Program Verification","allTopics":["program-verification","graph-neural-","loop-invariant-generation"],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":2,"starsCount":82,"forksCount":24,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-26T14:46:46.693Z"}},{"type":"Public","name":"code2inv-webpage","owner":"PL-ML","isFork":false,"description":"The website for code2inv","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-06-05T15:47:11.038Z"}},{"type":"Public","name":"neo","owner":"PL-ML","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-11T23:43:31.102Z"}},{"type":"Public","name":"metal","owner":"PL-ML","isFork":false,"description":"Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis","allTopics":[],"primaryLanguage":{"name":"Slash","color":"#007eff"},"pullRequestCount":0,"issueCount":1,"starsCount":15,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-18T06:34:43.556Z"}}],"repositoryCount":6,"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"}