dafny-lang/language-server-csharp dafny-lang/language-server-csharp

  • This repository has been archived on 29/Apr/2021
  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    C#
  • License
    MIT License
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dafny-lang/language-server-csharp
github

dafny-lang

Reviews

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

Repository Details

Dafny Language Server implementation in C#

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

Dafny-VMC

VMC: a Library for Verified Monte Carlo Algorithms
Dafny
12
star
6

teaching-material

HTML
8
star
7

compiler-bootstrap

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

dafny-reportgenerator

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

setup-dafny-action

Action for installing Dafny
JavaScript
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