ZX's starred repositories
wav2letter
Facebook AI Research's Automatic Speech Recognition Toolkit
blockscout
Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.
consensus-specs
Ethereum Proof-of-Stake Consensus Specifications
awesome-decentralized-finance
A curated list of awesome decentralized finance projects
verified-smart-contracts
Smart contracts which are formally verified
go-libp2p-kad-dht
A Kademlia DHT implementation on go-libp2p
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
go-libp2p-pubsub
The PubSub implementation for go-libp2p
specs-actors
DEPRECATED Specification of builtin actors, in the form of executable code.
wasm-chisel
Some useful utilities to transform WebAssembly binaries.
py-multiaddr
multiaddr implementation in Python
adex-protocol-substrate
Substrate implementation of the AdEx Protocol v4: OUTPACE & Registry
go-libp2p-webrtc-star
libp2p WebRTC transport in Go that includes a discovery mechanism provided by the signalling-star
CryptoLife
A repo for all the #CryptoLife Hackathon submissions, The National House Smichov, Prague, 26-28th October 2018.
guidelines
Smart Contract Security Guidelines
humminglend
A lending bot that maximizes the interest you earn from decentralized lending protocols like Compound Finance