YKYH Picks
☰ Menu
Home›Developer Tools›idris2
CLI Open source 150 installs/mo Trending 2.38×

idris2 for Mac

Pure functional programming language with dependent types

Quick answer: idris2 is a developer tool for macOS. Install it with brew install idris2. It is distributed under the BSD-3-Clause licence. It has 150 Homebrew installs in the last 30 days.

What idris2 is

idris2 is a developer tool for macOS: pure functional programming language with dependent types.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. It is distributed under the BSD-3-Clause licence.

How to install idris2

  1. Open Terminal (press ⌘ + Space and type “Terminal”).
  2. If Homebrew is not installed yet, run the installer below once.
  3. Run brew install idris2.

Homebrew installer, if you need it:

Prefer a graphical installer? Download it from the official site. MacPicks never hosts or mirrors binaries — the Homebrew command always pulls from the vendor's own release.

Similar apps in Developer Tools

Closest apps in the same category, ordered by description similarity and install base. These are related tools, not confirmed substitutes; the comparison pages cover hand-picked head-to-head matchups.

futharkData-parallel functional programming languageCLIOpen source132/momawkInterpreter for the AWK Programming LanguageCLIOpen source160/moponycObject-oriented, actor-model, capabilities-secure programming languageCLIOpen source147/moasioCross-platform C++ Library for asynchronous programmingCLIOpen source150/mogitoxideIdiomatic, lean, fast & safe pure Rust implementation of GitCLIOpen source147/molibclcImplementation of the library requirements of the OpenCL C programming languageCLIOpen source192/mo

Frequently asked questions

How do I install idris2 on Mac?

Run brew install idris2 in Terminal. This requires Homebrew; if you do not have it, install it first with the command below.

Is idris2 open source?

Yes — Homebrew distributes it under the BSD-3-Clause licence.

Does idris2 run on Apple silicon?

Homebrew publishes this formula for macOS. If upstream does not ship an Apple silicon build, Rosetta 2 handles the Intel binary.

How popular is idris2?

It was installed 150 times in the last 30 days according to Homebrew analytics, ranking #2834 in this catalogue.

What version of idris2 is current?

The latest packaged version is 0.8.0.