gravatar for boogie-org

boogie-org boogie-org on Github

global

Languages

10 total

LanguageReposStarsGlobal
all1671262,140
Boogie35481
C#55316,660
Emacs Lisp1431,412
C12731,119
F#119624
Java11195,876
Python17319,200
Dafny1232
TypeScript11421,799
unknown111,743,635

Repos

16 total

RepoLanguageStarsRank
boogie-org/boogie on GithubboogieBoogie4841
boogie-org/corral on GithubcorralBoogie542
boogie-org/boogie-friends on Githubboogie-friendsEmacs Lisp432,133
boogie-org/symbooglix on GithubsymbooglixC#2734,199
boogie-org/symdiff on GithubsymdiffC2738,020
boogie-org/forro on GithubforroF#19961
boogie-org/sdvbench on GithubsdvbenchC#1359,737
boogie-org/jar2bpl on Githubjar2bplJava11118,855
boogie-org/boogieamp on GithubboogieampBoogie104
boogie-org/boogie-docs on Githubboogie-docsPython7453,116

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-18T17:29:31.810081430Z Re-sync