hyperpolymath/affinescript

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.

语言：OCaml · GitHub 星标：3 · Fork：0

话题：affine-types · affinescript · capability-based-security · effect-typed · epistemic-computing · epistemic-infrastructure · formal-verification · hyperpolymath

在 GitHub 上查看原仓库