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
+103 stars
from 15,640 · score 4.64
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
33 repositories by Attention Score · Aug 7, 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
+37 stars
from 10,302 · score 3.64
+33 stars
from 1,900 · score 3.53
+30 stars
from 1,311 · score 3.43
+23 stars
from 1,072 · score 3.18
6.meta / pyre-checkArchived
Performant type-checking for python.
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- +5 more
+20 stars
from 7,160 · score 3.04
7.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
+18 stars
from 180 · score 2.94
9.owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
- topic-modeling
- regression
- +14 more
+15 stars
from 1,343 · score 2.77
10.ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
+14 stars
from 1,696 · score 2.71
+10 stars
from 723 · score 2.40
12.janestreet / incr_dom
A library for building dynamic webapps, using Js_of_ocaml.
+5 stars
from 397 · score 1.79
13.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
+5 stars
from 274 · score 1.79
14.yallop / ocaml-ctypes
Library for binding to C libraries using pure OCaml
+4 stars
from 408 · score 1.61
+3 stars
from 267 · score 1.39
+3 stars
from 234 · score 1.39
+3 stars
from 225 · score 1.39
+3 stars
from 193 · score 1.39
+2 stars
from 315 · score 1.10
+2 stars
from 142 · score 1.10
+2 stars
from 59 · score 1.10
+2 stars
from 36 · score 1.10
+1 stars
from 520 · score 0.69
24.aantron / lambdasoup
Functional HTML scraping and rewriting with CSS in OCaml
+1 stars
from 408 · score 0.69
+1 stars
from 209 · score 0.69
+1 stars
from 168 · score 0.69
27.pyrocat101 / opal
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
+1 stars
from 155 · score 0.69
28.mmottl / sqlite3-ocaml
OCaml bindings to the SQLite3 database
+1 stars
from 131 · score 0.69
29.formalsec / smtml
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
- colibri2
- alt-ergo
- +4 more
+1 stars
from 80 · score 0.69
30.Lelio-Brun / Obelisk
A simple multi-format pretty-printer for Menhir.
+1 stars
from 63 · score 0.69
31.owainlewis / ocaml-datastructures-algorithms
Data structures and algorithms in OCaml
+1 stars
from 57 · score 0.69
+1 stars
from 51 · score 0.69
+1 stars
from 7 · score 0.69