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.
A statically-typed, quantum-classical hybrid programming language with affine type safety and OpenQASM 2.0 compilation.
Five approaches to building a programming language with every known level of type safety (10 levels, from basic types to homotopy types). An exploration mapping the territory of type safety via five concurrent routes (extend, dyadic, aspect, aggregate, clean-slate) sharing a common test suite and documenting all failures in a stumble journal.
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.
Python-syntax AffineScript — write Python-style code, get affine resource guarantees and typed WASM
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.
A Memory Safe Language with a Declarative Concurrency Model
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."