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
+32 stars
from 15,711 · score 3.50
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
15 repositories by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
2.reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
- programming-language
+20 stars
from 10,319 · score 3.04
+16 stars
from 1,325 · score 2.83
+13 stars
from 1,920 · score 2.64
5.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+9 stars
from 7,171 · score 2.30
+7 stars
from 1,088 · score 2.08
7.BinaryAnalysisPlatform / bap
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
- dynamic-analysis
- program-verification
- +13 more
+5 stars
from 2,259 · score 1.79
8.ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
+4 stars
from 1,706 · score 1.61
9.owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
- topic-modeling
- regression
- +14 more
+4 stars
from 1,354 · score 1.61
10.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
+4 stars
from 275 · score 1.61
+3 stars
from 267 · score 1.39
+1 stars
from 732 · score 0.69
+1 stars
from 227 · score 0.69
+1 stars
from 143 · score 0.69
+1 stars
from 37 · score 0.69