Girl · #13,427 in 2026

Dafny

Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It supports formal specification through preconditions, postconditions, loop invariants, loop variants, termination specifications and read/write framing specifications.

Current Rank
#13,427
Peak Rank
#9,286 (2006)
Total Babies
72
5-Yr Trend
Stable
2002
First Year
2024
Last Year
2006
Peak Year
#9286
Peak Rank
72
Total Count
11
Years Active

Meaning & Origin of Dafny

What this name means, where it came from, and how it has traveled across cultures.

Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It supports formal specification through preconditions, postconditions, loop invariants, loop variants, termination specifications and read/write framing specifications.

Source: Wikipedia (CC BY-SA 3.0). Read more →

The Story of Dafny

Dafny first appeared in U.S. Social Security Administration records as a baby girl name in 2002, with 5 babies given the name that year. Its peak popularity came in 2006, when 12 Dafnys were born — ranking #9,286 that year. As of 2026, Dafny ranks #13,427 for baby girls with 6 births, with steady use. In total, more than 72 Dafnys have been born in the U.S. since records began in 1880, spanning the 2000s through the 2020s.

Popularity Over Time

Popularity by State

ME
WA
MT
ND
MN
WI
MI
NY
VT
NH
MA
OR
ID
SD
IA
IL
IN
OH
PA
NJ
CT
RI
CA
NV
WY
NE
MO
KY
WV
VA
MD
DE
DC
UT
CO
KS
AR
TN
NC
SC
AK
AZ
NM
OK
LA
MS
AL
GA
HI
TX
FL
Top 10
11-50
51-100
101-500
500+
No data

Names that sound like Dafny

Phonetically similar names — useful when Dafny is the vibe but a different syllable count or letter feel might suit better. Linked entries have a profile on Peek a Name.

Source: Datamuse . Phonetic similarity ranking, not curated.

Frequently Asked Questions about Dafny

What does the name Dafny mean?
Dafny is an imperative and functional compiled language that compiles to other programming languages, such as C#, Java, JavaScript, Go, and Python. It supports formal specification through preconditions, postconditions, loop invariants, loop variants, termination specifications and read/write framing specifications.
How popular is Dafny in 2026?
In 2026, Dafny ranks #13,427 among girls' names in the U.S., with 6 babies given the name that year.
When was Dafny most popular?
Dafny reached its peak popularity in 2006, ranking #9,286 that year with 12 babies given the name.
Is Dafny a unisex name?
In U.S. Social Security records, Dafny is primarily a girl's name. We don't have meaningful data for it as a boy's name.
What names go well with Dafny?
Names that share a similar style or popularity range with Dafny include Madalen, Isbella, Franziska. These pairings are based on rank proximity and naming era in U.S. data.

Similar Names

👧
Madalen
Peak #9286
👧
Isbella
Peak #9286
👧
Franziska
Peak #9286
👧
Brittin
Peak #9286
👧
Carinna
Peak #9286
👧
Kili
Peak #9286
👧
Anet
Peak #9286
👧
Thandiwe
Peak #9286

About the name Dafny

Dafny is a girl baby name tracked by the U.S. Social Security Administration. It first appeared in SSA records in 2002 and has accumulated 72 births in the dataset. Dafny's peak popularity came in 2006 when it ranked #9,286. Use the chart and map above to compare Dafny's trajectory across years and U.S. states, or browse the related names section to discover similar choices.

Continue exploring

Data sources

  • Birth statistics (counts, ranks, years 1880–2026) — U.S. Social Security Administration . Predictions for years not yet released by SSA are computed by Peek a Name from historical trends; we update with official data as soon as it ships.
  • Etymology, cultural origins, and related forms — Behind the Name (used under their public API terms).
  • Meaning prose and editorial summary — Wikipedia article extracts, licensed under CC BY-SA 3.0 .
  • Predicted nationality distribution — Nationalize.io .
  • Phonetically similar names — Datamuse .

Peek a Name aggregates and presents the above data for informational purposes. Statistical predictions and external attributions are clearly labelled where shown; we make no guarantee of accuracy beyond what each source provides.