| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| code-423n4/2023-03-zksync | SolidityYulTypeScript | 11 | +1 | 10 | +5 |
| ethereum/solidity | C++SolidityYul | 19.7k | 0 | 4.9k | 0 |
| blockscout/blockscout-rs | RustSolidityTypeScript | 52 | 0 | 28 | 0 |
| goncaloMagalhaes/erc20-low-level | SolidityYul | 43 | 0 | 2 | 0 |
| leonardoalt/yools | SMTRustYul | 114 | 0 | 4 | 0 |
| axiom-crypto/axiom-eth | YulRustOther | 30 | 0 | 3 | 0 |
| axiom-crypto/axiom-apps | YulSolidityRust | 21 | 0 | 3 | 0 |
| matter-labs/era-system-contracts | SolidityYulTypeScript | 25 | 0 | 1 | 0 |