1.meta / infer
A static analyzer for Java, C, C++, and Objective-C
- static-analysis
- static-code-analysis
- code-quality
- java
- c
- cpp
- +1 more
+12 stars
from 15,728 · score 2.56
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
7 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
2.stategraph / stategraph
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
- infrastructure-as-code
- infrastructure-automation
- +7 more
+7 stars
from 1,315 · score 2.08
3.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+4 stars
from 7,177 · score 1.61
4.ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+2 stars
from 910 · score 1.10
5.rocq-community / rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
- interactive-theorem-proving
- language-server-protocol
- +2 more
+2 stars
from 210 · score 1.10
+1 stars
from 733 · score 0.69
7.eWert-Online / OSnap
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
- visual-regression-testing
- visual-comparison-testing
- +2 more
+1 stars
from 176 · score 0.69