Skip to content
Change the repository type filter

All

    Repositories list

    • The Go version of the Dafny runtime library
      Go
      MIT License
      0100Updated Apr 15, 2026Apr 15, 2026
    • dafny

      Public
      Dafny is a verification-aware programming language
      C#
      Other
      3133.4k1.2k200Updated Apr 15, 2026Apr 15, 2026
    • ide-vscode

      Public
      VSCode IDE Integration for Dafny
      TypeScript
      MIT License
      2126859Updated Apr 4, 2026Apr 4, 2026
    • solver-builds

      Public
      Build infrastructure for solvers to use with Dafny (and other Boogie clients)
      Shell
      MIT License
      2000Updated Apr 3, 2026Apr 3, 2026
    • miniF2F

      Public
      Formal to Formal Mathematics Benchmark
      Dafny
      MIT License
      2712Updated Jan 29, 2026Jan 29, 2026
    • b3

      Public
      An intermediate verification language
      Dafny
      MIT License
      62403Updated Jan 4, 2026Jan 4, 2026
    • blog

      Public
      The Dafny blog
      JavaScript
      6020Updated Dec 15, 2025Dec 15, 2025
    • Action for installing Dafny
      JavaScript
      MIT License
      5354Updated Sep 2, 2025Sep 2, 2025
    • dafny-lang.github.io

      Public
      TeX
      MIT License
      2201Updated Aug 25, 2025Aug 25, 2025
    • libraries

      Public
      Libraries useful for Dafny programs
      Dafny
      Other
      27493821Updated Aug 19, 2025Aug 19, 2025
    • Helper action for setup-dafny-action that builds Dafny from source. DO NOT USE DIRECTLY.
      0000Updated May 23, 2025May 23, 2025
    • A tool for analyzing and reporting on Dafny, especially the results of verification
      Dafny
      MIT License
      5353Updated Feb 27, 2025Feb 27, 2025
    • Dafny plugin for Gradle
      Java
      MIT License
      2270Updated Jan 10, 2025Jan 10, 2025
    • Dafny-VMC

      Public
      Dafny-VMC: a Library for Verified Monte Carlo Algorithms
      Dafny
      MIT License
      31610Updated Nov 4, 2024Nov 4, 2024
    • rfcs

      Public
      Dafny request-for-feature discussions
      MIT License
      6117Updated Mar 8, 2024Mar 8, 2024
    • A work-in-progress reimplementation of Dafny's compiler, in Dafny
      Dafny
      MIT License
      17122Updated Jan 4, 2024Jan 4, 2024
    • HTML
      Apache License 2.0
      11000Updated Dec 14, 2023Dec 14, 2023
    • Fork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps
      Dafny
      Other
      1000Updated Aug 9, 2022Aug 9, 2022
    • xdsmith

      Public
      Fuzz testing for Dafny
      Racket
      MIT License
      21310Updated Jul 7, 2022Jul 7, 2022
    • MSBuild tasks for use in projects containing Dafny source code
      C#
      MIT License
      41101Updated May 5, 2022May 5, 2022
    • Dafny Language Server implementation in C#
      C#
      MIT License
      1340Updated Apr 29, 2021Apr 29, 2021
    • Dafny runtime implemented in PHP
      PHP
      MIT License
      1000Updated Feb 12, 2020Feb 12, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.