Silq: A strongly-typed high-level programming language for quantum computing
silq.ethz.ch