Transilvania Quantum

A software quantum computing company.

lambdaQ - a Functional Programming Language for Quantum Computing

This is an ongoing project supported by the Unitary Fund. You can follow our progress on our GitHub project page. Being a functional language, the syntax is inspired by Haskell with added support for linear types in order to account for the no-cloning property of quantum data. The project includes syntax highlighting support for Vim and Visual Studio Code. In the first iteration the code will be compiled to OpenQASM and later to the LLVM Quantum Intermediate Representation (QIR) which will enable full interoperability with multiple quantum hardware providers. The screenshots below exemplify the lambdaQ syntax:

Quantum Coin Flip:
Deutsch Algorithm:
Deutsch Jozsa Algorithm:
Teleportation Protocol:
Grover's Algorithm: