A statically-typed, quantum-classical hybrid programming language with affine type safety and OpenQASM 2.0 compilation.
-
Updated
Jan 30, 2026 - Rust
#
affine-types
Here are 2 public repositories matching this topic...
Programming language combining affine types, dependent types, and extensible effects - compiling to WebAssembly
programming-language dependent-types performance integration compiler ocaml ffi effects webassembly wasm interop systems developer-tools type-system starred row-polymorphism palimpsest affine-types hyperpolymath extended-language-tools
-
Updated
Feb 15, 2026 - OCaml
Improve this page
Add a description, image, and links to the affine-types topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the affine-types topic, visit your repo's landing page and select "manage topics."