Tag

WebAssembly

8 pages linked to this topic.

Refine the result list or use the related tags on each page to continue navigating the content.

FrontMark Syntax

Binary Model

Binary Contract, controlled pseudo-code, deterministic C or MoonBit source, WASM, runtime validation, and Binary Agreement.

FrontMark Syntax

C And MoonBit To WASM

Deterministic source generation and validated WebAssembly compilation for sigMAX handlers.

sigMAX WebAssembly Clang LLVM MoonBit deterministic generation

FrontMark Syntax

COS2000 WASM Executor

The operating system behind sigMAX Pro execution, with typed WASM services, native primitives, external storage and service adapters, compilation, deployment and diagnostics.

sigMAX Pro COS2000 WebAssembly WAMR Kubernetes KubeVirt

FrontMark Syntax

Pseudocode DSL

The sigMAX v0.3 closed pseudocode grammar and deterministic C or MoonBit generation.

sigMAX pseudocode DSL contracts deterministic generation WebAssembly

Page

sigMAX — Core and Pro

Contract-first application generation. Core on one Docker Compose host; Pro with COS2000 WebAssembly executors in KubeVirt virtual machines.

sigMAX Core Pro contract-first WebAssembly COS2000

FrontMark Syntax

sigMAX Overview

The contract-first application model and the Core and Pro deployment architectures, including the COS2000 WASM executor.

sigMAX overview contract-first runtime WebAssembly contracts agreements Core Pro

FrontMark Syntax

sigMAX Pro

Proprietary sigMAX edition on Kubernetes with COS2000 WebAssembly executors in virtual machines managed by KubeVirt.

sigMAX Pro Kubernetes KubeVirt COS2000 WebAssembly

FrontMark Syntax

WASM Execution Boundaries

WASM controls in Core and the COS2000 virtual-machine execution boundary in Pro.

sigMAX WebAssembly security Core Pro COS2000 KubeVirt