We develop algorithms for enzyme and antibody design and verify them using high-throughput experiments.