This is stars and forks stats for /secure-foundations/veri-datalog repository. As of 16 Apr, 2024 this repository has 2 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| polymode/polymode | Emacs LispMakefileShell | 648 | 0 | 64 | 0 |
| cabol/shards | ErlangMakefile | 289 | 0 | 34 | 0 |
| shortishly/envy | ErlangMakefile | 10 | 0 | 5 | 0 |
| erlangpack/erlang-oauth | ErlangMakefile | 297 | 0 | 105 | 0 |
| keijiro/NoiseShader | HLSLShaderLabC# | 1k | 0 | 118 | 0 |
| sile-typesetter/sile | LuaC++C | 1.6k | +5 | 98 | +1 |
| open-telemetry/oteps | MakefileGo | 284 | 0 | 146 | 0 |
| giantswarm/cluster-openstack | MustacheMakefileShell | 5 | 0 | 5 | 0 |
| CeresDB/ceresdb | RustPythonShell | 2.2k | 0 | 166 | 0 |
| hashicorp/vault-guides | ShellHCLJavaScript | 984 | +1 | 600 | 0 |