Prototypes details

  • The GoPi compiler
  • The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs. https://github.com/marcogiunti/gopi
  • 03 Jun 2019
  • https://sites.fct.unl.pt/gopi/home
  • Marco Giunti