Agda vs K Framework
Agda
wiki.portal.chalmers.seK Framework
kframework.orgSide by side
| Figure | Agda | K Framework |
|---|---|---|
| Price from | — | — |
| Free plan | — | — |
| Free trial | — | — |
| Open source | — | — |
| Web | Yes | — |
| Windows | Yes | — |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| API | — | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 0 | 0 |
| Spec score · Formal Verification Tools | 8.1 (#5) | 7.5 (#22) |
| Editor integrations | Interactive editor support is listed for Emacs, Visual Studio Code, Neovim, and Vim; Emacs is identified as the most tested. | The editor support page lists syntax support or plugins for Atom, BBEdit/TextWrangler, Emacs, IntelliJ IDEA, Notepad++, Pygments, Vim, and Visual Studio Code. |
| Support | The Agda wiki directs users to ask questions on the Agda mailing list or Agda Zulip server. | The official site lists Discord as its most direct support channel and also links to a Matrix room. |
In their own words
K Framework
K Framework has no write-up on Specifiction yet; its figures are above.