14 search results for "tag:"stat""

Showing 1 - 14
  1. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 3 other packages
    Added to opam-repository
  2. goblint
    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.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. ocaml-r
    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
    Added to opam-repository
  4. osh
    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
    Added to opam-repository
  5. ppx_enforce
    Documentation
    PPX that enforces required function calls at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  6. ppx_forbid
    Documentation
    PPX that forbids specific function calls or modules at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  7. prbnmcn-dagger
    Documentation
    Probabilistic programming library
    statistics
    Ilias Garnier
    0.0.6
    MIT
    Used by 3 other packages
    Added to opam-repository
  8. prc
    Documentation
    Utilities for precision-recall curves
    precision recall statistics machine-learning
    Philippe Veber
    0.1.0
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  9. qcheck-stm
    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
    Added to opam-repository
  10. qcstm
    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
    Added to opam-repository
  11. raga
    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
    Added to opam-repository
  12. requisite
    Documentation
    Validated values, confidence gates, and per-value freshness
    validated-values trusted-types refinement-types proof-types confidence-levels trust-boundary exhaustive-matching stale-data typestate validation taint-tracking freshness ttl monotonic-time data-safety
    Stephen Olesen <slepp@slepp.ca>
    0.1.0
    MIT OR Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  13. unix-sys-stat
    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
    Added to opam-repository
  14. yocaml_cmark
    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
    Added to opam-repository