{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"zkay-jsnark","owner":"eth-sri","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-21T08:28:37.966Z"}},{"type":"Public","name":"soltix","owner":"eth-sri","isFork":false,"description":"SOLTIX: Scalable automated framework for testing Solidity compilers.","topicNames":["testing","security","ethereum","solidity","fuzzing","smartcontracts"],"topicsNotShown":0,"allTopics":["testing","security","ethereum","solidity","fuzzing","smartcontracts"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":10,"issueCount":0,"starsCount":37,"forksCount":8,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-13T15:32:14.192Z"}},{"type":"Public","name":"securify","owner":"eth-sri","isFork":false,"description":"[DEPRECATED] Security Scanner for Ethereum Smart Contracts","topicNames":["security","static-analysis","ethereum","datalog","obsolete","depricated","smart-contract","solidity","evm","chainsecurity"],"topicsNotShown":0,"allTopics":["security","static-analysis","ethereum","datalog","obsolete","depricated","smart-contract","solidity","evm","chainsecurity"],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":18,"starsCount":216,"forksCount":50,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-01-23T17:02:22.795Z"}}],"repositoryCount":3,"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"}