March is a statically-typed functional language: actors and message passing from the BEAM, algebraic data types from ML, compiled to native binaries through LLVM.
Resource-safe, effect-typed programs in syntax you already know. A checked affine core with familiar Faces — JavaScript-, Python-, functional-, and pseudocode-shaped surfaces — compiling to typed WebAssembly.
Research language whose affine/QTT core is proved sound twice — Coq and Idris2, axiom-free and CI-gated — with the verified usage-checker ported into the Rust compiler. Nested Solo ⊂ Duet ⊂ Ensemble dialects, session-typed concurrency, echo types for loss that isn't erasure. Early alpha.
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
A Memory Safe Language with a Declarative Concurrency Model
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.
Wrap code in affine + dependent types targeting WASM via AffineScript
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."