lichen

 
Lichen is a high-level macro assembler for WebAssembly1, with SMT-based contract verification.
  1. WebAssembly runs in web browsers, Node.js, and wasmtime to name a few places. CLI download coming soon.
Code example 
Source patches: codeberg.org/owl/lichen
Built with lichen
atk-img
An Atkinson-dither Web Component
snake.wasm
Snake game demo