Skip to content

@dafny-lang Dafny

Change the repository type filter

All

    Repositories list

    20 repositories

    • dafny

      Public
      Dafny is a verification-aware programming language
      programming-languageverification
      C#
      •
      Other
      •268•3k•1.1k•163•Updated Jan 30, 2025Jan 30, 2025

    • setup-dafny-action

      Public
      Action for installing Dafny
      JavaScript
      •
      MIT License
      •5•3•5•4•Updated Jan 23, 2025Jan 23, 2025

    • ide-vscode

      Public
      VSCode IDE Integration for Dafny
      TypeScript
      •
      MIT License
      •20•27•84•11•Updated Jan 23, 2025Jan 23, 2025

    • miniF2F

      Public
      Formal to Formal Mathematics Benchmark
      0•0•0•0•Updated Jan 23, 2025Jan 23, 2025

    • dafny-lang.github.io

      Public
      TeX
      •
      MIT License
      •2•2•0•0•Updated Jan 22, 2025Jan 22, 2025

    • dafny-gradle-plugin

      Public
      Dafny plugin for Gradle
      Java
      •
      MIT License
      •2•3•7•0•Updated Jan 10, 2025Jan 10, 2025

    • blog

      Public
      The Dafny blog
      HTML
      •3•0•2•1•Updated Dec 26, 2024Dec 26, 2024

    • DafnyRuntimeGo

      Public
      The Go version of the Dafny runtime library
      Go
      •
      MIT License
      •0•0•0•0•Updated Dec 24, 2024Dec 24, 2024

    • libraries

      Public
      Libraries useful for Dafny programs
      Dafny
      •
      Other
      •25•43•38•21•Updated Dec 16, 2024Dec 16, 2024

    • Dafny-VMC

      Public
      Dafny-VMC: a Library for Verified Monte Carlo Algorithms
      Dafny
      •
      MIT License
      •2•12•1•0•Updated Nov 4, 2024Nov 4, 2024

    • solver-builds

      Public
      Build infrastructure for solvers to use with Dafny (and other Boogie clients)
      Shell
      •
      MIT License
      •1•0•0•0•Updated Apr 10, 2024Apr 10, 2024

    • rfcs

      Public
      Dafny request-for-feature discussions
      MIT License
      •6•1•1•7•Updated Mar 8, 2024Mar 8, 2024

    • dafny-reportgenerator

      Public
      A tool for analyzing and reporting on Dafny, especially the results of verification
      Dafny
      •
      MIT License
      •4•3•5•1•Updated Jan 4, 2024Jan 4, 2024

    • compiler-bootstrap

      Public
      A work-in-progress reimplementation of Dafny's compiler, in Dafny
      Dafny
      •
      MIT License
      •1•6•12•2•Updated Jan 4, 2024Jan 4, 2024

    • teaching-material

      Public
      HTML
      •
      Apache License 2.0
      •0•8•0•0•Updated Dec 14, 2023Dec 14, 2023

    • libraries-without-variance

      Public
      Fork of dafny-lang/libraries without variance declarations on type variables, to work around compilation gaps
      Dafny
      •
      Other
      •1•0•0•0•Updated Aug 9, 2022Aug 9, 2022

    • xdsmith

      Public
      Fuzz testing for Dafny
      Racket
      •
      MIT License
      •1•13•1•0•Updated Jul 7, 2022Jul 7, 2022

    • dafny.msbuild

      Public
      MSBuild tasks for use in projects containing Dafny source code
      C#
      •
      MIT License
      •4•1•10•1•Updated May 5, 2022May 5, 2022

    • language-server-csharp

      Public archive
      Dafny Language Server implementation in C#
      C#
      •
      MIT License
      •1•3•4•0•Updated Apr 29, 2021Apr 29, 2021

    • php-runtime-for-dafny

      Public
      Dafny runtime implemented in PHP
      PHP
      •
      MIT License
      •1•0•0•0•Updated Feb 12, 2020Feb 12, 2020