a multi-syntax language
-
Updated
Mar 13, 2016 - Ruby
#
multi-syntax-language
Here are 4 public repositories matching this topic...
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 webassembly language-design formal-verification multi-syntax-language type-systems capability-security resource-safety affine-types affinescript typed-wasm cs-education-research
-
Updated
Jun 29, 2026 - OCaml
Master multiple programming languages in one place
-
Updated
Jun 28, 2026 - PHP
Master multiple programming languages in one place
-
Updated
Jun 3, 2026 - Shell
Improve this page
Add a description, image, and links to the multi-syntax-language topic page so that developers can more easily learn about it.
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."