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
+220 stars
from 15,523 · score 5.40
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
27 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
+115 stars
from 1,226 · score 4.75
+77 stars
from 1,856 · score 4.36
4.reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
- programming-language
+70 stars
from 10,269 · score 4.26
+69 stars
from 1,026 · score 4.25
6.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+59 stars
from 7,121 · score 4.09
7.BinaryAnalysisPlatform / bap
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
- dynamic-analysis
- program-verification
- +13 more
+47 stars
from 2,217 · score 3.87
8.ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
+36 stars
from 1,674 · score 3.61
9.owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
- topic-modeling
- regression
- +14 more
+31 stars
from 1,327 · score 3.47
+25 stars
from 173 · score 3.26
+23 stars
from 710 · score 3.18
12.janestreet / incr_dom
A library for building dynamic webapps, using Js_of_ocaml.
+12 stars
from 390 · score 2.56
+10 stars
from 511 · score 2.40
14.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
+9 stars
from 270 · score 2.30
+9 stars
from 187 · score 2.30
+7 stars
from 263 · score 2.08
17.yallop / ocaml-ctypes
Library for binding to C libraries using pure OCaml
+6 stars
from 406 · score 1.95
+5 stars
from 223 · score 1.79
+5 stars
from 139 · score 1.79
+3 stars
from 314 · score 1.39
+3 stars
from 234 · score 1.39
+3 stars
from 166 · score 1.39
23.formalsec / smtml
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
- colibri2
- alt-ergo
- +4 more
+3 stars
from 78 · score 1.39
+3 stars
from 58 · score 1.39
25.owainlewis / ocaml-datastructures-algorithms
Data structures and algorithms in OCaml
+2 stars
from 56 · score 1.10
26.mmottl / sqlite3-ocaml
OCaml bindings to the SQLite3 database
+1 stars
from 131 · score 0.69
27.ocaml-community / ocaml-mariadb
OCaml bindings to MariaDB, supporting the nonblocking API
+1 stars
from 57 · score 0.69