YKYH Picks
☰ Menu
Home›Developer Tools›dafny
CLI Open source 45 installs/mo

dafny for Mac

Verification-aware programming language

Quick answer: dafny is a developer tool for macOS. Install it with brew install dafny. It is distributed under the MIT licence. It has 45 Homebrew installs in the last 30 days.

What dafny is

dafny is a developer tool for macOS: verification-aware programming language.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. The project is open source and lives at https://github.com/dafny-lang/dafny/blob/master/README.md.

How to install dafny

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

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.

zigmodPackage manager for the Zig programming languageCLIOpen source44/movlangV programming languageCLIOpen source51/mohaxeMulti-platform programming languageCLIOpen source44/moscala@2.12JVM-based programming languageCLIOpen source41/moerlang@28Programming language for highly scalable real-time systemsCLIOpen source44/monumbatStatically typed programming language for scientific computationsCLIOpen source47/mo

Frequently asked questions

How do I install dafny on Mac?

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

Is dafny open source?

Yes — Homebrew distributes it under the MIT licence.

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

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

What version of dafny is current?

The latest packaged version is 4.11.0.