{"payload":{"pageCount":6,"repositories":[{"type":"Public","name":"aave-proposals-reports","owner":"Certora","isFork":true,"description":"BGD reports of Aave governance proposals","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"GNU General Public License v3.0","participation":[3,4,1,5,1,1,3,3,2,2,2,0,4,3,5,1,5,3,1,0,0,3,0,3,4,4,6,9,4,12,2,8,4,11,2,8,7,9,4,6,0,10,2,5,9,8,0,2,6,2,10,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-15T10:36:05.316Z"}},{"type":"Public","name":"Documentation","owner":"Certora","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":16,"issueCount":0,"starsCount":15,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-15T09:18:30.266Z"}},{"type":"Public","name":"Examples","owner":"Certora","isFork":false,"description":"An index repository with submodules for different examples of Certora projects","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":8,"issueCount":0,"starsCount":61,"forksCount":26,"license":null,"participation":[11,10,5,21,15,11,13,4,4,7,2,16,15,12,10,23,2,14,5,22,5,9,2,1,3,10,1,0,4,13,5,5,4,10,8,9,4,5,1,4,0,1,4,1,6,7,2,4,8,3,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-13T06:25:45.964Z"}},{"type":"Public","name":"gho-core","owner":"Certora","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":88,"license":"MIT License","participation":[2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,1,4,3,1,0,1,0,0,0,3,0,0,0,0,0,0,0,0,0,0,1,2,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-12T16:39:56.849Z"}},{"type":"Public","name":"etherfi-smart-contracts-fork","owner":"Certora","isFork":true,"description":"ether.fi's smart contracts repo","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":23,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-12T11:31:54.648Z"}},{"type":"Public","name":"euler-reward-streams","owner":"Certora","isFork":true,"description":"Reward Streams allows permissionless rewards distribution of multiple tokens in staking and staking-free manner","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":6,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-07T20:05:34.870Z"}},{"type":"Public","name":"safe-modules","owner":"Certora","isFork":true,"description":"A collection of modules that can be used with the Safe contract","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":0,"starsCount":0,"forksCount":73,"license":"GNU Lesser General Public License v3.0","participation":[1,1,0,1,0,0,1,3,10,17,24,26,10,15,10,22,6,40,10,0,19,27,6,9,9,10,4,1,11,4,11,7,5,15,9,4,4,4,8,2,1,4,6,9,3,1,6,2,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-30T21:21:06.606Z"}},{"type":"Public","name":"SolanaExamples","owner":"Certora","isFork":false,"description":"Provide Solana example for customers","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"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,4,1,0,0,0,0,0,0,16,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,10,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-24T14:11:52.092Z"}},{"type":"Public","name":"account-abstraction","owner":"Certora","isFork":true,"description":"eth foundation","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":611,"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-07-23T13:33:03.372Z"}},{"type":"Public","name":"docs-infrastructure","owner":"Certora","isFork":false,"description":"Infrastructure for Certora documentation, tutorials and others.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"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,2,3,42,1,0,0,0,12,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,6,1,3,2,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-22T13:39:56.882Z"}},{"type":"Public","name":"solana-cvt","owner":"Certora","isFork":false,"description":"A library to write verification harnesses for the Solana Certora Prover","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-19T10:53:07.008Z"}},{"type":"Public","name":"ilmOriginal","owner":"Certora","isFork":true,"description":"integrated liquidity market","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-18T15:43:49.672Z"}},{"type":"Public","name":"vscode-certora-prover","owner":"Certora","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Svelte","color":"#ff3e00"},"pullRequestCount":4,"issueCount":0,"starsCount":4,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-13T07:50:50.889Z"}},{"type":"Public","name":"agora-dollar-access-control-evm_1","owner":"Certora","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-11T15:29:16.408Z"}},{"type":"Public","name":"fuzz-vs-fv-showdown","owner":"Certora","isFork":false,"description":"Study of fuzzing vs formal verification ","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:49:01.481Z"}},{"type":"Public","name":"fuzz-vs-fv","owner":"Certora","isFork":true,"description":"based on crytic comparison ","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:47:52.110Z"}},{"type":"Public","name":"solidity-fuzzing-comparison","owner":"Certora","isFork":true,"description":"A comparison of solidity fuzzing to FV","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T15:47:33.676Z"}},{"type":"Public","name":"aave-v3-risk-stewards","owner":"Certora","isFork":true,"description":"Smart contracts to change Aave v3.1 risk configurations with constraints","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T11:36:04.584Z"}},{"type":"Public","name":"codex-contracts-eth","owner":"Certora","isFork":true,"description":"Ethereum smart contracts for Codex","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T14:25:23.885Z"}},{"type":"Public","name":"agora-dollar-evm-rc","owner":"Certora","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T01:52:22.690Z"}},{"type":"Public","name":"aave-governance-v3","owner":"Certora","isFork":true,"description":"Aave Governance V3","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":15,"issueCount":0,"starsCount":0,"forksCount":9,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-05T10:16:18.566Z"}},{"type":"Public","name":"euler-evk-periphery","owner":"Certora","isFork":true,"description":"Periphery contracts for use with the Euler Vault Kit (EVK)","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"GNU General Public License v2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-30T11:31:08.107Z"}},{"type":"Public","name":"euler-vault-cantina-fv","owner":"Certora","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-26T18:08:56.367Z"}},{"type":"Public","name":"collections","owner":"Certora","isFork":false,"description":"Memory-effficient immutable collection types for Kotlin","allTopics":["kotlin","map","set","maps","collections","persistent-data-structure","memory-efficient","memory-efficiency","treaps","sets","treap"],"primaryLanguage":{"name":"Kotlin","color":"#A97BFF"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-23T22:25:25.597Z"}},{"type":"Public","name":"aave-v3-origin","owner":"Certora","isFork":true,"description":"Aave v3.1 protocol","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-23T13:21:14.472Z"}},{"type":"Public","name":"solana","owner":"Certora","isFork":true,"description":"Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4075,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-14T21:26:46.291Z"}},{"type":"Public","name":"aave-delivery-infrastructure","owner":"Certora","isFork":true,"description":"Abstraction layer for cross-chain communication","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":14,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-09T10:56:40.308Z"}},{"type":"Public","name":"fund-eq-of-dai-certora","owner":"Certora","isFork":true,"description":"Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-04T18:21:43.858Z"}},{"type":"Public","name":"ccip","owner":"Certora","isFork":true,"description":"Cross Chain Interoperability Protocol","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":37,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T11:00:54.812Z"}},{"type":"Public","name":"gambit","owner":"Certora","isFork":false,"description":"Using mutations to improve specs and test suites","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":8,"starsCount":159,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-21T21:56:55.808Z"}}],"repositoryCount":175,"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":"Certora repositories"}