4435 search results for ""

Showing 1351 - 1400
  1. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  2. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  3. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  4. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  5. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  6. dolog
    Documentation
    The dumb OCaml logging library
    Francois Berenger
    6.0.0
    BSD-3-Clause
    Used by 21 other packages
    23 Dec 2020
  7. domain-local-await
    Documentation
    A scheduler independent blocking mechanism
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.1
    ISC
    Used by 7 other packages
    06 Feb 2024
  8. domain-local-timeout
    Documentation
    A scheduler independent timeout mechanism
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.1
    ISC
    Used by 1 other packages
    06 Feb 2024
  9. domain-name
    Documentation
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.5.0
    ISC
    Used by 35 other packages
    14 Oct 2025
  10. domain_shims
    Documentation
    A non-parallel implementation of Domains compatible with OCaml 4
    Gabriel Scherer
    0.1.0
    MIT
    Used by 12 other packages
    24 Nov 2022
  11. domainpc
    Documentation
    Domain Per Core, spawn domains ensuring that they run on separate cores
    Hichem Rami Ait El Hara <hra@ocamlpro.com>
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    31 Jan 2026
  12. domainslib
    Documentation
    Parallel Structures over Domains for Multicore OCaml
    KC Sivaramakrishnan <kc@kcsrk.info>
    0.5.2
    ISC
    Used by 6 other packages
    10 Apr 2025
  13. dose3
    Documentation
    Dose library (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    22 Jul 2021
  14. dose3-extra
    Documentation
    Dose-extra libraries and tools (part of Mancoosi tools)
    Pietro Abate Ralf Treinen Jaap Boender Johannes Schauer Marin Rodrigues Roberto Di Cosmo et al.
    7.0.0
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Jul 2021
  15. dot-merlin-reader

    No documentation

    Reads config files for merlin
    The Merlin team
    5.7-505~preview
    MIT
    Used by 5 other packages
    03 Mar 2026
  16. dotenv
    Documentation
    Javascript's dotenv port to OCaml
    Jose Nogueira <ze@thatportugueseguy.com>
    0.0.3
    BSD-3-clause
    Used by 0 other packages
    30 Apr 2020
  17. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.4.0
    ISC
    Used by 0 other packages
    29 Jul 2025
  18. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha8
    MIT
    Used by 22 other packages
    05 Dec 2024
  19. dream-accept
    Documentation
    Accept headers parsing for Dream
    Thibaut Mattio
    0.1.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  20. dream-cli
    Documentation
    Command Line Interface for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  21. dream-encoding
    Documentation
    Encoding primitives for Dream
    Thibaut Mattio
    0.3.0
    MIT
    Used by 0 other packages
    15 Nov 2024
  22. dream-html
    Documentation
    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    3.11.2
    GPL-3.0-or-later
    Used by 1 other packages
    25 Nov 2025
  23. dream-htmx
    Documentation
    Htmx utilities for Dream
    Jean-Michel Bea
    0.1.0
    ISC
    Used by 0 other packages
    08 Aug 2022
  24. dream-httpaf
    Documentation
    Internal: shared http/af stack for Dream (server) and Hyper (client)
    Anton Bachin
    1.0.0~alpha4
    MIT
    Used by 2 other packages
    05 Dec 2024
  25. dream-inertia
    Documentation
    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    05 May 2025
  26. dream-livereload
    Documentation
    Live reloading for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  27. dream-pure
    Documentation
    Internal: shared HTTP types for Dream (server) and Hyper (client)
    Anton Bachin
    1.0.0~alpha2
    MIT
    Used by 4 other packages
    08 Mar 2022
  28. dream-serve
    Documentation
    Static HTML website server with live reload
    Anton Bachin
    1.0.1
    MIT
    Used by 0 other packages
    15 May 2023
  29. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    12 Aug 2025
  30. drom
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  31. drom_lib
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  32. drom_toml
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  33. dropbox
    Documentation
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    13 Sep 2019
  34. dropbox_lwt_unix
    Documentation
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Sep 2019
  35. dryunit
    Documentation
    A detection tool for traditional and popular testing frameworks
    Gerson Moraes
    0.5.0
    Used by 0 other packages
    30 Jan 2018
  36. dscheck
    Documentation
    Traced Atomics
    Sadiq Jaffer
    0.5.0
    ISC
    Used by 8 other packages
    09 Jul 2024
  37. dssi
    Documentation
    Bindings for the DSSI API which provides audio synthesizers
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.5
    LGPL-2.1
    Used by 0 other packages
    15 Jan 2022
  38. dtc-pb
    Documentation
    DTC Protocol library autogenerated from Protobuf description
    Vincent Bernardoff <vb@luminar.eu.org>
    1.0
    ISC
    Used by 0 other packages
    15 Nov 2022
  39. dtoa
    Documentation
    Converts OCaml floats into strings, using the efficient Grisu3 algorithm
    Marshall Roch <mroch@meta.com>
    0.3.3
    MIT
    Used by 1 other packages
    27 Feb 2023
  40. dtools
    Documentation
    Library providing various helper functions to make daemons
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.4.6
    GPL-2.0-only
    Used by 2 other packages
    20 Mar 2025
  41. dual
    Documentation
    Dual numbers library
    Jason D. Nielsen
    0.1.0
    MIT
    Used by 0 other packages
    27 Sep 2020
  42. duff
    Documentation
    Rabin's fingerprint and diff algorithm in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5
    MIT
    Used by 1 other packages
    10 Apr 2022
  43. dum
    Documentation
    Inspect the runtime representation of arbitrary OCaml values
    Martin Jambon Jean-Christophe Filliatre Richard W.M. Jones
    1.0.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2022
  44. dump_ocamlformat
    Documentation
    Dump preset configuration files for ocamlformat
    diohabara
    0.2.2
    MIT
    Used by 0 other packages
    24 Mar 2022
  45. dune
    Documentation
    Fast, portable, and opinionated build system
    Jane Street Group, LLC <opensource@janestreet.com>
    3.21.1
    MIT
    Used by 3187 other packages
    13 Feb 2026
  46. dune-action-plugin
    Documentation
    [experimental] API for writing dynamic Dune actions
    Jane Street Group, LLC <opensource@janestreet.com>
    3.21.1
    MIT
    Used by 0 other packages
    13 Feb 2026
  47. dune-build-info
    Documentation
    Embed build information inside executable
    Jane Street Group, LLC <opensource@janestreet.com>
    3.21.1
    MIT
    Used by 39 other packages
    13 Feb 2026
  48. dune-cargo-build
    Documentation
    Tool to invoke Cargo for building Rust crates within the dune sandbox
    Konstantin Olkhovskiy <lupus@oxnull.net>
    0.2.2
    Apache-2.0
    Used by 1 other packages
    12 Nov 2024
  49. dune-compiledb
    Documentation
    Generate compile_commands.json from dune rules
    Edwin Török <edwin.torok@cloud.com>
    0.6.0
    LGPL-2.1-or-later
    Used by 5 other packages
    22 Dec 2023
  50. dune-configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC <opensource@janestreet.com>
    3.21.1
    MIT
    Used by 177 other packages
    13 Feb 2026
... 27 28 29 ... 89