4532 search results for "author:" ""

Showing 1151 - 1200
  1. dns-forward-lwt-unix
    Documentation
    Lwt implementation for the `dns-forward` library
    David Scott
    0.9.0
    ISC
    Used by 0 other packages
    26 Jul 2017
  2. dns-lwt
    Documentation
    DNS implementation in portable Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 3 other packages
    15 Jul 2019
  3. dns-lwt-unix
    Documentation
    DNS implementation for Unix and Windows using Lwt_unix
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 0 other packages
    15 Jul 2019
  4. dns-mirage
    Documentation
    An opinionated Domain Name System (DNS) library
    Hannes Mehnert <hannes@mehnert.org>
    9.0.0
    BSD-2-Clause
    Used by 4 other packages
    27 Aug 2024
  5. dns-resolver
    Documentation
    DNS resolver business logic
    Hannes Mehnert <hannes@mehnert.org>
    9.0.0
    BSD-2-Clause
    Used by 1 other packages
    27 Aug 2024
  6. dns-server
    Documentation
    DNS server, primary and secondary
    Hannes Mehnert <hannes@mehnert.org>
    9.0.0
    BSD-2-Clause
    Used by 3 other packages
    27 Aug 2024
  7. dns-stub
    Documentation
    DNS stub resolver
    Hannes Mehnert <hannes@mehnert.org>
    9.0.0
    BSD-2-Clause
    Used by 0 other packages
    27 Aug 2024
  8. dns-tsig
    Documentation
    TSIG support for DNS
    Hannes Mehnert <hannes@mehnert.org>
    9.0.0
    BSD-2-Clause
    Used by 6 other packages
    27 Aug 2024
  9. dnssd
    Documentation
    DNS Service Discovery for macOS
    org:mirage
    David Scott Thomas Gazagnaire
    0.5.0
    ISC
    Used by 1 other packages
    25 Jul 2017
  10. dnssec
    Documentation
    DNSSec support for OCaml-DNS
    Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
    9.0.0
    BSD-2-Clause
    Used by 2 other packages
    27 Aug 2024
  11. doc-ock
    Documentation
    Extract documentation from OCaml files
    doc ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 3 other packages
    07 Apr 2018
  12. doc-ock-html
    Documentation
    From doc-ock to HTML
    doc html ocaml org:ocaml-doc
    Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  13. doc-ock-xml
    Documentation
    XML printer and parser for Doc-Ock
    doc xml ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu>
    1.2.1
    ISC
    Used by 1 other packages
    07 Apr 2018
  14. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    3.0.0
    MIT
    Used by 0 other packages
    15 Mar 2024
  15. docker-api
    Documentation
    Binding to the Docker Remote API
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2.2
    ISC
    Used by 0 other packages
    03 Jun 2022
  16. 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
    06 Jan 2024
  17. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.2
    ISC
    Used by 5 other packages
    02 Aug 2024
  18. dockerfile-cmd
    Documentation
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.2
    ISC
    Used by 1 other packages
    02 Aug 2024
  19. dockerfile-opam
    Documentation
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.2.2
    ISC
    Used by 1 other packages
    02 Aug 2024
  20. docout
    Documentation
    Functor to create (text) output functions
    Sebastien Mondet
    0.0.1
    Used by 1 other packages
    14 Jun 2014
  21. 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
    17 Jul 2024
  22. 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
    17 Jul 2024
  23. 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
    17 Jul 2024
  24. 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
    31 May 2023
  25. dog

    No documentation

    A loyal and faithful synchronisation tool that you can rely on.
    Thomas Gazagnaire
    0.2.1
    ISC
    Used by 0 other packages
    16 Jun 2016
  26. doi2bib
    Documentation
    Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID
    Marcello Seri
    0.6.2
    MIT
    Used by 0 other packages
    17 Oct 2022
  27. dokeysto
    Documentation
    The dumb OCaml key-value store
    Francois Berenger
    4.0.1
    LGPL-2.1-only
    Used by 6 other packages
    12 Feb 2023
  28. dokeysto_camltc
    Documentation
    The dumb OCaml key-value store w/ tokyocabinet backend
    Francois Berenger
    4.0.0
    LGPL-2.1-only
    Used by 4 other packages
    20 Jan 2020
  29. dokeysto_lz4
    Documentation
    The dumb OCaml key-value store w/ LZ4 compression
    Francois Berenger
    4.0.0
    LGPL-2.1-only
    Used by 0 other packages
    20 Jan 2020
  30. 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 7 other packages
    24 Jun 2024
  31. 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
  32. 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
  33. 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
  34. 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 1 other packages
    24 Jun 2024
  35. 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 4 other packages
    24 Jun 2024
  36. dolog
    Documentation
    The dumb OCaml logging library
    Francois Berenger
    6.0.0
    BSD-3-Clause
    Used by 20 other packages
    23 Dec 2020
  37. domain-local-await
    Documentation
    A scheduler independent blocking mechanism
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.1
    ISC
    Used by 6 other packages
    06 Feb 2024
  38. 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
  39. domain-name
    Documentation
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.4.0
    ISC
    Used by 32 other packages
    07 Jan 2022
  40. domain_shims
    Documentation
    A non-parallel implementation of Domains compatible with OCaml 4
    Gabriel Scherer
    0.1.0
    MIT
    Used by 11 other packages
    24 Nov 2022
  41. domainslib
    Documentation
    Parallel Structures over Domains for Multicore OCaml
    KC Sivaramakrishnan <kc@kcsrk.info>
    0.5.1
    ISC
    Used by 6 other packages
    18 Jul 2023
  42. dose

    No documentation

    Dose library (part of Mancoosi tools)
    Pietro Abate Jaap Boender Roberto Di Cosmo Johannes Schauer Ralf Treinen et al.
    3.4.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Jan 2016
  43. 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
  44. 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
  45. dot-merlin-reader

    No documentation

    Reads config files for merlin
    The Merlin team
    5.2.1-502
    MIT
    Used by 5 other packages
    28 Sep 2024
  46. 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
  47. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.3.0
    ISC
    Used by 0 other packages
    30 Apr 2024
  48. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha7
    MIT
    Used by 19 other packages
    03 Sep 2024
  49. dream-accept
    Documentation
    Accept headers parsing for Dream
    Thibaut Mattio
    0.1.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  50. dream-cli
    Documentation
    Command Line Interface for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    10 Apr 2022
... 23 24 25 ... 91