| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| dafny-lang/libraries | DafnyShellPython | 23 | 0 | 22 | 0 |
| secure-foundations/veri-datalog | DafnyC#F* | 2 | 0 | 0 | 0 |
| dafny-lang/dafny | C#DafnyJava | 2k | 0 | 214 | 0 |
| ConsenSys/evm-dafny | DafnyJavaMakefile | 49 | 0 | 1 | 0 |
| GLaDOS-Michigan/verification-class | DafnyHTMLCSS | 4 | 0 | 0 | 0 |
| dafny-lang/blog | RubyHTMLDafny | 0 | 0 | 1 | 0 |