SMC2, or Secure Multiparty Computation in C, is the formalization and extension of the PICCO compiler, designed for general purpose secure multiparty computations.
SMC2 is built using the PICCO compiler, whose main repository can be found here: https://github.com/PICCO-Team/picco.
The Docker implementation can be found here: https://github.com/SMC2-Team/smc2.