This is stars and forks stats for /tamarin-prover/tamarin-prover repository. As of 08 May, 2024 this repository has 343 stars and 110 forks.
The Tamarin prover repository This README describes the organization of the repository of the Tamarin prover for security protocol verification. Its intended audience are interested users and future developers of the Tamarin prover. For installation and usage instructions of the Tamarin prover see chapter 2 of the manual: https://tamarin-prover.github.io/manual/master/book/002_installation.html Developing and contributing See contributing instructions for instructions on how to develop, test and...
The Tamarin prover repository This README describes the organization of the repository of the Tamarin prover for security protocol verification. Its intended audience are interested users and future developers of the Tamarin prover. For installation and usage instructions of the Tamarin prover see chapter 2 of the manual: https://tamarin-prover.github.io/manual/master/book/002_installation.html Developing and contributing See contributing instructions for instructions on how to develop, test and...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| man553/final-ron | HaxeCC++ | 6 | 0 | 8 | 0 |
| Azure/terraform-azurerm-vnet-gateway | HCLGoMakefile | 7 | 0 | 3 | 0 |
| SpigotMC/BungeeCord | JavaOther | 1.5k | 0 | 1.1k | 0 |
| google/google-java-format | JavaOther | 5.1k | 0 | 879 | 0 |
| layer5io/layer5 | JavaScriptMDXHTML | 729 | 0 | 987 | 0 |
| tw93/Maple | JavaScriptHTML | 254 | 0 | 10 | 0 |
| yegor256/blog | LiquidRubyHTML | 109 | 0 | 63 | 0 |
| AlexZhuo/openwrt-ngrokc | Makefile | 14 | 0 | 55 | 0 |
| service-mesh-performance/service-mesh-performance | Makefile | 258 | 0 | 144 | 0 |
| nuta/operating-system-in-1000-lines | MDXCTypeScript | 126 | 0 | 12 | 0 |