YKYH Picks
☰ Menu
Home›Developer Tools›agda
CLI Open source 82 installs/mo

agda for Mac

Dependently typed functional programming language

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

What agda is

agda is a developer tool for macOS: dependently typed functional programming language.

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

How to install agda

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

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.

faustFunctional programming language for real time signal processingCLIOpen source76/moelmFunctional programming language for building browser-based GUIsCLIOpen source92/moerlang-language-platformLSP server and CLI for the Erlang programming languageCLIOpen source78/moolsLanguage server for The Odin Programming LanguageCLIOpen source91/moglpkLibrary for Linear and Mixed-Integer ProgrammingCLIOpen source76/mocbcMixed integer linear programming solverCLIOpen source76/mo

Frequently asked questions

How do I install agda on Mac?

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

Is agda open source?

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

Does agda 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 agda?

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

What version of agda is current?

The latest packaged version is 2.8.0.2.