4650 search results for ""

Showing 1151 - 1200
  1. cryptohash
    Documentation
    hash functions for OCaml
    andreashauptmann@t-online.de
    0.1.2
    MIT
    Used by 0 other packages
    09 May 2017
  2. cryptokit

    No 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
  3. 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
  4. 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
  5. 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 29 other packages
    19 Apr 2023
  6. 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
  7. css-parser
    Documentation
    A CSS parser written in OCaml
    Alessandro Strada
    0.2.5
    MIT
    Used by 0 other packages
    02 Feb 2021
  8. 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
  9. 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
  10. 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 17 other packages
    14 Mar 2023
  11. 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
  12. 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
  13. 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 21 other packages
    10 Dec 2019
  14. 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
  15. 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
  16. 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
  17. 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
  18. ctypes
    Documentation
    Combinators for binding to C libraries without writing any C
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 147 other packages
    13 Nov 2025
  19. ctypes-build
    Documentation
    Support for building Ctypes bindings.
    Jeremy Yallop David Sheets
    0.0.2
    MIT
    Used by 2 other packages
    04 Aug 2016
  20. ctypes-foreign
    Documentation
    Dynamic access to foreign C libraries using Ctypes
    org:mirage
    Jeremy Yallop
    0.24.0
    MIT
    Used by 92 other packages
    13 Nov 2025
  21. 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
  22. 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 3 other packages
    29 Jan 2022
  23. 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
  24. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  25. 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
  26. 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 0 other packages
    26 Sep 2025
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 4 other packages
    15 May 2025
  33. 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
  34. 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
  35. current

    No 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
  36. 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
  37. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
  38. current_ansi
    Documentation
    ANSI escape sequence parser
    talex5@gmail.com
    0.4
    Used by 1 other packages
    23 Dec 2020
  39. current_docker

    No documentation

    OCurrent Docker plugin
    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 2 other packages
    11 Jan 2026
  40. current_examples

    No documentation

    Example pipelines for OCurrent
    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 0 other packages
    11 Jan 2026
  41. current_git

    No documentation

    Git plugin for OCurrent
    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 6 other packages
    11 Jan 2026
  42. current_github

    No documentation

    GitHub plugin for OCurrent
    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 2 other packages
    11 Jan 2026
  43. current_gitlab

    No documentation

    GitLab plugin for OCurrent
    Tim McGilchrist <timmcgil@gmail.com>
    0.7.3
    Apache-2.0
    Used by 1 other packages
    11 Jan 2026
  44. current_incr
    Documentation
    Self-adjusting computations
    talex5@gmail.com
    0.6.1
    Apache-2.0
    Used by 2 other packages
    25 Oct 2022
  45. current_ocluster
    Documentation
    OCurrent plugin for OCluster builds
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 1 other packages
    09 Feb 2024
  46. current_rpc

    No documentation

    Cap'n Proto RPC plugin for OCurrent
    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 1 other packages
    11 Jan 2026
  47. current_slack

    No documentation

    Slack plugin for OCurrent
    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 0 other packages
    11 Jan 2026
  48. current_ssh

    No documentation

    SSH plugin for OCurrent
    Mark Elvers <mark.elvers@tunbury.org>
    0.7.3
    Apache-2.0
    Used by 1 other packages
    11 Jan 2026
  49. current_web

    No documentation

    Test web UI for OCurrent
    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 6 other packages
    11 Jan 2026
  50. curses
    Documentation
    Bindings to ncurses
    Nicolas George
    1.0.11
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jan 2023
... 23 24 25 ... 93