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,734 · score 2.30
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
7 repositories by Attention Score · Oct 29, 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
+7 stars
from 10,332 · score 2.08
3.owlbarn / owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
- topic-modeling
- regression
- +14 more
+3 stars
from 1,355 · score 1.39
+2 stars
from 268 · score 1.10
+1 stars
from 1,094 · score 0.69
6.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
+1 stars
from 278 · score 0.69
7.ftripier / spookyc
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
- vampire
- skeleton
- +8 more
+1 stars
from 151 · score 0.69