a multi-syntax language
-
Updated
Mar 13, 2016 - Ruby
#
multi-syntax-language
Here are 9 public repositories matching this topic...
Master multiple programming languages in one place
-
Updated
Aug 30, 2026 - PHP
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 19, 2026 - OCaml
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 19, 2026 - Just
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 19, 2026 - Just
Pseudocode-syntax AffineScript — first-language for CS pedagogy that compiles and runs
programming-language open-source reproducible-research teaching type-theory language-design just multi-syntax-language research-software hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing resource-safe-wasm equivalence-aware-computing typed-provenance
-
Updated
Sep 19, 2026 - Just
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 19, 2026 - Just
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 19, 2026 - Just
Master multiple programming languages in one place
-
Updated
Sep 5, 2026 - Shell
Add this topic to your repo
To associate your repository with the multi-syntax-language topic, visit your repo's landing page and select "manage topics."