A Memory Safe Language with a Declarative Concurrency Model
The effect row is the abstraction; the backend picks the mechanism. An affine-typed language compiling to verifiable typed WebAssembly and Deno.
A statically-typed, quantum-classical hybrid programming language with affine type safety and OpenQASM 2.0 compilation.
Python-syntax AffineScript — write Python-style code, get affine resource guarantees and typed WASM
Wrap code in affine + dependent types targeting WASM via AffineScript
Dyadic linear+affine type system for compile-time WASM memory safety — no use-after-free, no leaks, region-based allocation. Mechanically proved in Coq and Idris2.
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."