1. Succinct Non-interactive ARgument of Knowledge
2. Simple, connected, bridgeless cubic graph with chromatic index equal to 4
3. SRI's New Automated Reasoning Kit
4. 90° stable glider reflector
An entire reimplemented alternative is Pequin (and related projects by Michael Walfish's group) https://github.com/pepper-project/pequin
Thanks for the heads up - we should have specified this constraint about p and q.