https://johnhenry.github.io Some recent projects: https://succinct.link