Pinocchio VM
Primary LanguageC
This repository contains the C sources of Pinocchio.
More information on Google code.