Command-line tool

never

brew/never

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Statically typed, embedded functional programming language

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install never

Linux

brew install never

Related command-line tools

• flix
  Statically typed functional, imperative, and logic programming language
• gleam
  Statically typed language for the Erlang VM programming-language javascript functional-programming erlang elixir elixr…
• futhark
  Data-parallel functional programming language
• idris
  A Dependently Typed Functional Programming Language
• numbat-cli
  A statically typed programming language for scientific computations with first class support for physical dimensions…
• idris2
  Pure functional programming language with dependent types
• agda
  Dependently typed functional programming language
• frege
  Non-strict, functional programming language in the spirit of Haskell

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents