GIT Stars

Home
Top languages
Top users
About
Login

Home
Languages
Dafny

Top users by languages

Dafny

Back to languages list

Organization microsoft

Microsoft

@microsoft

#1
231

User lemmy

Markus Alexander Kuppe

@lemmy

#2
33

1

2024 - Source code

Designed by BootstrapMade - This project is not affiliated with or endorsed by GitHub.

Any issue? See help and FAQ.