4288 search results for "author:" ""

Showing 1201 - 1250
  1. docfd
    Documentation
    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    3.0.0
    MIT
    Used by 0 other packages
    15 Mar 2024
  2. 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
  3. 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
  4. 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.8
    ISC
    Used by 4 other packages
    01 Jun 2025
  5. 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.8
    ISC
    Used by 1 other packages
    01 Jun 2025
  6. 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.8
    ISC
    Used by 1 other packages
    01 Jun 2025
  7. docout
    Documentation
    Functor to create (text) output functions
    Sebastien Mondet
    0.0.1
    Used by 0 other packages
    14 Jun 2014
  8. 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
  9. 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
  10. 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
  11. 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
  12. doi2bib
    Documentation
    CLI tool to get bibtex entries from DOI/arXiv/PubMed IDs
    Marcello Seri
    0.7.6
    MIT
    Used by 0 other packages
    26 Jun 2025
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. dolog
    Documentation
    The dumb OCaml logging library
    Francois Berenger
    6.0.0
    BSD-3-Clause
    Used by 21 other packages
    23 Dec 2020
  23. 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
  24. 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
  25. domain-name
    Documentation
    RFC 1035 Internet domain names
    Hannes Mehnert <hannes@mehnert.org>
    0.4.1
    ISC
    Used by 32 other packages
    18 Feb 2025
  26. 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
  27. 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
  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
    22 Jul 2021
  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
    22 Jul 2021
  30. dot-merlin-reader
    Documentation
    Reads config files for merlin
    The Merlin team
    5.5-503
    MIT
    Used by 5 other packages
    25 Jun 2025
  31. 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
  32. 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
  33. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha8
    MIT
    Used by 21 other packages
    05 Dec 2024
  34. dream-accept
    Documentation
    Accept headers parsing for Dream
    Thibaut Mattio
    0.1.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  35. dream-cli
    Documentation
    Command Line Interface for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  36. dream-encoding
    Documentation
    Encoding primitives for Dream
    Thibaut Mattio
    0.3.0
    MIT
    Used by 0 other packages
    15 Nov 2024
  37. dream-html
    Documentation
    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    3.11.0
    GPL-3.0-or-later
    Used by 1 other packages
    28 Jun 2025
  38. dream-htmx
    Documentation
    Htmx utilities for Dream
    Jean-Michel Bea
    0.1.0
    ISC
    Used by 0 other packages
    08 Aug 2022
  39. 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
  40. 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
  41. dream-livereload
    Documentation
    Live reloading for Dream applications
    Thibaut Mattio
    0.2.0
    MIT
    Used by 0 other packages
    10 Apr 2022
  42. 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
  43. dream-serve
    Documentation
    Static HTML website server with live reload
    Anton Bachin
    1.0.1
    MIT
    Used by 0 other packages
    15 May 2023
  44. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.0
    MIT
    Used by 0 other packages
    20 Mar 2025
  45. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  46. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  47. 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> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  48. 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
  49. 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
  50. dryunit
    Documentation
    A detection tool for traditional and popular testing frameworks
    Gerson Moraes
    0.5.0
    Used by 0 other packages
    30 Jan 2018
... 24 25 26 ... 86