# Install futhark with Homebrew, apk, apt, Nix Data-parallel functional programming language. Version 0.26.4 via Homebrew; verified 2026-07-04. ## Install ```sh sudo av install brew:futhark ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install futhark ``` Evidence: local Homebrew formula metadata ### Linux - apk (92%): ```sh sudo apk add futhark ``` Evidence: Alpine Linux edge package indexes: futhark from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz - Debian apt (92%): ```sh sudo apt install futhark ``` Evidence: Debian stable package indexes: futhark from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - Nix (92%): ```sh nix profile install nixpkgs#futhark ``` Evidence: nixpkgs package indexes: futhark from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix ## Package facts - **Package key:** brew:futhark - **Package manager:** Homebrew - **Package manager page:** - **Version:** 0.26.4 - **Source summary:** Data-parallel functional programming language - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** ISC - **Source archive:** - **Last updated:** 2026-07-04T09:45:58Z - **Generated:** 2026-07-09T07:20:21+00:00 ## Executables - futhark (cli) - futhark (alias) ## Dependencies - gmp ## Build dependencies - cabal-install - ghc - sphinx-doc ## Uses from macOS - libffi - ncurses ## 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-07-09 - Package-manager version: 0.26.4 - Package-manager updated: 2026-07-04 - Local data: ok - Upstream repository: https://github.com/diku-dk/futhark - Upstream latest detected: v0.26.4 (current) ## Project history and usage Futhark is a high-performance, purely functional, data-parallel array programming language and compiler. The project site describes it as a small ML-family language compiled to efficient parallel code for GPUs through CUDA and OpenCL or to multi-threaded CPU code. ### Project history Futhark is developed at DIKU and presented by its maintainers as an ongoing research project that is also usable for real programming. Its official publications page traces the language and compiler research line from early work on fusion and size inference through papers on redomap, nested parallelism, incremental flattening, memory optimization, automatic differentiation, and size-dependent types. The project's design goal is not to replace general-purpose languages. The homepage says Futhark is intended for relatively small compute-intensive parts of larger applications, with the compiler generating C or Python modules that can be integrated through ordinary foreign-function or Python module boundaries. ### Adoption history The examples page says much Futhark code is still in its own tests and benchmarks, but it also maintains a list of projects using Futhark, including visual simulations, games, ray tracers, a webcam filter stack, Neptune GPU code for Filecoin's Poseidon hash implementation, lattice Boltzmann work, and a compiler implemented partly in Futhark. The docs page lists bridges for Haskell, J, Python, Rust, Standard ML, and OCaml, along with editor and syntax-highlighting support. That ecosystem shows adoption beyond compiler research: users package Futhark as a language toolchain plus integration generators and editor support. ### How it is used Users write Futhark array programs and compile them ahead of time, commonly targeting GPU backends or C/Python integration. The documentation points beginners to the online book, user guide, language reference, installation guide, generated prelude docs, examples, packages, and benchmarks. The project presents Futhark as suitable for compute kernels embedded in larger systems, where developers want high-level functional array code but still need generated code that links into C, Python, or other host languages. ### Why package nerds care Futhark is significant as a package because it is not just a compiler binary; it is an experimental programming-language distribution with a standard library, generated documentation, package index, language server and editor ecosystem, benchmark suite, and code-generation targets. Package maintainers have to think about GPU backends, C toolchains, generated docs, and language integration at the same time. ### Timeline - 2013: Official publications list early fusion work that feeds into the Futhark research line. - 2014: Papers on size inference and bounds checking appear in the Futhark publication list. - 2016: Papers document redomap and APL-on-GPU work in Futhark. - 2017: PLDI paper presents Futhark as purely functional GPU programming with nested parallelism and in-place array updates. - 2019-2026: Official publications continue across compiler implementation, memory optimization, automatic differentiation, type systems, and applications. ### Related projects - The official docs list bridges and tools including futhask, futhark-pycffi, genfut, futhark-bindgen, cargo-futhark, futhark-server-sml, smlfut, futhark-mode, futhark-vim, and futhark-vscode. - The homepage also points to the futhark-benchmarks repository and to the Futhark package collection. ### Sources - - - - - ## Security Notes generalized runtime or code generation signal. - **Geiger risk:** yellow / medium - generalized runtime or code generation signal ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** futhark - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Debian apt - futhark - 0.25.27-1+b1: normalized package name match | Debian stable package indexes: futhark from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | optimising compiler for Futhark programming language | https://futhark-lang.org - Nix - futhark: normalized package name match | nixpkgs package indexes: futhark from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix - apk - futhark - 0.25.34-r0: normalized package name match | Alpine Linux edge package indexes: futhark from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | A data-parallel functional programming language | https://futhark-lang.org/ ## Related links - [Secret-risk packages](https://www.automicvault.com/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [cabal-install](https://www.automicvault.com/pkg/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://www.automicvault.com/pkg/brew/ghc/) - Build dependency declared by Homebrew. - [sphinx-doc](https://www.automicvault.com/pkg/brew/sphinx-doc/) - Build dependency declared by Homebrew. - [faust](https://www.automicvault.com/pkg/brew/faust/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [ocaml](https://www.automicvault.com/pkg/brew/ocaml/) - Shares av.db curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language. - [erg](https://www.automicvault.com/pkg/brew/erg/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, programming-languages. - [erlang](https://www.automicvault.com/pkg/brew/erlang/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language, programming-languages. - [fantom](https://www.automicvault.com/pkg/brew/fantom/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, programming-languages. - [gleam](https://www.automicvault.com/pkg/brew/gleam/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, programming-languages. - [gnucobol](https://www.automicvault.com/pkg/brew/gnucobol/) - Shares av.db curated category or tags: cli, compiler, compilers, language-runtime, programming-language. - [haxe](https://www.automicvault.com/pkg/brew/haxe/) - Shares av.db curated category or tags: cli, compiler, language-runtime, programming-language, programming-languages. - [koka](https://www.automicvault.com/pkg/brew/koka/) - Local package facts share a topical domain. Shared terms: cli, compiler, functional, functional-programming, gmp. ## Combined YAML source View the package source record on GitHub. [combined/futhark.yml](https://github.com/automic-vault/db/blob/main/combined/futhark.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph