Ethereum is the only example I've found that comes close, but it's poorly commented and only implements a small set of details of libp2p.