Command-line tool

dafny

brew/dafny

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

Verification-aware programming language

Website Source

At a glance

Type

Command-line tool

Install on

Windows, macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

Windows

scoop install dafny

macOS

brew install dafny

Linux

brew install dafny

Related command-line tools

• elixir
  Functional metaprogramming aware language built on Erlang VM developer-tools programming-language functional erlang…
• VSS Programming Language
  VSS Programming Language (Windows package; no description in the winget index) cli programming-language language…
• baml
  Programming language for agents developer-tools ai cli programming-language
• umple
  Modeling tool/programming language that enables Model-Oriented Programming
• ols
  Language server for The Odin Programming Language
• IJe Programming Language
  IJe Programming Language (Windows package; no description in the winget index) programming education language thai
• pike
  Dynamic programming language
• gravity
  Embeddable programming language

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