GitHub repository: powdr-labs/womir
Primary language: WebAssembly
Description: Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.