xoolive/facile

Latest metric snapshot

2026-06-05: 24 stars and 6 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. opengrep/opengrep

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

   GitHub repository with 2,650 stars and 218 forks.

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

   Language: OCaml

3. 3. facebook/pyre-check

   Performant type-checking for python.

   GitHub repository with 7,166 stars and 452 forks.

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

   Language: OCaml

   Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python

4. 4. EasyCrypt/easycrypt

   EasyCrypt: Computer-Aided Cryptographic Proofs

   GitHub repository with 399 stars and 63 forks.

   Trending score: 0.57; stars gained: +2; forks gained: +0.

   Language: OCaml

5. 5. 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

6. 6. facebook/infer

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

   GitHub repository with 15,635 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 topic: constrained-optimization

1. 1. control-toolbox/OptimalControl.jl

   Model and solve optimal control problems in Julia, both on CPU and GPU.

   GitHub repository with 133 stars and 8 forks.

   Trending score: 0.05.

   Language: Julia

   Topics: julia, optimal-control, quantum-optimal-control, control-systems, differentiable-programming, nonlinear-equations