Lichen is a macro assembler for WebAssembly, with SMT-based contract verification.
Source patches: codeberg.org/owl/lichen
Built with lichen
atk-img- An Atkinson-dither Web Component
- snake.wasm
- Snake game demo
Lichen is a macro assembler for WebAssembly, with SMT-based contract verification.
Source patches: codeberg.org/owl/lichen
atk-img