A repository for investigation of p-computation type unification, circuitry, programming, and compilation.