565 search results for "tag:"C""

Showing 401 - 450
  1. qcheck
    Documentation
    Compatibility package for QCheck
    test property quickcheck
    the qcheck contributors
    0.26
    BSD-2-Clause
    Used by 64 other packages
    10 Jul 2025
  2. qcheck-alcotest
    Documentation
    Alcotest backend for QCheck
    test quickcheck qcheck alcotest
    the qcheck contributors
    0.26
    BSD-2-Clause
    Used by 76 other packages
    10 Jul 2025
  3. qcheck-core
    Documentation
    Core QCheck library
    test property quickcheck
    the qcheck contributors
    0.26
    BSD-2-Clause
    Used by 43 other packages
    10 Jul 2025
  4. qcheck-lin
    Documentation
    A multicore testing library for OCaml
    test property qcheck quickcheck parallelism sequential consistency
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.9
    BSD-2-clause
    Used by 0 other packages
    29 Jul 2025
  5. qcheck-multicoretests-util
    Documentation
    Various utility functions for property-based testing of multicore programs
    test property qcheck quickcheck multicore non-determinism
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.9
    BSD-2-clause
    Used by 8 other packages
    29 Jul 2025
  6. qcheck-ounit
    Documentation
    OUnit backend for QCheck
    qcheck quickcheck ounit
    the qcheck contributors
    0.26
    BSD-2-Clause
    Used by 4 other packages
    10 Jul 2025
  7. 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.9
    BSD-2-clause
    Used by 9 other packages
    29 Jul 2025
  8. 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
    24 Jun 2019
  9. qfs

    No documentation

    Bindings to libqfs - client library to access QFS
    org:ahrefs clib:stdc clib:qfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    0.12
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Jan 2020
  10. qmp
    Documentation
    OCaml implementation of a Qemu Message Protocol (QMP) client
    org:mirage org:xapi-project
    Dave Scott
    0.20.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    16 Aug 2023
  11. qrc
    Documentation
    QR code encoder for OCaml
    qr-code codec org:erratique
    The qrc programmers
    0.2.0
    ISC
    Used by 1 other packages
    10 Sep 2024
  12. qtest
    Documentation
    Lightweight inline test extraction from comments
    test property quickcheck
    Vincent Hugot <vincent.hugot@gmail.com> Simon Cruanes <simon.cruanes.2007@m4x.org
    2.11.2
    Used by 20 other packages
    12 Feb 2021
  13. quill
    Documentation
    Interactive notebook for OCaml data science
    notebook interactive-computing data-science literate-programming
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 1 other packages
    05 Jul 2025
  14. raven
    Documentation
    Meta package for the Raven ML ecosystem
    machine-learning data-science numerical-computation
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 0 other packages
    05 Jul 2025
  15. react

    No documentation

    Declarative events and signals for OCaml
    reactive declarative signal event frp org:erratique
    The react programmers
    1.2.2
    ISC
    Used by 16 other packages
    10 Feb 2022
  16. reactiveData
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp
    Hugo Heuzard <hugo.heuzard@gmail.com>
    0.3.1
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    04 Mar 2025
  17. records
    Documentation
    Dynamic records
    org:cryptosense
    Cryptosense <opensource@cryptosense.com> Etienne Millon <etienne@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    01 May 2023
  18. relude
    Documentation
    Alternative standard library (prelude) for ReasonML
    ReasonML Melange functional programming prelude standard library
    Michael Martin Andy White John Haley
    3.0.0
    MIT
    Used by 0 other packages
    05 Aug 2025
  19. resp-client
    Documentation
    Redis serialization protocol client library
    redis protocol
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 3 other packages
    27 Oct 2021
  20. rio
    Documentation
    Ergonomic, composable, efficient read/write streams
    multicore io streams read write
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.8
    MIT
    Used by 5 other packages
    05 Mar 2024
  21. riot
    Documentation
    An actor-model multi-core scheduler for OCaml 5
    multicore erlang actor message-passing processes
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 4 other packages
    15 Apr 2024
  22. root1d
    Documentation
    Find roots of 1D functions
    scientfic root finding
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Edgar Friendly <thelema314@gmail.com>
    0.5.1
    ISC
    Used by 0 other packages
    07 Sep 2018
  23. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  24. rpc
    Documentation
    A library to deal with RPCs in OCaml - meta-package
    org:mirage org:xapi-project deprecated
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  25. rpclib
    Documentation
    A library to deal with RPCs in OCaml
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 8 other packages
    16 Jun 2022
  26. rpclib-async
    Documentation
    A library to deal with RPCs in OCaml - Async interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 0 other packages
    16 Jun 2022
  27. rpclib-html
    Documentation
    A library to deal with RPCs in OCaml - html documentation generator
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 0 other packages
    16 Jun 2022
  28. rpclib-js
    Documentation
    A library to deal with RPCs in OCaml - Bindings for js_of_ocaml
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 0 other packages
    16 Jun 2022
  29. rpclib-lwt
    Documentation
    A library to deal with RPCs in OCaml - Lwt interface
    org:mirage org:xapi-project
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  30. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  31. savvy
    Documentation
    A straightforward OAuth2 client
    oauth2 security oauth
    Sam huckaby
    0.4.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  32. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  33. scgi
    Documentation
    Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
    scgi web application
    Mike Wells <https://github.com/mwells> Martin Jambon <https://github.com/mjambon> Bikal Lem <https://github.com/bikallem>
    1.0
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2019
  34. semv
    Documentation
    Bump a semver
    semver cli
    pombadev
    1.0.0
    Apache-2.0
    Used by 0 other packages
    28 May 2024
  35. sexps-rewriter
    Documentation
    A specialized file-rewriter for applying rewrites to sexp files
    codemods refactoring sexp-files
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 1 other packages
    30 Sep 2024
  36. sfml
    Documentation
    Bindings to the SFML multimedia library
    bindings graphics audio multimedia gamedev opengl network
    Florent Monnier Sylvain Boilard
    0.09.2
    zlib-acknowledgement
    Used by 0 other packages
    06 Aug 2022
  37. shared-block-ring
    Documentation
    A single-consumer single-producer queue on a block device
    org:mirage org:xapi-project
    David Scott Jon Ludlam Si Beaumont Pau Ruiz Safont
    3.0.1
    ISC
    Used by 0 other packages
    16 Apr 2022
  38. shared-memory-ring
    Documentation
    Shared memory rings for RPC and bytestream communications
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    3.2.1
    ISC
    Used by 3 other packages
    26 Apr 2024
  39. shared-memory-ring-lwt
    Documentation
    Shared memory rings for RPC and bytestream communications using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    3.2.1
    ISC
    Used by 2 other packages
    26 Apr 2024
  40. shuttle
    Documentation
    Reasonably performant non-blocking channels for async
    async reader writer
    Anurag Soni
    0.9.4
    MIT
    Used by 2 other packages
    26 Apr 2023
  41. shuttle_http
    Documentation
    Async library for HTTP/1.1 servers and clients
    http-server http-client http http1.1 async
    Anurag Soni
    0.12.0
    MIT
    Used by 1 other packages
    03 Jul 2024
  42. shuttle_ssl
    Documentation
    Async_ssl support for shuttle
    async reader writer ssl
    Anurag Soni
    0.9.4
    MIT
    Used by 1 other packages
    26 Apr 2023
  43. shuttle_websocket
    Documentation
    Websocket support for HTTP/1.1 servers using Async
    http-server websocket
    Anurag Soni
    0.12.0
    MIT
    Used by 0 other packages
    03 Jul 2024
  44. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  45. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  46. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    19 Feb 2020
  47. snf_mcp
    Documentation
    A Model Context Protocol server for web search and content fetching
    mcp fetch search web eio ocaml
    Marcello Seri <marcello.seri@gmail.com>
    0.2.0
    ISC
    Used by 0 other packages
    03 Jul 2025
  48. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 2 other packages
    21 Jun 2025
  49. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    21 Jun 2025
  50. solid_tools
    Documentation
    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    21 Jun 2025
... 8 9 10 ... 12