1.stategraph / stategraph
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
- infrastructure-as-code
- infrastructure-automation
- +7 more
+105 stars
from 1,217 · score 4.66
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
4 repositories by Attention Score · May 7, 2026 – Nov 2, 2026 (UTC)
2.mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
+36 stars
from 1,928 · score 3.61
3.rocq-community / coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
- coq-ci
- coq-platform
+6 stars
from 97 · score 1.95
4.OCamlPro / drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
+2 stars
from 198 · score 1.10