Dafny (@dafny-lang)
  • Stars
    star
    3,008
  • Global Org. Rank 7,002 (Top 3 %)
  • Registered over 5 years ago
  • Most used languages
    Dafny
    30.8 %
    C#
    23.1 %
    TypeScript
    7.7 %
    JavaScript
    7.7 %
    HTML
    7.7 %
    Java
    7.7 %
    TeX
    7.7 %
    Racket
    7.7 %