Dafny is a programming language recognized by GitHub Linguist and used with .dfy.
Quick facts
What is Dafny
Dafny is a programming language recognized by GitHub Linguist and used with .dfy.
GitHub Linguist classifies Dafny as a programming language, typically using extensions such as .dfy.
File extensions:
Related languages
Frequently asked questions
Dafny is a programming language recognized by GitHub Linguist and used with .dfy.
Common extensions include .dfy.
Sources & standards
Updated 2026-08-18
Explore this reference