{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"idris-frex","owner":"frex-project","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":3,"issueCount":1,"starsCount":45,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T14:05:19.781Z"}},{"type":"Public","name":"haskell-frex","owner":"frex-project","isFork":false,"description":"","topicNames":["haskell","algebra","template-haskell","multi-stage"],"topicsNotShown":0,"allTopics":["haskell","algebra","template-haskell","multi-stage"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":24,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-11T18:28:35.938Z"}},{"type":"Public","name":"metaocaml-frex","owner":"frex-project","isFork":false,"description":"","topicNames":["algebra","metaocaml","multi-stage"],"topicsNotShown":0,"allTopics":["algebra","metaocaml","multi-stage"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":20,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-02T06:24:40.627Z"}},{"type":"Public","name":"multifrex","owner":"frex-project","isFork":false,"description":"Frex-based partial evaluators for multi-sorted algebraic theories and their algebras","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-24T21:35:59.849Z"}},{"type":"Public","name":"agda-fragment","owner":"frex-project","isFork":false,"description":"Algebraic proof discovery in Agda","topicNames":["agda","formal-verification","universal-algebra"],"topicsNotShown":0,"allTopics":["agda","formal-verification","universal-algebra"],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":31,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-06T11:18:32.783Z"}}],"repositoryCount":5,"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"}