{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"zkwasm-fv","owner":"CertiKProject","isFork":false,"description":"Formal verification of the zkWasm project","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-13T18:47:18.138Z"}},{"type":"Public","name":"erigon","owner":"CertiKProject","isFork":true,"description":"Ethereum implementation on the efficiency frontier","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1092,"license":"GNU Lesser General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-08T06:47:09.714Z"}},{"type":"Public","name":"slither-certik","owner":"CertiKProject","isFork":true,"description":"CertiK fork of Slither Analyzer","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":960,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-17T14:47:28.065Z"}},{"type":"Public","name":"hello-20world","owner":"CertiKProject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-15T10:00:25.471Z"}},{"type":"Public","name":"ultimate","owner":"CertiKProject","isFork":true,"description":"The Ultimate program analysis framework.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":40,"license":null,"participation":[62,18,19,13,42,21,38,58,111,28,46,2,4,2,1,8,10,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-23T12:38:02.438Z"}},{"type":"Public","name":"smartbugs-certik","owner":"CertiKProject","isFork":true,"description":"SmartBugs: A Framework to Analyze Ethereum Smart Contracts","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":137,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-27T20:19:54.080Z"}},{"type":"Public","name":"FAR","owner":"CertiKProject","isFork":false,"description":"Documents supporting the FAR(Freeze-Asset_Request) technical standard","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"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":"2023-09-01T00:04:15.060Z"}},{"type":"Public","name":"action-required-review","owner":"CertiKProject","isFork":true,"description":"GitHub Action that will check if all review requirements are met for a PR. This repository is a mirror of component in monorepo: <a href=\"https://github.com/automattic/jetpack\">https://github.com/automattic/jetpack</a>","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T13:15:14.296Z"}},{"type":"Public","name":"solc-select","owner":"CertiKProject","isFork":true,"description":"Manage and switch between Solidity compiler versions","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":0,"starsCount":0,"forksCount":99,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-24T12:02:21.017Z"}},{"type":"Public","name":"yara-python","owner":"CertiKProject","isFork":true,"description":"The Python interface for YARA","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":179,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-10T02:29:55.234Z"}},{"type":"Public","name":"yara","owner":"CertiKProject","isFork":true,"description":"The pattern matching swiss knife","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1430,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-09T08:12:10.970Z"}},{"type":"Public archive","name":"datadog-api-client-typescript","owner":"CertiKProject","isFork":true,"description":"Typescript client for the Datadog API","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-09T20:39:38.380Z"}},{"type":"Public","name":"move-prover-blog","owner":"CertiKProject","isFork":false,"description":"Source code repository for CertiK's blog on the Move Prover","allTopics":[],"primaryLanguage":{"name":"Move","color":"#4a137a"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-09T20:36:14.286Z"}},{"type":"Public","name":"ocaml-solidity","owner":"CertiKProject","isFork":true,"description":"CertiK fork of the ocaml-solidity parser.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-08T00:49:01.475Z"}},{"type":"Public","name":"echidna_fuzzer","owner":"CertiKProject","isFork":true,"description":"Ethereum smart contract fuzzer","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":357,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-24T18:46:25.014Z"}},{"type":"Public","name":"CTF_MOVEMENT_2022","owner":"CertiKProject","isFork":false,"description":"CTF_MOVEMENT_2022","allTopics":[],"primaryLanguage":{"name":"Move","color":"#4a137a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"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,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-12-19T14:52:49.319Z"}},{"type":"Public","name":"MOVE-CTF-2022","owner":"CertiKProject","isFork":false,"description":"MOVE-CTF-2022","allTopics":[],"primaryLanguage":{"name":"Move","color":"#4a137a"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-22T18:10:03.695Z"}},{"type":"Public","name":"test_vulnerable","owner":"CertiKProject","isFork":false,"description":"vulnerable projects to test defect_tester","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-31T23:42:03.217Z"}},{"type":"Public archive","name":"SWC-registry","owner":"CertiKProject","isFork":true,"description":"CertiK Extended Smart Contract Weakness Classification and Test Cases","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":2,"starsCount":4,"forksCount":165,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-15T03:44:39.005Z"}},{"type":"Public","name":"crytic-compile","owner":"CertiKProject","isFork":true,"description":"Abstraction layer for smart contract build systems","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":84,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-08T16:31:56.737Z"}},{"type":"Public archive","name":"arbitrage-bot","owner":"CertiKProject","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-11T22:05:26.705Z"}},{"type":"Public","name":"shentu","owner":"CertiKProject","isFork":true,"description":"A Cross-chain Protocol with Security Scoring and Decentralized Reimbursements for Building Secure dApps and Blockchains","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":52,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-10T05:34:39.090Z"}},{"type":"Public","name":"SmartPulseTool","owner":"CertiKProject","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-02T20:09:58.339Z"}},{"type":"Public","name":"Certified-DeFi","owner":"CertiKProject","isFork":false,"description":"A Certified Version of Uniswap V2: A Leap Forward in True Decentralization","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-27T20:54:51.949Z"}},{"type":"Public","name":"validator-directory","owner":"CertiKProject","isFork":true,"description":"validator-directory","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":38,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-30T13:17:09.807Z"}},{"type":"Public","name":"vercel_ruby","owner":"CertiKProject","isFork":true,"description":"WIP Vercel Serverless Functions written in Ruby","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-12T19:28:59.884Z"}},{"type":"Public","name":"certik-a-tour-of-solidity-tutorials","owner":"CertiKProject","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":2,"starsCount":16,"forksCount":9,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-12T22:54:46.176Z"}}],"repositoryCount":27,"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":"CertiKProject repositories"}