facebook/infer

A static analyzer for Java, C, C++, and Objective-C

GitHub repository with 15,634 stars and 2,092 forks.

Language: OCaml

Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp, objective-c

Open provider repository

24h trend summary

Trending score 0.49, activity score 0.05, stars gained +2, forks gained -1.

Latest metric snapshot

2026-06-04: 15,634 stars and 2,092 forks.

Similar repositories

  1. 1. facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    GitHub repository with 15,634 stars and 2,092 forks.

    Trending score: 0.49; stars gained: +2; forks gained: -1.

    Language: OCaml

    Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp

Trending in OCaml

  1. 1. opengrep/opengrep

    🔎 Static code analysis engine to find security issues in code.

    GitHub repository with 2,647 stars and 218 forks.

    Trending score: 1.04; stars gained: +11; forks gained: +1.

    Language: OCaml

  2. 2. AeneasVerif/aeneas

    A verification toolchain for Rust programs

    GitHub repository with 794 stars and 77 forks.

    Trending score: 0.99; stars gained: +7; forks gained: +0.

    Language: OCaml

  3. 3. jeong-sik/masc-mcp

    MASC - Multi-Agent Streaming Coordination in OCaml

    GitHub repository with 5 stars and 1 forks.

    Trending score: 0.55; stars gained: +0; forks gained: +0.

    Language: OCaml

  4. 4. OCamlPro/owi

    Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

    GitHub repository with 304 stars and 41 forks.

    Trending score: 0.52; stars gained: +1; forks gained: +0.

    Language: OCaml

    Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution

  5. 5. facebook/infer

    A static analyzer for Java, C, C++, and Objective-C

    GitHub repository with 15,634 stars and 2,092 forks.

    Trending score: 0.49; stars gained: +2; forks gained: -1.

    Language: OCaml

    Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp

  6. 6. johnwhitington/camlpdf

    OCaml library for reading, writing and modifying PDF files

    GitHub repository with 230 stars and 33 forks.

    Trending score: 0.48; stars gained: +1; forks gained: +0.

    Language: OCaml

Trending topic: static-analysis

  1. 1. fallow-rs/fallow

    Codebase intelligence for TypeScript and JavaScript. Free static layer: unused code, duplication, circular deps, complexity hotspots, architecture boundaries. Optional paid runtime layer: hot-path review and cold-path deletion evidence from real production traffic. Rust-native, sub-second, zero-config framework support.

    GitHub repository with 3,021 stars and 91 forks.

    Trending score: 4.05; stars gained: +346; forks gained: +16.

    Language: Rust

    Topics: cli, code-duplication, code-quality, codebase-intelligence, copy-paste-detection, dead-code

  2. 2. astral-sh/ruff

    An extremely fast Python linter and code formatter, written in Rust.

    GitHub repository with 47,816 stars and 2,129 forks.

    Trending score: 2.81; stars gained: +37; forks gained: +8.

    Language: Rust

    Topics: linter, pep8, python, python3, ruff, rust

  3. 3. repowise-dev/repowise

    Codebase intelligence for AI-assisted engineering teams: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.

    GitHub repository with 2,195 stars and 282 forks.

    Trending score: 2.80; stars gained: +18; forks gained: +0.

    Language: Python

    Topics: ai, code-intelligence, dead-code, developer-tools, documentation, git-analytics

  4. 4. ast-grep/ast-grep

    âš¡A CLI tool for code structural search, lint and rewriting. Written in Rust

    GitHub repository with 14,317 stars and 389 forks.

    Trending score: 1.66; stars gained: +55; forks gained: +4.

    Language: Rust

    Topics: codemod, linter, ast, babel, command-line, command-line-tool

  5. 5. ozgurcd/gograph

    A fast, local-only CLI tool to generate repository structures and improve IDE context awareness for Go codebases.

    GitHub repository with 158 stars and 13 forks.

    Trending score: 1.51; stars gained: +7; forks gained: +3.

    Language: Go

    Topics: agentic-coding, ai-agent, ai-coding-assistant, antigravity, ast, claude-code

  6. 6. berabuddies/Semia

    Semia, security audit for AI agent skills.

    GitHub repository with 362 stars and 58 forks.

    Trending score: 1.38; stars gained: +27; forks gained: +2.

    Language: Python

    Topics: claude-code, codex, openclaw, security, skill-scanner, static-analysis