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
+102 stars
from 15,638 · score 4.63
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
15 repositories by Attention Score · Aug 5, 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
+75 stars
from 1,247 · score 4.33
+34 stars
from 1,899 · score 3.56
4.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+21 stars
from 7,160 · score 3.09
5.BinaryAnalysisPlatform / bap
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
- dynamic-analysis
- program-verification
- +13 more
+20 stars
from 2,244 · score 3.04
6.mirage / irmin
Irmin is a distributed database that follows the same design principles as Git
+15 stars
from 1,949 · score 2.77
7.ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+13 stars
from 899 · score 2.64
8.OCamlPro / owi
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
- c
- constraints
- +13 more
+13 stars
from 316 · score 2.64
+12 stars
from 722 · score 2.56
10.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
+5 stars
from 207 · score 1.79
+3 stars
from 234 · score 1.39
12.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
+3 stars
from 174 · score 1.39
13.hirrolot / mazeppa
A modern supercompiler for call-by-value functional languages
- compiler
- functional
- functional-programming
- language
- optimization
- performance
- +6 more
+2 stars
from 477 · score 1.10
+1 stars
from 367 · score 0.69
15.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.
+1 stars
from 199 · score 0.69