GitHub repository: stratumn/pequin
Primary language: C
Description: A system for verifying outsourced computations. Simplified release of the main Pepper codebase.