4435 search results for ""

Showing 1151 - 1200
  1. crc
    Documentation
    CRC implementation supporting strings and cstructs
    David Scott John Else
    2.2.0
    ISC
    Used by 0 other packages
    29 Jun 2024
  2. crdt-ml
    Documentation
    CRDTs - Conflict-Free Replicated Data Types for OCaml
    Borja o'Cook <borjaocook@gmail.com>
    0.10.0
    GPL-3.0-only
    Used by 0 other packages
    14 Jul 2016
  3. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  4. crockford
    Documentation
    Crockford Base32 encoding for OCaml
    Anil Madhavapeddy
    1.0.0
    MIT
    Used by 0 other packages
    13 Nov 2025
  5. crontab
    Documentation
    Interacting with cron from OCaml
    Yann Régis-Gianas <yann.regis-gianas@irif.fr>
    0.1
    MIT
    Used by 0 other packages
    04 Apr 2019
  6. crowbar
    Documentation
    Write tests, let a fuzzer find failing cases
    Stephen Dolan <stedolan@stedolan.net>
    0.2.2
    MIT
    Used by 51 other packages
    23 Nov 2025
  7. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    07 Mar 2026
  8. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    4.0.0
    ISC
    Used by 28 other packages
    21 Feb 2025
  9. cry
    Documentation
    OCaml client for the various icecast & shoutcast source protocols
    Romain Beauxis <toots@rastageeks.org>
    1.0.3
    GPL-2.0-only
    Used by 2 other packages
    19 Mar 2024
  10. crypt
    Documentation
    A tiny binding for the Unix crypt function
    unix hash password
    Vincent Bernardoff <vb@luminar.eu.org> Mikhail Lopatin <dx3mod@bk.ru>
    2.1
    ISC
    Used by 0 other packages
    19 Nov 2025
  11. cryptodbm
    Documentation
    Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
    Didier Le Botlan <github.lebotlan@dfgh.net>
    0.84.2
    MIT
    Used by 0 other packages
    16 Nov 2017
  12. cryptohash
    Documentation
    hash functions for OCaml
    andreashauptmann@t-online.de
    0.1.2
    MIT
    Used by 0 other packages
    09 May 2017
  13. cryptokit
    Documentation
    A library of cryptographic primitives
    Xavier Leroy
    1.21.1
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 34 other packages
    02 Jan 2026
  14. cryptoverif

    No documentation

    CryptoVerif: Cryptographic protocol verifier in the computational model
    Bruno Blanchet <Bruno.Blanchet@inria.fr>, Pierre Boutry <boutry.pierre@gmail.com>, David Cadé <David.Cade@normalesup.org>, Christian Doczkal <christian.doczkal@mpi-sp.org>, Aymeric Fromherz <Aymeric.Fromherz@inria.fr>, Charlie Jacomme <Charlie.Jacomme@inria.fr>, Benjamin Lipp <Benjamin.Lipp@mpi-sp.org>, and Pierre-Yves Strub <pierre-yves@strub.nu>
    2.12
    CECILL-B
    Used by 0 other packages
    30 Oct 2025
  15. csdp

    No documentation

    Solver for semidefinite programming problems
    Brian Borchers <borchers@nmt.edu> Joseph Young <josyoun@nmt.edu> Aaron Wilson <wilson@nmt.edu>
    6.2.0
    EPL-2.0
    Used by 0 other packages
    26 Apr 2024
  16. csexp
    Documentation
    Parsing and printing of S-expressions in Canonical form
    Quentin Hocquet <mefyl@gruntech.org> Jane Street Group, LLC <opensource@janestreet.com> Jeremie Dimino <jeremie@dimino.org>
    1.5.2
    MIT
    Used by 34 other packages
    19 Apr 2023
  17. csexp-query
    Documentation
    Query tool for canonical s-expressions
    Josh Berdine <josh@berdine.net>
    0.1.0
    MIT
    Used by 0 other packages
    24 Jan 2026
  18. css
    Documentation
    CSS parser and printer
    Zoggy <zoggy@bat8.org>
    0.4.0
    GPL-3.0-only
    Used by 1 other packages
    19 Nov 2025
  19. css-parser
    Documentation
    A CSS parser written in OCaml
    Alessandro Strada
    0.2.5
    MIT
    Used by 0 other packages
    02 Feb 2021
  20. cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 199 other packages
    14 Mar 2023
  21. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 1 other packages
    14 Mar 2023
  22. cstruct-lwt
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 16 other packages
    14 Mar 2023
  23. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 6 other packages
    14 Mar 2023
  24. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 9 other packages
    14 Mar 2023
  25. csv
    Documentation
    A pure OCaml library to read and write CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 22 other packages
    10 Dec 2019
  26. csv-lwt
    Documentation
    A pure OCaml library to read and write CSV files, LWT version
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  27. csvfields
    Documentation
    Runtime support for ppx_xml_conv and ppx_csv_conv_deprecated
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 5 other packages
    26 May 2024
  28. csvtool
    Documentation
    Command line tool for handling CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  29. ctoxml
    Documentation
    Parses a C program into Cabs AST and dumps as an XML document
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  30. ctypes
    Documentation
    Combinators for binding to C libraries without writing any C
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 141 other packages
    13 Nov 2025
  31. ctypes-build
    Documentation
    Support for building Ctypes bindings.
    Jeremy Yallop David Sheets
    0.0.2
    MIT
    Used by 2 other packages
    04 Aug 2016
  32. ctypes-foreign
    Documentation
    Dynamic access to foreign C libraries using Ctypes
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 90 other packages
    13 Nov 2025
  33. ctypes-zarith
    Documentation
    Ctypes wrapper for zarith
    Andreas Hauptmann Stephane Graham-Lengrand
    0.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Jul 2020
  34. ctypes_stubs_js
    Documentation
    Js_of_ocaml Javascript stubs for the OCaml ctypes library
    Nomadic-labs <contact@nomadic-labs.com>
    0.1
    MIT
    Used by 0 other packages
    29 Jan 2022
  35. cubicle
    Documentation
    SMT based model checker for parameterized systems
    Sylvain Conchon Alain Mebsout
    1.2.0
    Apache-2.0
    Used by 0 other packages
    02 Nov 2022
  36. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  37. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    cuda jit nvrtc
    Lukasz Stafiniak
    0.7.2
    MIT
    Used by 0 other packages
    20 Aug 2025
  38. cudd
    Documentation
    Minimal cudd bindings
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Paul Robert <paul.robert@cea.fr>
    0.1.3
    LGPL-2.1-only
    Used by 1 other packages
    26 Sep 2025
  39. cudf
    Documentation
    CUDF library (part of the Mancoosi tools)
    Roberto di Cosmo <roberto@dicosmo.org> Stefano Zacchiroli Pietro Abate
    0.10
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    23 Jul 2022
  40. cue_sheet_maker
    Documentation
    A library to create cuesheet
    cuesheet
    EruEri <nayinayu@mailo.com>
    0.2.0-1
    MPL-2.0
    Used by 0 other packages
    01 Aug 2023
  41. cuid
    Documentation
    CUID generator for OCaml
    Marco Aurélio da Silva <marcoonroad@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    04 Nov 2019
  42. cumulus
    Documentation
    Differential FRP based on the React library
    Petter A. Urkedal <paurkedal@gmail.com>
    0.0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Oct 2020
  43. cure2
    Documentation
    Re-like combinators for Re2
    regexp regex
    Emile Trotignon <emile.trotignon@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    21 Oct 2025
  44. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 5 other packages
    15 May 2025
  45. curl_lwt
    Documentation
    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 1 other packages
    15 May 2025
  46. curly
    Documentation
    Curly is a brain dead wrapper around the curl command line utility
    Rudi Grinberg
    0.3.0
    ISC
    Used by 3 other packages
    01 Feb 2023
  47. current
    Documentation
    Pipeline language for keeping things up-to-date
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.7.3
    Apache-2.0
    Used by 11 other packages
    11 Jan 2026
  48. current-albatross-deployer
    Documentation
    An ocurrent plugin to deploy MirageOS unikernels
    Lucas Pluvinage
    1.0.0
    ISC
    Used by 0 other packages
    16 Nov 2022
  49. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
  50. current_ansi
    Documentation
    ANSI escape sequence parser
    talex5@gmail.com
    0.4
    Used by 1 other packages
    23 Dec 2020
... 23 24 25 ... 89