rexim/ninety-nine-ocaml-problems

99 Problems in OCaml

GitHub repository with 6 stars and 0 forks.

Language: OCaml

Open provider repository

Latest metric snapshot

2026-06-04: 6 stars and 0 forks.

Similar repositories

  1. 1. opengrep/opengrep

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

    GitHub repository with 2,646 stars and 218 forks.

    Trending score: 0.88; stars gained: +7; forks gained: +1.

    Language: OCaml

  2. 2. AeneasVerif/aeneas

    A verification toolchain for Rust programs

    GitHub repository with 793 stars and 77 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +0.

    Language: OCaml

    Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar

  3. 3. jeong-sik/masc-mcp

    MASC - Multi-Agent Streaming Coordination in OCaml

    GitHub repository with 5 stars and 1 forks.

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

    Language: OCaml

  4. 4. Deducteam/lambdapi

    Proof assistant based on the λΠ-calculus modulo rewriting

    GitHub repository with 389 stars and 43 forks.

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

    Language: OCaml

    Topics: proof-checker, proof-assistant, rewriting, dependent-types, logical-framework, proof-translator

  5. 5. johnwhitington/cpdf-source

    PDF Command Line Tools Source

    GitHub repository with 277 stars and 31 forks.

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

    Language: OCaml

  6. 6. LPCIC/coq-elpi

    Rocq plugin embedding Elpi

    GitHub repository with 193 stars and 75 forks.

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

    Language: OCaml

    Topics: coq, metaprogramming, extension-language, lambda-prolog, scripting

Trending in OCaml

  1. 1. opengrep/opengrep

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

    GitHub repository with 2,646 stars and 218 forks.

    Trending score: 0.88; stars gained: +7; forks gained: +1.

    Language: OCaml

  2. 2. AeneasVerif/aeneas

    A verification toolchain for Rust programs

    GitHub repository with 793 stars and 77 forks.

    Trending score: 0.83; stars gained: +6; forks gained: +0.

    Language: OCaml

    Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar

  3. 3. jeong-sik/masc-mcp

    MASC - Multi-Agent Streaming Coordination in OCaml

    GitHub repository with 5 stars and 1 forks.

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

    Language: OCaml

  4. 4. Deducteam/lambdapi

    Proof assistant based on the λΠ-calculus modulo rewriting

    GitHub repository with 389 stars and 43 forks.

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

    Language: OCaml

    Topics: proof-checker, proof-assistant, rewriting, dependent-types, logical-framework, proof-translator

  5. 5. johnwhitington/cpdf-source

    PDF Command Line Tools Source

    GitHub repository with 277 stars and 31 forks.

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

    Language: OCaml

  6. 6. LPCIC/coq-elpi

    Rocq plugin embedding Elpi

    GitHub repository with 193 stars and 75 forks.

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

    Language: OCaml

    Topics: coq, metaprogramming, extension-language, lambda-prolog, scripting