Explore @dafny-lang Open Source projects

Dafny (@dafny-lang)

dafny-lang

Stars
3,008
Global Org. Rank 7,002 (Top 3 %)
Registered over 5 years ago
Most used languages

Dafny 30.8 %

C#
23.1 %

HTML
7.7 %

JavaScript
7.7 %

TeX
7.7 %

TypeScript
7.7 %

Racket
7.7 %

Java
7.7 %

dafny

Dafny is a verification-aware programming language

libraries

Libraries useful for Dafny programs

ide-vscode

VSCode IDE Integration for Dafny

xdsmith

Fuzz testing for Dafny

Dafny-VMC

VMC: a Library for Verified Monte Carlo Algorithms

teaching-material

compiler-bootstrap

A work-in-progress reimplementation of Dafny's compiler, in Dafny

dafny-reportgenerator

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

setup-dafny-action

Action for installing Dafny

language-server-csharp

Dafny Language Server implementation in C#

dafny-lang.github.io

dafny-gradle-plugin

Dafny plugin for Gradle

rfcs

Dafny request-for-feature discussions

dafny.msbuild

MSBuild tasks for use in projects containing Dafny source code