4509 search results for ""

Showing 1201 - 1250
  1. 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
  2. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 6 other packages
    15 May 2025
  11. 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
  12. 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
  13. 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.4
    Apache-2.0
    Used by 12 other packages
    29 Mar 2026
  14. 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
  15. current-web-pipelines
    Documentation
    Simplify the creation of pipeline websites
    lucas@tarides.com
    0.1
    MIT
    Used by 0 other packages
    06 Jul 2023
  16. current_ansi
    Documentation
    ANSI escape sequence parser
    talex5@gmail.com
    0.4
    Used by 1 other packages
    23 Dec 2020
  17. current_docker
    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.4
    Apache-2.0
    Used by 2 other packages
    29 Mar 2026
  18. current_examples
    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.4
    Apache-2.0
    Used by 0 other packages
    29 Mar 2026
  19. current_git
    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.4
    Apache-2.0
    Used by 6 other packages
    29 Mar 2026
  20. current_github
    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.4
    Apache-2.0
    Used by 2 other packages
    29 Mar 2026
  21. current_gitlab
    Documentation
    GitLab plugin for OCurrent
    Tim McGilchrist <timmcgil@gmail.com>
    0.7.4
    Apache-2.0
    Used by 1 other packages
    29 Mar 2026
  22. current_incr
    Documentation
    Self-adjusting computations
    talex5@gmail.com
    0.6.1
    Apache-2.0
    Used by 2 other packages
    25 Oct 2022
  23. current_ocluster

    No 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.4.0
    Apache-2.0
    Used by 1 other packages
    13 May 2026
  24. current_rpc
    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.4
    Apache-2.0
    Used by 1 other packages
    29 Mar 2026
  25. 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.4
    Apache-2.0
    Used by 0 other packages
    29 Mar 2026
  26. current_ssh
    Documentation
    SSH plugin for OCurrent
    Mark Elvers <mark.elvers@tunbury.org>
    0.7.4
    Apache-2.0
    Used by 1 other packages
    29 Mar 2026
  27. current_web
    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.4
    Apache-2.0
    Used by 6 other packages
    29 Mar 2026
  28. curses

    No documentation

    Bindings to ncurses
    Nicolas George
    1.0.12
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    06 Apr 2026
  29. curve-sampling
    Documentation
    Sampling of parametric and implicit curves
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2021
  30. cvc5
    Documentation
    OCaml bindings for the cvc5 SMT solver
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
    1.3.0
    MIT
    Used by 0 other packages
    26 Jun 2025
  31. cviode
    Documentation
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  32. DAGaml
    Documentation
    DAGaml : Abstract DAG manipulation in OCaml
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Nov 2021
  33. DkZero_Base

    No documentation

    Base modules for dk0
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 2 other packages
    19 May 2026
  34. DkZero_Exec

    No documentation

    The single-threaded dk0 build system
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 0 other packages
    19 May 2026
  35. DkZero_RuntimeC

    No documentation

    C runtime functions for dk0
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    2.4.2.169
    (OSL-3.0 OR LicenseRef-DkSDK-SOFTWARE-DEVELOPMENT-KIT-LICENSE-AGREEMENT)
    Used by 1 other packages
    19 May 2026
  36. daft
    Documentation
    DAFT Allows File Transfers
    Francois Berenger
    0.0.4
    CeCILL-C
    Used by 0 other packages
    11 Jan 2023
  37. dap
    Documentation
    Debug adapter protocol
    文宇祥 <hackwaly@qq.com>
    1.0.6
    MIT
    Used by 2 other packages
    21 Feb 2021
  38. data-encoding

    No documentation

    Library of JSON and binary encoding combinators
    Nomadic Labs
    1.0.1
    MIT
    Used by 4 other packages
    21 Mar 2024
  39. dataframe
    Documentation
    A simple and type-safe dataframe api in pure ocaml
    Laurent Mazare
    0.1
    Used by 0 other packages
    22 Jun 2019
  40. datakit-server
    Documentation
    A library to write Datakit servers
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 1 other packages
    13 Jul 2019
  41. datakit-server-9p
    Documentation
    Build Datakit servers using the 9P filesystem protocol
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 0 other packages
    13 Jul 2019
  42. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    18 Oct 2024
  43. dates_calc
    Documentation
    A date calculation library
    Vincent Botbol Aymeric Fromherz Louis Gesbert Denis Merigoux Raphaël Monat et al.
    0.0.10
    Apache-2.0
    Used by 1 other packages
    14 May 2025
  44. daypack-lib
    Documentation
    A schedule, time and time slots handling library
    Daypack developers
    0.0.6
    MIT
    Used by 1 other packages
    22 Oct 2020
  45. dbase4
    Documentation
    A DBF/DBT files reader library
    xBASE DBF data access
    Mykhayl Puzanov <pum@example.com>
    0.2.0
    GPL-3.0-or-later
    Used by 0 other packages
    04 Aug 2025
  46. dbf
    Documentation
    DBF format parsing
    redianthus <redopam@pm.me> Philippe Veber
    0.2.0
    ISC
    Used by 0 other packages
    06 Oct 2023
  47. dblp
    Documentation
    Commandline program do query the DBLP bibliographic database
    Samuel Mimram <smimram@gmail.com>
    0.1.1
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Oct 2024
  48. dblp-api
    Documentation
    Library to query the DBLP bibliographic database
    Samuel Mimram <smimram@gmail.com>
    0.1.1
    LGPL-3.0-or-later
    Used by 1 other packages
    04 Oct 2024
  49. dbm
    Documentation
    Binding to the NDBM/GDBM Unix "databases"
    Francois Rouaix
    1.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    12 Jul 2024
  50. dead_code_analyzer

    No documentation

    Dead code analyzer for OCaml
    Alain Frisch Corentin De Souza <de.souza.corentin@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    22 May 2026
... 24 25 26 ... 91