{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"building-secure-contracts","owner":"crytic","isFork":false,"description":"Guidelines and training material to write secure smart contracts","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":29,"issueCount":38,"starsCount":2106,"forksCount":330,"license":"GNU Affero General Public License v3.0","participation":[6,0,1,15,2,50,1,3,2,0,9,0,1,1,0,1,3,0,0,0,0,0,0,0,0,0,4,0,0,0,2,3,0,0,0,2,5,32,0,0,2,0,0,0,10,0,0,5,0,4,8,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T19:17:41.991Z"}},{"type":"Public","name":"properties","owner":"crytic","isFork":false,"description":"Pre-built security properties for common Ethereum operations","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":6,"issueCount":20,"starsCount":251,"forksCount":38,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,14,11,0,0,0,0,0,0,0,0,0,0,0,2,0,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,2,2,0,0,0,0,0,0,0,17],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T11:35:14.651Z"}},{"type":"Public","name":"echidna","owner":"crytic","isFork":false,"description":"Ethereum smart contract fuzzer","allTopics":["testing","security","ethereum","smart-contracts","solidity","fuzzer","evm"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":20,"issueCount":131,"starsCount":2600,"forksCount":335,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T17:29:13.724Z"}},{"type":"Public","name":"fuzz-utils","owner":"crytic","isFork":false,"description":"A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":16,"starsCount":82,"forksCount":3,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T13:57:56.037Z"}},{"type":"Public","name":"diffusc","owner":"crytic","isFork":false,"description":"Experimental tool to ease the review of smart contracts upgrades","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":2,"starsCount":69,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T09:17:58.689Z"}},{"type":"Public","name":"secureum-medusa","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":43,"forksCount":10,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-24T12:18:54.399Z"}},{"type":"Public","name":"abdk-libraries-solidity","owner":"crytic","isFork":true,"description":"Echidna testing of floating point libraries for Solidity created by ABDK Consulting","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":112,"license":"BSD 4-Clause \"Original\" or \"Old\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-21T03:11:57.135Z"}},{"type":"Public","name":"damn-vulnerable-defi-echidna","owner":"crytic","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":2,"issueCount":0,"starsCount":12,"forksCount":15,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-11T16:48:58.236Z"}},{"type":"Public","name":"echidna-streaming-series","owner":"crytic","isFork":false,"description":"A 6-part series on how to use Echidna on real-world codebases","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":4,"issueCount":2,"starsCount":89,"forksCount":32,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-29T21:19:31.363Z"}},{"type":"Public","name":"slither-docs-demo","owner":"crytic","isFork":false,"description":"A demo on how to use the slither-docs actions (<a href=\"https://github.com/crytic/slither-docs-action\">https://github.com/crytic/slither-docs-action</a>)","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":0,"starsCount":10,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-24T16:21:52.386Z"}},{"type":"Public archive","name":"not-so-smart-contracts","owner":"crytic","isFork":false,"description":"Examples of Solidity security issues","allTopics":["ethereum","solidity","vulnerabilities"],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":6,"issueCount":5,"starsCount":2113,"forksCount":332,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-24T12:18:59.013Z"}},{"type":"Public","name":"echidna-yacademy-demo","owner":"crytic","isFork":true,"description":"Example code for testing using Echidna explained during the yAcademy presentation","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-08T16:31:41.386Z"}},{"type":"Public","name":"echidna-spearbit-demo","owner":"crytic","isFork":false,"description":"Example code for testing using Echidna explained during the Spearbit presentation","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":38,"forksCount":4,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-06T11:25:56.602Z"}},{"type":"Public","name":"addressarrayutils_demo","owner":"crytic","isFork":false,"description":"Demonstration for using echidna to test a Solidity library","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-06T17:00:43.833Z"}}],"repositoryCount":14,"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"}