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 |