This is stars and forks stats for /dafny-lang/libraries repository. As of 26 Apr, 2024 this repository has 39 stars and 25 forks.
libraries Libraries useful for Dafny programs Status At the moment, we're just collecting generally useful Dafny code. Once we have some amount of code which is used successfully by several projects, we might restructure this repo, informed by the concrete use cases. So, please do use this library, give feedback, and contribute code, but also expect breaking changes. Contributions Any contributions of generally useful code are welcome, just open a pull request! Please follow the library style guidelines....
libraries Libraries useful for Dafny programs Status At the moment, we're just collecting generally useful Dafny code. Once we have some amount of code which is used successfully by several projects, we might restructure this repo, informed by the concrete use cases. So, please do use this library, give feedback, and contribute code, but also expect breaking changes. Contributions Any contributions of generally useful code are welcome, just open a pull request! Please follow the library style guidelines....
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
bluefireteam/photo_view | DartShell | 1.8k | 0 | 503 | 0 |
cabotapp/docker-cabot | DockerfileShellSmarty | 57 | 0 | 31 | 0 |
docker-library/redis | DockerfileShell | 1.1k | 0 | 559 | 0 |
russell/cue-mode | Emacs LispCUEShell | 10 | 0 | 3 | 0 |
mickeynp/combobulate | Emacs LispPython | 639 | +3 | 33 | 0 |
nomasystems/nqueue | ErlangPython | 11 | 0 | 0 | 0 |
firefart/stunner | GoPythonOther | 670 | 0 | 40 | 0 |
hyperledger/fabric | GoOther | 14.9k | 0 | 8.7k | 0 |
golang/protobuf | GoShell | 9.3k | 0 | 1.6k | 0 |
pressly/goose | GoOther | 4.5k | +53 | 474 | +7 |