# Install flix with Homebrew, Nix Statically typed functional, imperative, and logic programming language. Version 0.75.0 via Homebrew; verified 2026-06-29. ## 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 - **Package manager page:** - **Version:** 0.75.0 - **Source summary:** Statically typed functional, imperative, and logic programming language - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** Apache-2.0 - **Source archive:** - **Last updated:** 2026-06-29T07:59:51Z - **Generated:** 2026-07-09T07:20:21+00:00 ## Executables - flix (cli) - flix (alias) ## Dependencies - openjdk ## Build dependencies - mill - scala ## 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.75.0 - Package-manager updated: 2026-06-29 - Local data: ok - Upstream repository: https://github.com/flix/flix - Upstream latest detected: v0.75.0 (current) ## 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 - - - ## 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:** flix - **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 - 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 ## 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. - [Language runtime packages](https://www.automicvault.com/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Runtime dependency declared by Homebrew. - [mill](https://www.automicvault.com/pkg/brew/mill/) - Build dependency declared by Homebrew. - [scala](https://www.automicvault.com/pkg/brew/scala/) - Build dependency declared by Homebrew. - [frege](https://www.automicvault.com/pkg/brew/frege/) - Shares av.db curated category or tags: cli, functional-programming, jvm, language-runtime, programming-language. - [mercury](https://www.automicvault.com/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, logic-programming, programming-language. - [urweb](https://www.automicvault.com/pkg/brew/urweb/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language, static-typing. - [agda](https://www.automicvault.com/pkg/brew/agda/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language. - [coconut](https://www.automicvault.com/pkg/brew/coconut/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language. - [crystal](https://www.automicvault.com/pkg/brew/crystal/) - Shares av.db curated category or tags: cli, language-runtime, programming-language, static-typing. - [elixir](https://www.automicvault.com/pkg/brew/elixir/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language. - [elm](https://www.automicvault.com/pkg/brew/elm/) - Shares av.db curated category or tags: cli, functional-programming, language-runtime, programming-language. ## Combined YAML source View the package source record on GitHub. [combined/flix.yml](https://github.com/automic-vault/db/blob/main/combined/flix.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