c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

GitHub repository with 402 stars and 47 forks.

Language: OCaml

Topics: ocaml, quickcheck, random, testing, ounit, property-based-testing, alcotest, random-generator, monadic-interface

Open provider repository

24h trend summary

Trending score 0.00, activity score 0.00, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-02: 402 stars and 47 forks.

Similar repositories

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

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

  4. 4. ocaml-multicore/eio

    Effects-based direct-style IO for multicore OCaml

    GitHub repository with 694 stars and 83 forks.

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

    Language: OCaml

    Topics: concurrency, effects, io, multicore, ocaml

  5. 5. goblint/analyzer

    Static analysis framework for C

    GitHub repository with 248 stars and 88 forks.

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

    Language: OCaml

    Topics: ocaml, c, static-analysis, static-code-analysis, abstract-interpretation, program-analysis

  6. 6. ocaml/dune

    A composable build system for OCaml.

    GitHub repository with 1,882 stars and 478 forks.

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

    Language: OCaml

    Topics: build, dune, jbuilder, ocaml, opam

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. oxcaml/oxcaml

    OCaml - Oxidized!

    GitHub repository with 759 stars and 151 forks.

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

    Language: OCaml

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

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

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

Trending topic: 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. FStarLang/FStar

    A Proof-oriented Programming Language

    GitHub repository with 3,040 stars and 254 forks.

    Trending score: 0.87; stars gained: +3; forks gained: +0.

    Language: F*

    Topics: programming-language, verification, dependent-types, smt, theorem-proving, proof-assistant

  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. hazelgrove/hazel

    Hazel, a live functional programming environment with typed holes

    GitHub repository with 1,093 stars and 63 forks.

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

    Language: Reason

    Topics: editor, functional-programming, ocaml, elm, reasonml, holes

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

  6. 6. ocaml-multicore/eio

    Effects-based direct-style IO for multicore OCaml

    GitHub repository with 694 stars and 83 forks.

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

    Language: OCaml

    Topics: concurrency, effects, io, multicore, ocaml