Counter-Attack A meta-adversarial defense that uses attacks as defenses Convergent Sequent Calculator Python prover for sequent calculus UG100 Dataset of optimal & approximate adversarial examples for MNIST and CIFAR10. zang On-chain text token platform Mordecai A data-driven Twitter client IPFS Chrome Search Search on IPFS directly from the Chrome omnibar Vite Joint Account A Vite-compatible multisig contract Vite Token Auction A Vite-compatible token auction contract