gravatar for dafny-lang

dafny-lang dafny-lang on Github

global

Languages

11 total

LanguageReposStarsGlobal
all182,87218,028
C#32,767513
Dafny5592
TypeScript12143,918
Racket113366
HTML2790,261
TeX1225,691
JavaScript111,442,490
unknown111,729,436
Java11831,427
PHP10-
Shell10-

Repos

18 total

RepoLanguageStarsRank
dafny-lang/dafny on GithubdafnyC#2,764442
dafny-lang/libraries on GithublibrariesDafny424
dafny-lang/ide-vscode on Githubide-vscodeTypeScript2157,566
dafny-lang/xdsmith on GithubxdsmithRacket13540
dafny-lang/Dafny-VMC on GithubDafny-VMCDafny1016
dafny-lang/teaching-material on Githubteaching-materialHTML774,140
dafny-lang/compiler-bootstrap on Githubcompiler-bootstrapDafny425
dafny-lang/language-server-csharp on Githublanguage-server-csharpC#3179,533
dafny-lang/dafny-reportgenerator on Githubdafny-reportgeneratorDafny335
dafny-lang/dafny-lang.github.io on Githubdafny-lang.github.ioTeX223,544

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-30T09:32:10.601728106Z Re-sync