| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| dafny-lang/dafny | C#DafnyJava | 2.5k | +6 | 236 | +2 |
| Consensys/evm-dafny | DafnyJavaMakefile | 95 | +1 | 4 | 0 |
| dafny-lang/libraries | DafnyShellPython | 39 | 0 | 25 | 0 |
| secure-foundations/veri-datalog | DafnyC#F* | 2 | 0 | 0 | 0 |
| GLaDOS-Michigan/verification-class | DafnyHTMLCSS | 4 | 0 | 0 | 0 |
| vmware-labs/verified-betrfs | DafnyPythonC++ | 26 | 0 | 9 | 0 |