{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"aya-prover.github.io","owner":"aya-prover","isFork":false,"description":"<a href=\"https://www.aya-prover.org\" rel=\"nofollow\">https://www.aya-prover.org</a>","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T21:44:04.109Z"}},{"type":"Public","name":"aya-dev","owner":"aya-prover","isFork":false,"description":"A proof assistant","allTopics":["dependent-types","proof-assistant","aya"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":51,"starsCount":254,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T20:27:54.177Z"}},{"type":"Public","name":"aya-prover-docs","owner":"aya-prover","isFork":false,"description":"The documentation site of the Aya prover.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":2,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T04:33:40.769Z"}},{"type":"Public","name":"aya-vscode","owner":"aya-prover","isFork":false,"description":"~ VSCode extension for Aya Prover","allTopics":["language-server","vscode-extension","aya"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":3,"starsCount":6,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T05:22:09.365Z"}},{"type":"Public","name":"aya-tmbundle","owner":"aya-prover","isFork":false,"description":"For GitHub linguist's syntax highlighting","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T04:47:56.716Z"}},{"type":"Public","name":"intellij-aya","owner":"aya-prover","isFork":false,"description":"~ Intellij Platform plugin for Aya Prover","allTopics":["language-server","intellij-plugin","aya"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":8,"starsCount":8,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T00:31:59.823Z"}},{"type":"Public archive","name":"locally-nameless-aya-draft","owner":"aya-prover","isFork":false,"description":"Tmp","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T22:07:39.862Z"}},{"type":"Public","name":"kala-inspections","owner":"aya-prover","isFork":false,"description":"Kala inspections","allTopics":[],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-18T22:19:39.848Z"}},{"type":"Public","name":"project-generator","owner":"aya-prover","isFork":false,"description":"Generates a project with Aya infrastructure and Grammar-Kit parsing setup.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T20:42:48.203Z"}},{"type":"Public archive","name":"aya-prover-proto2","owner":"aya-prover","isFork":false,"description":"Second version","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-04T04:00:10.612Z"}},{"type":"Public","name":"PLCT-Weekly","owner":"aya-prover","isFork":true,"description":"软件所PLCT实验室在开源领域的不定期简报","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":102,"license":"Creative Commons Attribution Share Alike 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-29T20:20:31.273Z"}},{"type":"Public","name":"lamett","owner":"aya-prover","isFork":false,"description":"😶‍🌫️tt/a less cool version of cooltt","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":1,"starsCount":4,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-16T19:48:36.272Z"}},{"type":"Public","name":"setup-aya","owner":"aya-prover","isFork":false,"description":"Set up Aya in your GitHub Actions workflow.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-07T13:11:36.043Z"}},{"type":"Public archive","name":"commonmark-java","owner":"aya-prover","isFork":true,"description":"Java library for parsing and rendering CommonMark (Markdown)","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":282,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-09T09:38:23.743Z"}},{"type":"Public archive","name":"aya-prover-proto","owner":"aya-prover","isFork":false,"description":"┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":1,"issueCount":2,"starsCount":11,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-28T12:45:17.197Z"}}],"repositoryCount":15,"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"}