10 search results for "tag:"stat""

Showing 1 - 10
  1. goblint

    No documentation

    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.7.1
    MIT
    Used by 0 other packages
    27 Nov 2025
  2. ocaml-r

    No documentation

    Objective Caml bindings for the R interpreter
    R statistics
    Guillaume Yzyquel Maxence Guesdon Philippe Veber
    0.6.0
    GPL-3.0-only
    Used by 0 other packages
    19 Jan 2023
  3. osh

    No documentation

    OCaml web API to generate SVG shields
    shield badge svg generator status build code coverage
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    07 Oct 2021
  4. prbnmcn-dagger

    No documentation

    Probabilistic programming library
    statistics
    Ilias Garnier
    0.0.6
    MIT
    Used by 3 other packages
    20 Jan 2025
  5. prc

    No documentation

    Utilities for precision-recall curves
    precision recall statistics machine-learning
    Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    03 Nov 2021
  6. qcheck-stm

    No documentation

    State-machine testing library for sequential and parallel model-based tests
    test property qcheck quickcheck state-machine testing model-based testing parallel testing
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.10
    BSD-2-clause
    Used by 9 other packages
    07 Oct 2025
  7. qcstm

    No documentation

    A simple state-machine framework for OCaml based on QCheck
    state machine test property quickcheck
    Jan Midtgaard
    0.1.1
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2019
  8. raga

    No documentation

    Simple static site generator
    handlebars huml markdown static-site-generator
    kaustubh m <k@kaustubh.page>
    0.1.1
    MIT
    Used by 0 other packages
    23 Jan 2026
  9. unix-sys-stat

    No documentation

    ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h
    unix posix sys/stat.h syscall stat
    David Sheets Jeremy Yallop
    0.5.2
    ISC
    Used by 0 other packages
    22 Jan 2017
  10. yocaml_cmark

    No documentation

    YOCaml Common Mark processor
    shell bin make static blog generator
    The XHTMLBoy <xhtmlboi@gmail.com> Pierre Ruyter <grimfw@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    21 Nov 2023