facebook/pyre-check

Performant type-checking for python.

GitHub repository with 7,167 stars and 452 forks.

Language: OCaml

Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python, security, static-analysis, taint-analysis, type-check

Open provider repository

Latest metric snapshot

2026-06-05: 7,167 stars and 452 forks.

Trending in OCaml

  1. 1. ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    GitHub repository with 6,390 stars and 1,237 forks.

    Trending score: 1.39; stars gained: +28; forks gained: +2.

    Language: OCaml

    Topics: ocaml, compiler, functional-language

  2. 2. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 760 stars and 151 forks.

    Trending score: 0.81; stars gained: +3; forks gained: +2.

    Language: OCaml

  3. 3. geneweb/geneweb

    GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

    GitHub repository with 378 stars and 116 forks.

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

    Language: OCaml

    Topics: consanguinity, database, family-tree, gedcom, genealogy, graph

  4. 4. tezos/tezos-mirror

    Github test mirror of the Octez software. Please do not submit pull-requests here!

    GitHub repository with 113 stars and 40 forks.

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

    Language: OCaml

    Topics: blockchain, ocaml, smart-contracts, tezos

  5. 5. savonet/liquidsoap

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

    GitHub repository with 1,666 stars and 155 forks.

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

    Language: OCaml

    Topics: liquidsoap, streaming, webradio

  6. 6. panglesd/slipshow

    An engine for displaying slips, the next-gen version of slides

    GitHub repository with 818 stars and 20 forks.

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

    Language: OCaml

Trending topic: abstract-interpretation

  1. 1. vbpf/prevail

    eBPF verifier based on abstract interpretation

    GitHub repository with 464 stars and 52 forks.

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

    Language: C++

    Topics: abstract-interpretation, ebpf, ebpf-verifier, static-analyzer