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.
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.
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.
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
A Memory Safe Language with a Declarative Concurrency Model
Wrap code in affine + dependent types targeting WASM via AffineScript
Reusable AffineScript libraries (design stage): a KYAML (Kubernetes YAML) lexer/AST/parser draft, with jq-style query DSLs, Kubernetes lint rules, data structures and FFI bindings planned. Intended core of kcq.
A functional language with algebraic effects, a type-and-effect system, refinement types, information-flow security, and cooperative concurrency — single-file reference interpreter.
Types, Proofs and Ownership: a free book on type theory, logic and category theory through Rust and Lean 4. Every idea in math, Rust and machine-checked Lean proofs, building to: are Rust's ownership and lifetimes really affine types?
An experimental systems programming language with unified effects, proof-driven safety, and hybrid memory management.
To associate your repository with the affine-types topic, visit your repo's landing page and select "manage topics."