{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"pr-agent","owner":"LayerXcom","isFork":true,"description":"🚀CodiumAI PR-Agent: An AI-Powered 🤖 Tool for Automated Pull Request Analysis, Feedback, Suggestions and More! 💻🔍","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":373,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-30T23:17:37.701Z"}},{"type":"Public archive","name":"verified-vyper-contracts","owner":"LayerXcom","isFork":false,"description":"FVyper: A collection of useful Vyper contracts developed with formal methods","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":19,"starsCount":55,"forksCount":16,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-19T15:12:35.211Z"}},{"type":"Public archive","name":"cbc-beacon-chain","owner":"LayerXcom","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":5,"starsCount":3,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-29T18:54:12.378Z"}},{"type":"Public","name":"cbc-casper-simulator","owner":"LayerXcom","isFork":false,"description":"CBC Casper simulator","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":22,"starsCount":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-25T22:31:28.972Z"}},{"type":"Public","name":"vyper","owner":"LayerXcom","isFork":true,"description":"Pythonic Smart Contract Language for the EVM","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":782,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-14T04:55:17.338Z"}},{"type":"Public","name":"verified-smart-contracts","owner":"LayerXcom","isFork":true,"description":"NOTE: This project moved to <a href=\"https://github.com/LayerXcom/verified-plasma-contracts\">https://github.com/LayerXcom/verified-plasma-contracts</a>","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":19,"starsCount":0,"forksCount":127,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-04T05:08:39.601Z"}},{"type":"Public","name":"icon-score-dev","owner":"LayerXcom","isFork":false,"description":"an example of icon-score smart contract development","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-19T08:04:48.650Z"}},{"type":"Public","name":"verified-plasma-contracts","owner":"LayerXcom","isFork":false,"description":"Formal Verification for Plasma-mvp","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":7,"starsCount":6,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-11-12T07:13:19.407Z"}}],"repositoryCount":8,"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"}