Dafny
by dafny-lang
1.03× in 30 days, from 56.2k to 57.7k installs, faster than 83% of editor extensions.
Measured by Vela Breakout · as of Oct 10, 2026 · How we measure
by dafny-lang
1.03× in 30 days, from 56.2k to 57.7k installs, faster than 83% of editor extensions.
Measured by Vela Breakout · as of Oct 10, 2026 · How we measure