{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"grin-compiler.github.io","owner":"grin-compiler","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-09-02T21:23:55.462Z"}},{"type":"Public","name":"souffle-cfa-optimization-experiment","owner":"grin-compiler","isFork":false,"description":"Optimization attempt of the Lambda Control Flow Analysis (STG like language)","allTopics":["haskell","functional-programming","cfa","static-analysis","datalog","control-flow-analysis","lazy-evaluation","closures","stg","souffle"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-05-21T00:19:23.230Z"}}],"repositoryCount":2,"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"}