There are 1 repository under trailofbits topic.
Breaking ECDSA (not so broken) with LLL
Smart Contract (solidity) Analyzer using Docker, Go and Slither
Slither Tooling
Simple Repo to Test Echidna
Test of Slither