GitHub repository: zamdzhiev/Qimaera
Primary language: Idris
Created: 2021-08-17T16:43:10Z
Description: Idris libraries for type safe (variational) quantum programming