flix/flix

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

2734 stars · 189 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Flix is a statically typed, effect-oriented programming language that combines functional, imperative, and logic programming paradigms, developed at Aarhus University. It compiles to the JVM, ships with a compiler that doubles as an LSP server, and includes a VSCode extension and extensive standard library.

Use cases

• learn an effect-oriented functional programming language
• write statically typed functional programs on the JVM
• experiment with algebraic effects and handlers
• build general-purpose applications with logic programming features
• research programming language design and type systems
• use a functional language with LSP support in editors like Neovim or VSCode

When to choose

• you want a modern statically typed language with a full effect system on the JVM
• you need functional, imperative, and logic programming in one language
• you want strong editor tooling via LSP with types and effects surfaced in the IDE
• you are doing programming-languages research or teaching

When to avoid

• you need LLVM or WebAssembly compilation targets
• your team relies on object-oriented features like subtyping
• you need a mature ecosystem with extensive third-party libraries
• you cannot run Java 21+ on your target platform

Facets

cli-tool · maturity active

programming-language compiler interpreter type-system cli editor programming-languages compilers developer-tools jvm cross-platform cli editor-plugin effect-system functional-programming logic-programming lsp jvm-language statically-typed vscode-extension

Member repositories

For agents

markdown · JSON · MCP: product_card(name="flix/flix")