566 search results for "tag:"C""

Showing 401 - 450
  1. 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.4
    BSD-2-clause
    Used by 7 other packages
    17 Sep 2024
  2. qcheck-ounit
    Documentation
    OUnit backend for qcheck
    qcheck quickcheck ounit
    the qcheck contributors
    0.22
    BSD-2-Clause
    Used by 4 other packages
    09 Jul 2024
  3. 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.4
    BSD-2-clause
    Used by 9 other packages
    17 Sep 2024
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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 22 other packages
    12 Feb 2021
  9. react
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp org:erratique
    The react programmers
    1.2.2
    ISC
    Used by 20 other packages
    10 Feb 2022
  10. reactiveData
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp
    Hugo Heuzard <hugo.heuzard@gmail.com>
    0.3.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    03 May 2022
  11. records
    Documentation
    Dynamic records
    org:cryptosense
    Cryptosense <opensource@cryptosense.com> Etienne Millon <etienne@cryptosense.com>
    1.0.0
    BSD-2-Clause
    Used by 1 other packages
    01 May 2023
  12. 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
  13. 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
  14. 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
  15. 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
  16. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Feb 2024
  17. rpc

    No 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 9 other packages
    16 Jun 2022
  18. 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
  19. 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 1 other packages
    16 Jun 2022
  20. 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
  21. 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
  22. rpclib-lwt

    No 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 2 other packages
    16 Jun 2022
  23. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.1.3
    MIT
    Used by 0 other packages
    06 Jan 2024
  24. 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.3
    ISC
    Used by 3 other packages
    18 Nov 2024
  25. 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
  26. semv
    Documentation
    Bump a semver
    semver cli
    pombadev
    1.0.0
    Apache-2.0
    Used by 0 other packages
    28 May 2024
  27. sequence
    Documentation
    Simple and lightweight sequence abstract data type.
    sequence iterator iter fold
    Simon Cruanes
    1.1
    BSD-2-Clause
    Used by 10 other packages
    15 Jul 2018
  28. 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
  29. 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 1 other packages
    16 Apr 2022
  30. 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 10 other packages
    26 Apr 2024
  31. 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 3 other packages
    26 Apr 2024
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 1 other packages
    19 Feb 2020
  39. socket-daemon
    Documentation
    Create daemons listening to a socket for stop, restart, ..., orders
    socket daemon unix
    Maxence Guesdon
    0.3.0
    GPL-3.0-only
    Used by 0 other packages
    18 Aug 2016
  40. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 2 other packages
    08 Oct 2024
  41. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    08 Oct 2024
  42. solid_tools

    No documentation

    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    08 Oct 2024
  43. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  44. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  45. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  46. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  47. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  48. spelll
    Documentation
    Fuzzy string searching, using Levenshtein automaton
    spell levenshtein automaton typo edit distance
    simon.cruanes.2007@m4x.org
    0.4
    BSD-2-Clause
    Used by 4 other packages
    21 Apr 2022
  49. spices
    Documentation
    Declarative styles for TUI applications
    styling styles declarative framework tui terminal-ui apps
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 4 other packages
    29 Dec 2023
  50. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.2.0
    MIT
    Used by 30 other packages
    06 Aug 2024
... 8 9 10 ... 12