4650 search results for ""

Showing 1201 - 1250
  1. 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
  2. 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
  3. 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
  4. 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
  5. DkSDKFFIOCaml_Std
    Documentation
    DkSDK FFI for OCaml
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    1.0.0~1
    OSL-3.0
    Used by 0 other packages
    03 Sep 2023
  6. DkSDKFFIOCaml_StdExport-linux_x86_64
    Documentation
    The DkSDKFFIOCaml_StdExport foreign library on 64-bit Intel/AMD Linux
    Diskuv, Inc. <opensource+dksdk@support.diskuv.com>
    1.0.0~1
    OSL-3.0
    Used by 1 other packages
    03 Sep 2023
  7. daft
    Documentation
    DAFT Allows File Transfers
    Francois Berenger
    0.0.4
    CeCILL-C
    Used by 0 other packages
    11 Jan 2023
  8. dap
    Documentation
    Debug adapter protocol
    文宇祥 <hackwaly@qq.com>
    1.0.6
    MIT
    Used by 2 other packages
    21 Feb 2021
  9. data-encoding
    Documentation
    Library of JSON and binary encoding combinators
    Nomadic Labs
    1.0.1
    MIT
    Used by 22 other packages
    21 Mar 2024
  10. dataframe
    Documentation
    A simple and type-safe dataframe api in pure ocaml
    Laurent Mazare
    0.1
    Used by 0 other packages
    22 Jun 2019
  11. 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 2 other packages
    13 Jul 2019
  12. 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 1 other packages
    13 Jul 2019
  13. 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
  14. 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
  15. 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
  16. 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
  17. dbf
    Documentation
    DBF format parsing
    redianthus <redopam@pm.me> Philippe Veber
    0.2.0
    ISC
    Used by 0 other packages
    06 Oct 2023
  18. 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
  19. 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
  20. 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
  21. dead_code_analyzer
    Documentation
    Dead code analyzer for OCaml
    Alain Frisch Corentin De Souza <de.souza.corentin@gmail.com>
    1.0.0
    MIT
    Used by 0 other packages
    10 Sep 2025
  22. debian-formats
    Documentation
    Parse debian files
    Sylvain Le Gall
    0.1.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    16 Oct 2019
  23. decimal
    Documentation
    Arbitrary-precision floating-point decimal library
    Yawar Amin <yawar.amin@gmail.com>
    1.0.2
    PSF-2.0
    Used by 1 other packages
    28 Jan 2025
  24. decoders
    Documentation
    Elm-inspired decoders for Ocaml
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 10 other packages
    09 Aug 2022
  25. decoders-bencode
    Documentation
    Bencode backend for decoders
    Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  26. decoders-cbor
    Documentation
    CBOR backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  27. decoders-ezjsonm
    Documentation
    Ezjsonm backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  28. decoders-ezxmlm
    Documentation
    Ezxmlm backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  29. decoders-jsonaf
    Documentation
    Jsonaf backend for decoders
    Vlad Dumitru <vlad@dumitru.net> Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  30. decoders-jsonm
    Documentation
    Jsonm backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  31. decoders-msgpck
    Documentation
    Msgpck backend for decoders
    Matt Bray <mattjbray@gmail.com> Simon Cruanes <simon@imandra.ai>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  32. decoders-sexplib
    Documentation
    Sexplib backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    09 Aug 2022
  33. decoders-yojson
    Documentation
    Yojson backend for decoders
    Matt Bray <mattjbray@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    09 Aug 2022
  34. decompress
    Documentation
    Implementation of Zlib and GZip in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    1.5.3
    MIT
    Used by 20 other packages
    20 Sep 2023
  35. dedent
    Documentation
    A library for improving redability of multi-line string constants in code.
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  36. dedukti
    Documentation
    An implementation of The Lambda-Pi Modulo Theory
    dedukti-dev@inria.fr
    2.7
    CECILL-B
    Used by 2 other packages
    17 Jun 2022
  37. delimcc
    Documentation
    Oleg's delimited continuations library for byte-code and native OCaml
    Oleg Kiselyov
    2023.06.17
    MIT
    Used by 1 other packages
    24 Jun 2023
  38. delimcc_of_fxhandler
    Documentation
    Delimited control primitives on top of effect handlers
    effect handlers delimited control
    KC Sivaramakrishnan
    0.1
    ISC
    Used by 0 other packages
    22 Jun 2023
  39. delimited_parsing
    Documentation
    Parsing of character (e.g., comma) separated and fixed-width values
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  40. depext

    No documentation

    opam-depext transition package
    transition
    Used by 1 other packages
    29 Nov 2017
  41. depgraph
    Documentation
    dot graphs out of ocamldep output
    rgrinberg <rudi.grinberg@gmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    05 Apr 2016
  42. depyt
    Documentation
    Yet-an-other type combinator library
    org:mirage
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.3.0
    ISC
    Used by 0 other packages
    11 Mar 2022
  43. deriving
    Documentation
    Extension to OCaml for deriving functions from type declarations
    Jeremy Yallop <yallop@gmail.com>
    0.8.1
    MIT
    Used by 1 other packages
    08 Feb 2018
  44. devkit
    Documentation
    Development kit - general purpose library
    Ahrefs <github@ahrefs.com>
    1.20240429
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    13 May 2024
  45. diet
    Documentation
    Discrete Interval Encoding Trees
    David Scott
    0.4
    ISC
    Used by 3 other packages
    18 Jul 2019
  46. diff
    Documentation
    A library for generating diffs from product types
    Zach Baylin <zach.baylin@skolem.com>
    1.0.2
    MIT
    Used by 0 other packages
    24 Oct 2023
  47. diffable
    Documentation
    An interface for diffs.
    Jane Street Group, LLC
    v0.16.0
    MIT
    Used by 2 other packages
    14 Jun 2023
  48. diffast
    Documentation
    Diff/AST: A fine-grained source code differencing tool
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.3.6
    Apache-2.0
    Used by 0 other packages
    25 Nov 2025
  49. diffast-api
    Documentation
    Diff/AST API
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.3.6
    Apache-2.0
    Used by 3 other packages
    25 Nov 2025
  50. diffast-cli
    Documentation
    Diff/AST command line interface
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.3.6
    Apache-2.0
    Used by 1 other packages
    25 Nov 2025
... 24 25 26 ... 93