SPOC

Kernels compile automatically to CUDA, OpenCL, Vulkan, Metal, and CPU backends, enabling write-once, run-anywhere development without code changes.

Uses GADTs and phantom types for compile-time guarantees, preventing common GPU programming errors like memory access violations in kernels.

Implements efficient memory sharing between host and device, minimizing data transfer overhead and improving performance for data-intensive computations.

Fully supports OCaml 5.4 with effect handlers and domains, allowing seamless use of contemporary OCaml features alongside GPU computing.