web-platform-tests / wpt

Test suites for Web platform specs — including WHATWG, W3C, and others

ShiftLeftSecurity / codepropertygraph

Code Property Graph: specification, query language, and utilities

a16z / erc4626-tests

ERC4626 Property Tests