{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"site","owner":"arend-lang","isFork":false,"description":"Arend language website source","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":1,"issueCount":4,"starsCount":3,"forksCount":9,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T18:53:12.190Z"}},{"type":"Public","name":"arend-lang.github.io","owner":"arend-lang","isFork":false,"description":"Arend language website","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-14T20:22:20.311Z"}},{"type":"Public","name":"tutorial-code","owner":"arend-lang","isFork":false,"description":"Source code & exercises in Arend's documentation","allTopics":["tutorial-code","tutorial-exercises","arend"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":13,"starsCount":21,"forksCount":10,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-19T07:36:49.053Z"}},{"type":"Public","name":"arend-contrib","owner":"arend-lang","isFork":false,"description":"A community driven, semi-official, semi-standard library for Arend","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-04T15:46:08.301Z"}},{"type":"Public","name":"arend-tmbundle","owner":"arend-lang","isFork":false,"description":"For GitHub linguist's syntax highlighting","allTopics":["syntax-highlighting","linguist","github-linguist","arend"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-07T19:29:42.938Z"}}],"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"}