GitHub repository: synaptic-cl/pepper
Primary language: C
Description: A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.