# Install flix with Homebrew, Nix

Statically typed functional, imperative, and logic programming language. Version 0.75.1 via Homebrew; verified 2026-07-09. Also installable with nix: nix profile install nixpkgs#flix.

## Install

```sh
sudo av install brew:flix
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install flix
```

  Evidence: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#flix
```

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

## Package facts

- **Package key:** brew:flix
- **Package manager:** Homebrew
- **Version:** 0.75.1
- **Source summary:** Statically typed functional, imperative, and logic programming language
- **Homepage:** <https://flix.dev/>
- **Repository:** <https://github.com/flix/flix>
- **Last updated:** 2026-07-09T08:38:03Z
- **Generated:** 2026-08-03T19:37:03+00:00

## Executables

- flix (alias)

## Install behavior

- Bottle: not available

## Freshness

- Page generated: 2026-08-03
- Package-manager version: 0.75.1
## Project history and usage

Flix is a JVM-targeting programming language that combines functional, imperative, and logic programming. Its package-manager relevance comes from being a research-rooted language implementation distributed as a command-line compiler and toolchain.

### Project history

The Flix documentation describes the language as developed at Aarhus University and by open-source contributors, in collaboration with researchers from the University of Waterloo, the University of Tubingen, and the University of Copenhagen. The public release stream on GitHub includes an October 2016 snapshot and a 2017 v0.1 release.

Flix is inspired by OCaml and Haskell, with ideas from Rust and Scala. Its implementation compiles to JVM bytecode, supports Java interoperability, and exposes language features such as a polymorphic type and effect system, region-based local mutable memory, effects and handlers, traits, and first-class Datalog programming.

### Adoption history

Flix's adoption is centered on language experimentation, academic programming-language work, and developers interested in mixing typed functional programming with embedded Datalog. Official docs emphasize Visual Studio Code support that uses the real compiler for diagnostics, navigation, and refactoring.

The project is packaged for Homebrew and Nix in the supplied package facts, which makes the compiler available through general-purpose developer package managers rather than only through source builds.

### How it is used

Users install the flix command-line tool, write Flix programs, and run or compile them on the JVM. The official book presents the language as a full programming environment with Java interoperability and a VS Code extension tied directly to compiler behavior.

Because Flix includes first-class Datalog, it is often interesting to developers who want logic-programming style analysis inside a statically typed functional language rather than as a separate database or DSL.

### Why package nerds care

Flix is package-nerd interesting because it packages a full language implementation with an active, frequent release cadence. It also sits at the intersection of compiler distribution, JVM runtime compatibility, editor tooling, and package-manager availability.

Its official releases show long-running pre-1.0 iteration, which is common for research-influenced language projects where the package artifact is also the primary vehicle for language design experiments.

### Timeline

- 2016: GitHub releases include an October snapshot.
- 2017: Flix v0.1 is published on GitHub Releases.
- 2019: The release stream reaches v0.6.0.
- 2026: Flix continues frequent pre-1.0 releases, including v0.75.0 during June.

### Related projects

- The Flix book is the official language documentation.
- The Visual Studio Code extension is part of the intended developer experience.
- The JVM and Java ecosystem are explicit interoperability targets for Flix programs.

### Sources

- <https://doc.flix.dev/>
- <https://github.com/flix/flix>
- <https://github.com/flix/flix/releases>


## Security Notes

generalized runtime or code generation signal.

- **Geiger risk:** yellow / medium
- generalized runtime or code generation signal

## Other Package-Manager Records

- Nix - flix: normalized package name match | nixpkgs package indexes: pkgs/by-name/fl/flix/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/flix.yml](https://github.com/mxcl/pkgdb/blob/main/combined/flix.yml)


## Sources

- pkg.so package database
- Geiger risk classifier
- curated package history
- pkgdb category and tag curation
- external package-manager database matches
- cross-ecosystem install command graph