# Install koka

Compiler for the Koka language. Version 3.2.3 via Homebrew; verified 2026-03-18.

## Install

```sh
sudo av install brew:koka
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install koka
```

  Evidence: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add koka
```

  Evidence: Alpine Linux edge package indexes: koka from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- Nix (92%):

```sh
nix profile install nixpkgs#koka
```

  Evidence: nixpkgs package indexes: pkgs/by-name/ko/koka/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package Facts

- **Package key:** brew:koka
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/koka>
- **Version:** 3.2.3
- **Source summary:** Compiler for the Koka language
- **Homepage:** <http://koka-lang.org>
- **Repository:** <https://github.com/koka-lang/koka>
- **Upstream docs:** <https://koka-lang.github.io/koka/doc/book.html>
- **License:** Apache-2.0
- **Source archive:** <https://github.com/koka-lang/koka.git>
- **Last updated:** 2026-03-18T05:36:03Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- koka (cli)
- koka (alias)

## Dependencies

- gmp

## Build Dependencies

- cabal-install
- ghc
- pcre2

## macOS Provided Libraries

- libffi

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 3.2.3
- Package-manager updated: 2026-03-18
- Local data status: ok
- Upstream repository: https://github.com/koka-lang/koka
- info: No cached GitHub release or tag data was available.

## Notes de sécurité

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Source Database Details

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** koka
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## Other Package-Manager Records

- Nix - koka: normalized package name match | nixpkgs package indexes: pkgs/by-name/ko/koka/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- apk - koka - 3.2.2-r1: normalized package name match | Alpine Linux edge package indexes: koka from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Strongly typed functional-style language with effect types and handlers | https://koka-lang.github.io/


## Related Links

- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://www.automicvault.com/fr/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/fr/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [pcre2](https://www.automicvault.com/fr/pkg/brew/pcre2/) - Build dependency declared by Homebrew.
- [cabal-install](https://www.automicvault.com/fr/pkg/brew/cabal-install/) - Build dependency declared by Homebrew.
- [ghc](https://www.automicvault.com/fr/pkg/brew/ghc/) - Build dependency declared by Homebrew.
- [idris2](https://www.automicvault.com/fr/pkg/brew/idris2/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [purescript](https://www.automicvault.com/fr/pkg/brew/purescript/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [coconut](https://www.automicvault.com/fr/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [mercury](https://www.automicvault.com/fr/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [frege](https://www.automicvault.com/fr/pkg/brew/frege/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [urweb](https://www.automicvault.com/fr/pkg/brew/urweb/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [never](https://www.automicvault.com/fr/pkg/brew/never/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [go](https://www.automicvault.com/fr/pkg/brew/go/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language.
- [agda](https://www.automicvault.com/fr/pkg/brew/agda/) - Local package facts share a topical domain. Shared terms: cli, functional, functional-programming, gmp, language.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph