{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"leo","owner":"AleoHQ","isFork":false,"description":"🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications","topicNames":["leo","zero-knowledge","zksnarks","programming-language","compiler"],"topicsNotShown":0,"allTopics":["leo","zero-knowledge","zksnarks","programming-language","compiler"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":13,"issueCount":368,"starsCount":4769,"forksCount":618,"license":"GNU General Public License v3.0","participation":[9,5,8,6,7,22,8,25,6,13,6,30,25,25,11,11,21,4,38,61,51,42,28,21,39,9,7,15,49,16,21,9,25,41,57,34,14,5,36,9,8,12,30,5,16,57,38,23,25,26,19,28],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T10:25:56.139Z"}},{"type":"Public","name":"welcome","owner":"AleoHQ","isFork":false,"description":"👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀","topicNames":["blockchain","leo","zero-knowledge","zksnarks","aleo"],"topicsNotShown":0,"allTopics":["blockchain","leo","zero-knowledge","zksnarks","aleo"],"primaryLanguage":null,"pullRequestCount":29,"issueCount":16,"starsCount":308,"forksCount":192,"license":"GNU General Public License v3.0","participation":[5,10,16,35,9,20,13,41,6,17,6,9,7,14,5,15,11,14,6,9,3,5,7,6,5,10,0,5,0,0,1,0,0,0,0,0,2,0,6,3,0,0,0,0,0,0,0,0,2,6,3,15],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T06:16:57.148Z"}},{"type":"Public","name":"sdk","owner":"AleoHQ","isFork":false,"description":"A Software Development Kit (SDK) for Zero-Knowledge Transactions","topicNames":["sdk","blockchain","zero-knowledge","zksnarks","aleo"],"topicsNotShown":0,"allTopics":["sdk","blockchain","zero-knowledge","zksnarks","aleo"],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":25,"issueCount":48,"starsCount":553,"forksCount":442,"license":"GNU General Public License v3.0","participation":[17,24,23,39,15,27,16,38,34,16,27,33,42,12,2,6,3,3,5,28,8,12,8,22,3,4,9,7,1,1,0,3,2,2,1,0,0,0,3,0,0,0,2,1,0,0,1,0,3,2,3,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T02:08:24.945Z"}},{"type":"Public","name":"lsp4intellij","owner":"AleoHQ","isFork":true,"description":"This language client library provides language server protocol support for IntelliJ IDEA and other Jetbrains IDEs.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":97,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T12:01:29.929Z"}},{"type":"Public","name":"python-sdk","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":9,"issueCount":2,"starsCount":36,"forksCount":44,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,24,30,23,41,16,11,21,23,28,12,21,0,8,5,1,2,4,7,2,0,3,5,4,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-19T20:01:37.583Z"}},{"type":"Public","name":"aleo-snap-chainsafe","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":11,"issueCount":0,"starsCount":2,"forksCount":3,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T08:56:10.632Z"}},{"type":"Public","name":"workshop","owner":"AleoHQ","isFork":false,"description":"📜 A Starter Guide to Build ZK Applications 📜","topicNames":["tutorial","workshop","zero-knowledge","zksnarks","aleo"],"topicsNotShown":0,"allTopics":["tutorial","workshop","zero-knowledge","zksnarks","aleo"],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":9,"issueCount":17,"starsCount":318,"forksCount":258,"license":null,"participation":[0,2,0,0,2,0,0,0,0,8,0,0,0,1,1,0,0,0,0,0,8,17,0,0,0,3,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-19T15:01:37.132Z"}},{"type":"Public","name":"service","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":5,"forksCount":12,"license":"GNU General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,0,4,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-12T22:21:31.822Z"}},{"type":"Public archive","name":"aleo-rust","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":13,"issueCount":1,"starsCount":33,"forksCount":40,"license":"GNU General Public License v3.0","participation":[17,24,23,39,15,27,16,38,34,16,27,33,35,5,0,0,0,0,0,0,0,0,0,0,7,0,0,4,0,0,0,0,0,0,2,0,1,1,5,0,0,0,3,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-12T17:10:42.119Z"}},{"type":"Public","name":"aleo-education","owner":"AleoHQ","isFork":false,"description":"Aleo Education","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":2,"issueCount":5,"starsCount":200,"forksCount":179,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-28T04:40:33.696Z"}},{"type":"Public","name":"aleo-std","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":16,"forksCount":32,"license":"GNU General Public License v3.0","participation":[5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-20T23:46:08.227Z"}},{"type":"Public","name":"aleo-js","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":5,"starsCount":21,"forksCount":22,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-18T05:41:12.002Z"}},{"type":"Public","name":"grammars","owner":"AleoHQ","isFork":false,"description":"Grammar specifications for languages and formats in the Aleo ecosystem.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":3,"issueCount":8,"starsCount":16,"forksCount":25,"license":null,"participation":[3,11,9,6,3,10,0,0,0,0,0,0,0,1,4,2,2,1,3,2,3,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-12T16:25:14.791Z"}},{"type":"Public","name":"linguist-grammars","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":7,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-04T17:37:12.438Z"}},{"type":"Public archive","name":"leo-syntax-vscode","owner":"AleoHQ","isFork":false,"description":"Leo syntax","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":8,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-27T19:07:26.228Z"}},{"type":"Public","name":"aleo-setup","owner":"AleoHQ","isFork":true,"description":"A Setup Ceremony for Universal SNARKs","topicNames":["setup","zksnarks","aleo","ceremony"],"topicsNotShown":0,"allTopics":["setup","zksnarks","aleo","ceremony"],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":11,"issueCount":48,"starsCount":59,"forksCount":217,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-13T17:24:25.687Z"}},{"type":"Public","name":"aleo-instructions-syntax-vscode","owner":"AleoHQ","isFork":false,"description":"Aleo instructions syntax","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":12,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-06T13:15:36.033Z"}},{"type":"Public","name":"sublimelsp-repository","owner":"AleoHQ","isFork":true,"description":"Package repository for Package Control","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":24,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-19T17:25:50.034Z"}},{"type":"Public","name":"linguist","owner":"AleoHQ","isFork":true,"description":"Language Savant. If your repository's language is being reported incorrectly, send us a pull request!","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4076,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-22T10:34:19.626Z"}},{"type":"Public","name":"aleo-instructions-syntax-sublime","owner":"AleoHQ","isFork":false,"description":"Aleo instructions syntax highlighting for Sublime editor","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-19T16:50:13.992Z"}},{"type":"Public","name":"package_control_channel","owner":"AleoHQ","isFork":true,"description":"Default channel file for Package Control. Follow the directions at:","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3621,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-19T15:39:49.338Z"}},{"type":"Public","name":"aleo-setup-integration-test","owner":"AleoHQ","isFork":false,"description":"Integration testing for aleo-setup and aleo-setup-coordinator","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":3,"issueCount":3,"starsCount":10,"forksCount":17,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-17T01:44:26.739Z"}},{"type":"Public","name":"nemean","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":2,"issueCount":0,"starsCount":5,"forksCount":8,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-06T22:04:36.449Z"}},{"type":"Public","name":"leo-acl2-bin","owner":"AleoHQ","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-23T08:09:51.283Z"}},{"type":"Public","name":"bounty-2022-ethdenver","owner":"AleoHQ","isFork":false,"description":"The Aleo bounty descriptions for the EthDenver 2022 hackathon.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-14T19:53:26.953Z"}},{"type":"Public","name":"community","owner":"AleoHQ","isFork":false,"description":"A place for everyone to collaborate and communicate: Agendas and meeting notes. ","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":3,"issueCount":0,"starsCount":7,"forksCount":15,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-11T17:36:36.836Z"}},{"type":"Public","name":"rust-rocksdb","owner":"AleoHQ","isFork":true,"description":"rust wrapper for rocksdb","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":699,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-16T22:29:38.954Z"}},{"type":"Public","name":"highlight.js","owner":"AleoHQ","isFork":true,"description":"JavaScript syntax highlighter with language auto-detection and zero dependencies.","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3511,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-21T07:29:49.596Z"}},{"type":"Public","name":"leo-plugins","owner":"AleoHQ","isFork":false,"description":"A repository to file bugs and feature requests for Leo plugins","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":10,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-24T04:41:01.748Z"}},{"type":"Public","name":"yew_webview_bridge","owner":"AleoHQ","isFork":true,"description":"2-way communication between yew and web-view","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":2,"issueCount":0,"starsCount":2,"forksCount":9,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-19T05:41:50.968Z"}}],"repositoryCount":39,"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"}