eclipse-layout-kernel

Here is 1 public repository matching this topic...

openedges / elk-lean

Eclipse Layout Kernel (ELK) 0.12.0 ported to pure Lean 4 — same layouts as ELK Java, native CLI/C API, Node.js addon, WebAssembly, elkjs-compatible npm package

webassembly elk lean graph-layout napi elkjs layout-algorithms lean4 eclipse-layout-kernel

Updated Nov 2, 2026
Lean

Add this topic to your repo

To associate your repository with the eclipse-layout-kernel topic, visit your repo's landing page and select "manage topics."

Learn more