Skip to content
@dafny-lang

Dafny

Dafny is a verification-aware programming language

Pinned Loading

  1. dafny Public

    Dafny is a verification-aware programming language

    C# 3k 274

Repositories

Showing 10 of 20 repositories
  • dafny Public

    Dafny is a verification-aware programming language

    C# 3,048 274 1,109 166 Updated Apr 21, 2025
  • miniF2F Public

    Formal to Formal Mathematics Benchmark

    Dafny 0 MIT 0 0 0 Updated Apr 16, 2025
  • ide-vscode Public

    VSCode IDE Integration for Dafny

    TypeScript 27 MIT 21 85 11 Updated Apr 7, 2025
  • solver-builds Public

    Build infrastructure for solvers to use with Dafny (and other Boogie clients)

    Shell 0 MIT 2 0 1 Updated Mar 28, 2025
  • libraries Public

    Libraries useful for Dafny programs

    Dafny 43 25 38 21 Updated Mar 21, 2025
  • setup-dafny-action Public

    Action for installing Dafny

    JavaScript 3 MIT 5 5 5 Updated Mar 19, 2025
  • dafny-reportgenerator Public

    A tool for analyzing and reporting on Dafny, especially the results of verification

    Dafny 3 MIT 4 5 2 Updated Feb 27, 2025
  • DafnyRuntimeGo Public

    The Go version of the Dafny runtime library

    Go 0 MIT 0 0 0 Updated Feb 6, 2025
  • dafny-lang.github.io Public
    TeX 2 MIT 2 0 1 Updated Feb 6, 2025
  • dafny-gradle-plugin Public

    Dafny plugin for Gradle

    Java 2 MIT 2 7 0 Updated Jan 10, 2025
View all repositories