affine-types

Here are 2 public repositories matching this topic...

Programming language combining affine types, dependent types, and extensible effects - compiling to WebAssembly

A statically-typed, quantum-classical hybrid programming language with affine type safety and OpenQASM 2.0 compilation.

programming-language rust compiler quantum-computing qasm quantum-systems affine-types qclang

Add a description, image, and links to the affine-types topic page so that developers can more easily learn about it.

To associate your repository with the affine-types topic, visit your repo's landing page and select "manage topics."