{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"scribble-java","owner":"sessionstar","isFork":true,"description":"Core components for the Scribble Java tools","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":27,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-21T13:10:46.711Z"}},{"type":"Public","name":"sessionstar","owner":"sessionstar","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-26T20:15:11.867Z"}},{"type":"Public","name":"oopsla20-artifact","owner":"sessionstar","isFork":false,"description":"Artifact for \"Statically Verified Refinements for Multiparty Protocols\" (Accepted by OOPSLA '20)","allTopics":[],"primaryLanguage":{"name":"F*","color":"#572e30"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-01T15:51:34.757Z"}}],"repositoryCount":3,"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":"sessionstar repositories"}