Raly. playground

wasm

Raly is an experimental language for vector-symbolic computation. Operations such as bind, bundle, and permute are language primitives, which lets the type checker track properties that ordinary tensor shapes do not express.

Current scope. This page runs the same compiler front end as the command-line tool, compiled to WebAssembly. On every edit it runs the lexer, parser, name resolver, and type checker, then displays diagnostics from the compiler's renderer. This browser page checks code but does not execute it yet. The command-line runtime separately executes pure constants and emits replay receipts; vector-symbolic operations still have no runtime backend.
Examples
playground.raly lex · parse · resolve · typecheck
1:1 0 tokens no errors
KindTextBytesLine:Col