GitHub repository: pinocchio/p
Primary language: C
Description: Pinocchio VM