extra vs marimo

Compare extra and marimo using verifiable public signals, licensing and project quality.