Side-by-Side Comparison
verso vs myrlin-workbook
Compare open source repositories side by side. Stars, forks, code health, licensing, and community growth.
Recorded Stars Comparison
● leanprover/verso (386)
● therealarthur/myrlin-workbook (387)
☆ 386verso stars
☆ 387myrlin-workbook stars
+1Difference
myrlin-workbookStar Leader
Side-by-Side Facts
| Metric | leanprover/verso ↗ | therealarthur/myrlin-workbook ↗ |
|---|---|---|
| Description | Lean documentation authoring tool | Open-source workspace manager for AI coding CLIs: Claude Code and ChatGPT Codex in one browser app. Discovers every session on disk, embedded terminals, phone-ready, cost tracking, kanban, docs. Windows, macOS, Linux. |
| GitHub Stars | ☆ 386 | ☆ 387 |
| Forks | 125 | 50 |
| Open Issues | 99 | 6 |
| Main Language | Lean | JavaScript |
| License | Apache-2.0 | AGPL-3.0 |
| Last Push | Sep 27, 2026 | Sep 26, 2026 |
| GitHub Source | Open Source ↗ | Open Source ↗ |
Popular Comparisons
awesome-go vs ollama
avelino/awesome-go · ollama/ollama
ECC vs react
affaan-m/ECC · react/react
claw-code vs clash-verge-rev
ultraworkers/claw-code · clash-verge-rev/clash-verge-rev
freeCodeCamp vs deepseek-harness
freeCodeCamp/freeCodeCamp · deepseek-ai/deepseek-harness
public-apis vs free-programming-books
public-apis/public-apis · EbookFoundation/free-programming-books
From our network