dafny-lang/Dafny-VMC dafny-lang/Dafny-VMC

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language Dafny
  • License
    MIT License
  • Created over 1 year ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dafny-lang/Dafny-VMC
github

dafny-lang

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

VMC: a Library for Verified Monte Carlo Algorithms

More Repositories

1

dafny

Dafny is a verification-aware programming language
C#
2,908
star
2

libraries

Libraries useful for Dafny programs
Dafny
43
star
3

ide-vscode

VSCode IDE Integration for Dafny
TypeScript
23
star
4

xdsmith

Fuzz testing for Dafny
Racket
13
star
5

teaching-material

HTML
8
star
6

compiler-bootstrap

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

dafny-reportgenerator

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

setup-dafny-action

Action for installing Dafny
JavaScript
3
star
9

language-server-csharp

Dafny Language Server implementation in C#
C#
3
star
10

dafny-lang.github.io

TeX
2
star
11

dafny-gradle-plugin

Dafny plugin for Gradle
Java
1
star
12

rfcs

Dafny request-for-feature discussions
1
star
13

dafny.msbuild

MSBuild tasks for use in projects containing Dafny source code
C#
1
star