4345 search results for "author:" ""

Showing 1251 - 1300
  1. dns-client-lwt
    Documentation
    DNS client API using lwt
    Joe Hill
    10.2.5
    BSD-2-Clause
    Used by 5 other packages
    Added to opam-repository
  2. dns-client-miou-unix
    Documentation
    DNS client API for Miou
    Robur <team@robur.coop>
    10.2.5
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  3. dns-client-mirage
    Documentation
    DNS client API for MirageOS
    Joe Hill
    10.2.5
    BSD-2-Clause
    Used by 8 other packages
    Added to opam-repository
  4. dns-forward
    Documentation
    Library and tools for creating forwarding DNS servers
    David Scott
    0.10.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. dns-forward-lwt-unix
    Documentation
    Lwt implementation for the `dns-forward` library
    David Scott
    0.9.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  6. 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 1 other packages
    Added to opam-repository
  7. dns-mirage
    Documentation
    An opinionated Domain Name System (DNS) library
    Hannes Mehnert <hannes@mehnert.org>
    10.2.5
    BSD-2-Clause
    Used by 4 other packages
    Added to opam-repository
  8. dns-resolver
    Documentation
    DNS resolver business logic
    Hannes Mehnert <hannes@mehnert.org>
    10.2.5
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  9. dns-server
    Documentation
    DNS server, primary and secondary
    Hannes Mehnert <hannes@mehnert.org>
    10.2.5
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  10. dns-stub
    Documentation
    DNS stub resolver
    Hannes Mehnert <hannes@mehnert.org>
    10.2.5
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  11. dns-tsig
    Documentation
    TSIG support for DNS
    Hannes Mehnert <hannes@mehnert.org>
    10.2.5
    BSD-2-Clause
    Used by 5 other packages
    Added to opam-repository
  12. dnsrobot
    Documentation
    OCaml client for DNS Robot API - DNS lookups, WHOIS, SSL checks, and network tools
    DNS Robot <hello@dnsrobot.net>
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  13. dnssd
    Documentation
    DNS Service Discovery for macOS
    org:mirage
    David Scott Thomas Gazagnaire
    0.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  14. dnssec
    Documentation
    DNSSec support for OCaml-DNS
    Hannes Mehnert <hannes@mehnert.org> Reynir Björnsson <reynir@reynir.dk>
    10.2.5
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  15. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    13.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
  18. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.2
    ISC
    Used by 4 other packages
    Added to opam-repository
  19. 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.4.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  20. 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.4.2
    ISC
    Used by 1 other packages
    Added to opam-repository
  21. docout
    Documentation
    Functor to create (text) output functions
    Sebastien Mondet
    0.0.1
    Used by 0 other packages
    Added to opam-repository
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
    Added to opam-repository
  32. 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
  33. 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
    Added to opam-repository
  34. 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
  35. 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
  36. 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
    Added to opam-repository
  37. dolog
    Documentation
    The dumb OCaml logging library
    Francois Berenger
    6.0.0
    BSD-3-Clause
    Used by 21 other packages
    Added to opam-repository
  38. 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
  39. 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
  40. domain-name
    Documentation
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.5.0
    ISC
    Used by 41 other packages
    Added to opam-repository
  41. 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
  42. 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
  43. domainslib
    Documentation
    Parallel Structures over Domains for Multicore OCaml
    KC Sivaramakrishnan <kc@kcsrk.info>
    0.5.2
    ISC
    Used by 7 other packages
    Added to opam-repository
  44. 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
  45. 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
  46. dot-merlin-reader
    Documentation
    Reads config files for merlin
    The Merlin team
    5.8.1-505
    MIT
    Used by 5 other packages
    Added to opam-repository
  47. 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
  48. 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
  49. 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
    Added to opam-repository
  50. dream-accept
    Documentation
    Accept headers parsing for Dream
    Thibaut Mattio
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
... 25 26 27 ... 87