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
+9 stars
from 15,733 · score 2.30
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
5 repositories by Attention Score · Oct 28, 2026 – Nov 3, 2026 (UTC)
2.stategraph / stategraph
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
- infrastructure-as-code
- infrastructure-automation
- +7 more
+9 stars
from 1,317 · score 2.30
3.ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+2 stars
from 911 · score 1.10
4.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+1 stars
from 7,179 · score 0.69
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
+1 stars
from 211 · score 0.69