4721 search results for ""

Showing 1401 - 1450
  1. docker_hub
    Documentation
    Library aiming to provide data from hub.docker.com
    Kate <kit-ty-kate@outlook.com>
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. dockerfile

    No documentation

    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.7
    ISC
    Used by 4 other packages
    Added to opam-repository
  3. dockerfile-cmd

    No documentation

    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.7
    ISC
    Used by 1 other packages
    Added to opam-repository
  4. dockerfile-opam

    No documentation

    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.7
    ISC
    Used by 1 other packages
    Added to opam-repository
  5. docout
    Documentation
    Functor to create (text) output functions
    Sebastien Mondet
    0.0.1
    Used by 0 other packages
    Added to opam-repository
  6. docteur
    Documentation
    A simple read-only Key/Value from Git to MirageOS
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    MIT
    Used by 2 other packages
    Added to opam-repository
  7. docteur-solo5
    Documentation
    A simple read-only Key/Value from Git to MirageOS
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. docteur-unix
    Documentation
    A simple read-only Key/Value from Git to MirageOS
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.7
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. doctor
    Documentation
    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. doculib
    Documentation
    A GUI for tagging and managing document metadata for books, textbooks, or articles
    Nathan Guermond
    1.3.5
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  11. doi2bib
    Documentation
    CLI tool to get bibtex entries from DOI/arXiv/PubMed IDs
    Marcello Seri
    0.9.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  12. dokeysto
    Documentation
    The dumb OCaml key-value store
    Francois Berenger
    4.0.2
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  13. dokeysto_camltc
    Documentation
    The dumb OCaml key-value store w/ tokyocabinet backend
    Francois Berenger
    4.0.2
    LGPL-2.1-only
    Used by 4 other packages
    Added to opam-repository
  14. dokeysto_lz4
    Documentation
    The dumb OCaml key-value store w/ LZ4 compression
    Francois Berenger
    4.0.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  15. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 9 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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 6 other packages
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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 7 other packages
    Added to opam-repository
  21. dolog
    Documentation
    The dumb OCaml logging library
    Francois Berenger
    6.0.0
    BSD-3-Clause
    Used by 23 other packages
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. domain-name
    Documentation
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.5.0
    ISC
    Used by 46 other packages
    Added to opam-repository
  25. domain_shims
    Documentation
    A non-parallel implementation of Domains compatible with OCaml 4
    Gabriel Scherer
    0.1.0
    MIT
    Used by 14 other packages
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. domainslib
    Documentation
    Parallel Structures over Domains for Multicore OCaml
    KC Sivaramakrishnan <kc@kcsrk.info>
    0.5.2
    ISC
    Used by 8 other packages
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. dot-merlin-reader
    Documentation
    Reads config files for merlin
    The Merlin team
    5.9
    MIT
    Used by 5 other packages
    Added to opam-repository
  31. dotenv

    No documentation

    Javascript's dotenv port to OCaml
    Jose Nogueira <ze@thatportugueseguy.com>
    0.0.3
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  32. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.4.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  33. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0
    MIT
    Used by 23 other packages
    Added to opam-repository
  34. dream-accept
    Documentation
    Accept headers parsing for Dream
    Thibaut Mattio
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  35. dream-cli
    Documentation
    Command Line Interface for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  36. dream-encoding
    Documentation
    Encoding primitives for Dream
    Thibaut Mattio
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  37. dream-html
    Documentation
    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    4.0.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  38. dream-htmx
    Documentation
    Htmx utilities for Dream
    Jean-Michel Bea
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  39. dream-httpaf
    Documentation
    Internal: shared http/af stack for Dream (server) and Hyper (client)
    Anton Bachin
    1.0.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  40. dream-inertia
    Documentation
    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  41. dream-livereload
    Documentation
    Live reloading for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  42. dream-mirage
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. dream-pure
    Documentation
    Internal: shared HTTP types for Dream (server) and Hyper (client)
    Anton Bachin
    1.0.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  44. dream-serve
    Documentation
    Static HTML website server with live reload
    Anton Bachin
    1.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. 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
    Added to opam-repository
... 28 29 30 ... 95