Command-line tool

kona

brew/kona

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Open-source implementation of the K programming language

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install kona

Linux

brew install kona

Related command-line tools

• kawa
  Programming language for Java (implementation of Scheme)
• gnu-apl
  GNU implementation of the programming language APL
• latino
  Open source programming language for Latinos and Hispanic speakers
• chezscheme
  Implementation of the Chez Scheme language programming-language 编程语言 compiler lisp scheme cisco
• pure-data
  The "vanilla" distribution of Pure Data (aka Pd Vanilla) is an open source visual programming language for multimedia.
• MiniZincIDE
  Open-source constraint modelling language and IDE programming 编程 优化 programming-language ide optimization language…
• scryer-prolog
  Modern ISO Prolog implementation written mostly in Rust programming 编程 language 语言 logic prolog 逻辑
• go
  Open source programming language to build simple/reliable/efficient software go programming 编程 programming-language…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents