4511 search results for ""

Showing 1101 - 1150
  1. cps_toolbox
    Documentation
    A partial OCaml standard library replacement written with continuation passing style in mind
    Soren Norbaek <sorennorbaek@gmail.com>
    0.3
    MIT
    Used by 1 other packages
    23 Apr 2022
  2. cpu
    Documentation
    Pin current process to given core number
    Roberto Di Cosmo <roberto@dicosmo.org>
    2.0.0
    Used by 2 other packages
    11 Dec 2019
  3. cpuid
    Documentation
    Detect CPU features
    David Kaloper Meršinjak <dk505@cam.ac.uk>
    0.1.2
    ISC
    Used by 1 other packages
    03 Apr 2019
  4. craml
    Documentation
    A CRAM-testing framework for testing command line applications
    Thomas Gazagnaire <thomas@gazagnaire.org
    1.0.0
    ISC
    Used by 2 other packages
    06 Jul 2018
  5. crc
    Documentation
    CRC implementation supporting strings and cstructs
    David Scott John Else
    2.2.0
    ISC
    Used by 0 other packages
    29 Jun 2024
  6. 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
  7. 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
  8. 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
  9. crowbar
    Documentation
    Write tests, let a fuzzer find failing cases
    Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
    0.2.1
    MIT
    Used by 47 other packages
    04 Mar 2022
  10. crs
    Documentation
    A tool for managing code review comments embedded in source code
    code-review
    Mathieu Barbin
    0.0.20250705
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    10 Jul 2025
  11. 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 27 other packages
    21 Feb 2025
  12. 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
  13. crypt
    Documentation
    Tiny binding for the unix crypt function
    1.3
    Used by 0 other packages
    08 May 2014
  14. 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
  15. cryptohash
    Documentation
    hash functions for OCaml
    andreashauptmann@t-online.de
    0.1.2
    MIT
    Used by 0 other packages
    09 May 2017
  16. cryptokit
    Documentation
    A library of cryptographic primitives
    Xavier Leroy
    1.20
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 33 other packages
    09 Jul 2024
  17. 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.11
    CECILL-B
    Used by 0 other packages
    29 Sep 2024
  18. 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
  19. 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 28 other packages
    19 Apr 2023
  20. css
    Documentation
    CSS parser and printer
    Zoggy <zoggy@bat8.org>
    0.3.0
    GPL-3.0-only
    Used by 1 other packages
    19 Dec 2024
  21. css-parser
    Documentation
    A CSS parser written in OCaml
    Alessandro Strada
    0.2.5
    MIT
    Used by 0 other packages
    02 Feb 2021
  22. 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 196 other packages
    14 Mar 2023
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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 16 other packages
    10 Dec 2019
  28. 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
  29. 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
  30. 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
  31. 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
  32. ctypes
    Documentation
    Combinators for binding to C libraries without writing any C
    org:mirage
    Jeremy Yallop
    0.23.0
    MIT
    Used by 139 other packages
    16 Aug 2024
  33. ctypes-build
    Documentation
    Support for building Ctypes bindings.
    Jeremy Yallop David Sheets
    0.0.2
    MIT
    Used by 2 other packages
    04 Aug 2016
  34. ctypes-foreign
    Documentation
    Dynamic access to foreign C libraries using Ctypes
    org:mirage
    Jeremy Yallop
    0.23.0
    MIT
    Used by 87 other packages
    16 Aug 2024
  35. 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
  36. 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
  37. 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
  38. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  39. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    cuda jit nvrtc
    Lukasz Stafiniak
    0.7.0
    MIT
    Used by 0 other packages
    10 Apr 2025
  40. cudd
    Documentation
    Minimal cudd bindings
    Matthieu Lemerre <matthieu.lemerre@cea.fr> Paul Robert <paul.robert@cea.fr>
    0.1.1
    LGPL-2.1-only
    Used by 0 other packages
    12 Jun 2025
  41. 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
  42. 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
  43. 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
  44. 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
  45. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 2 other packages
    15 May 2025
  46. 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
  47. 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
  48. 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.1
    Apache-2.0
    Used by 11 other packages
    27 Feb 2025
  49. 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
  50. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
... 22 23 24 ... 91