| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| ProjectOpenSea/seaport | SolidityTypeScriptOther | 2k | +2 | 556 | 0 |
| pentagonxyz/huffmate | Solidity | 383 | +2 | 53 | +1 |
| ethereum/hevm | HaskellSolidityNix | 169 | +2 | 31 | +3 |
| returntocorp/semgrep-rules | SolidityHCLJava | 617 | +2 | 336 | -1 |
| bt3gl-labs/1337_blockchain_hacker_toolkit | SolidityOther | 230 | +2 | 45 | 0 |
| dabit3/foundry-workshop | SolidityJavaScriptRuby | 123 | +2 | 12 | 0 |
| PaulRBerg/prb-math | Solidity | 701 | +2 | 103 | 0 |
| refcell/femplate | SolidityShell | 354 | +2 | 50 | 0 |
| thomas-waite/erc4337-wallet | SolidityShell | 72 | +2 | 10 | +1 |
| crytic/properties | SolidityJavaScript | 157 | +2 | 26 | 0 |
| code-423n4/2023-03-zksync | SolidityYulTypeScript | 32 | +2 | 16 | 0 |
| mouseless-eth/rusty-sando | RustSolidity | 598 | +2 | 213 | +2 |
| flashbots/simple-blind-arbitrage | SolidityJavaScriptRuby | 277 | +2 | 67 | +2 |
| smartcontractkit/chainlink-brownie-contracts | SolidityTypeScriptOther | 159 | +2 | 42 | 0 |
| saucepoint/v4-template | Solidity | 149 | +2 | 10 | 0 |
| DeBankDeFi/DeBankChain | GoSolidityTypeScript | 220 | +2 | 60 | +1 |
| Consensys/linea-attestation-registry | SolidityTypeScriptOther | 24 | +2 | 9 | +3 |
| dapphub/ds-test | SolidityOther | 186 | +1 | 70 | 0 |
| nicolasgarcia214/damn-vulnerable-defi-foundry | SolidityShellMakefile | 431 | +1 | 151 | +1 |
| provable-things/ethereum-api | SolidityOther | 775 | +1 | 435 | +1 |
| dmfxyz/murky | SolidityTypeScript | 300 | +1 | 21 | -1 |
| foundry-rs/forge-template | Solidity | 354 | +1 | 99 | 0 |
| runtimeverification/evm-semantics | SolidityPythonShell | 479 | +1 | 134 | 0 |
| maple-labs/contract-test-utils | SolidityShellMakefile | 22 | +1 | 1 | 0 |
| kupl/VeriSmart-benchmarks | Solidity | 50 | +1 | 14 | 0 |