Skip to content
#

resource-safe-wasm

Star

Here are 6 public repositories matching this topic...

Language: All
Filter by language
All 6 Just 5 OCaml 1

hyperpolymath / affinescript

Sponsor
Star 3

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.

programming-language open-source ocaml webassembly language-design formal-verification multi-syntax-language research-software type-systems capability-based-security affine-types hyperpolymath affinescript epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm effect-typed
  • Updated Sep 26, 2026
  • OCaml

hyperpolymath / jaffascript

Sponsor
Star 2

JavaScript/TypeScript-syntax AffineScript — affine resource guarantees + typed-wasm output for JS/TS-shaped code

programming-language open-source reproducible-research type-theory face language-design just multi-syntax-language research-software hyperpolymath affinescript epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm effect-typed equivalence-aware-computing typed-provenance
  • Updated Sep 26, 2026
  • Just

hyperpolymath / rattlescript

Sponsor
Star 2

Python-syntax AffineScript — write Python-style code, get affine resource guarantees and typed WASM

programming-language open-source webassembly language-design linear-types multi-syntax-language research-software type-systems affine-types hyperpolymath affinescript epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm effect-typed equivalence-aware-computing typed-provenance
  • Updated Sep 26, 2026
  • Just

hyperpolymath / cafescripto

Sponsor
Star 2

CoffeeScript-syntax AffineScript — affine resource guarantees + typed-wasm output for CoffeeScript-shaped code

programming-language open-source reproducible-research type-theory language-design just multi-syntax-language research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm effect-typed equivalence-aware-computing typed-provenance
  • Updated Sep 26, 2026
  • Just

hyperpolymath / lucidscript

Sponsor
Star 2

PureScript / Haskell-syntax AffineScript — affine resource guarantees + typed-wasm output for PureScript/Haskell-shaped code

programming-language open-source reproducible-research type-theory language-design just multi-syntax-language research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm effect-typed equivalence-aware-computing typed-provenance
  • Updated Sep 26, 2026
  • Just

Add this topic to your repo

To associate your repository with the resource-safe-wasm topic, visit your repo's landing page and select "manage topics."

Learn more