4519 search results for ""

Showing 1801 - 1850
  1. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 16 other packages
    05 Oct 2017
  2. hockmd
    Documentation
    A library to access hackmd's api
    Paul-Elliot Anglès d'Auriac <peada@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    04 Jul 2022
  3. hol2dk
    Documentation
    HOL-Light to Dedukti/Lambdapi and Coq translator
    Frédéric Blanqui Anthony Bordg
    2.0.0
    CeCILL-2.1
    Used by 0 other packages
    25 Apr 2024
  4. hol_light

    No documentation

    The HOL-Light interactive theorem prover
    HOL Light
    3.1.0
    https://github.com/jrh13/hol-light/blob/master/LICENSE
    Used by 0 other packages
    22 Jun 2025
  5. hol_light_module
    Documentation
    A flag for compiling HOL Light core to a bytecode and native module
    HOL Light
    1.0
    https://github.com/jrh13/hol-light/blob/master/LICENSE
    Used by 0 other packages
    17 Oct 2024
  6. hooke
    Documentation
    A spring-physics library for OCaml
    physics springs animation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    14 Dec 2023
  7. horned_worm
    Documentation
    An easy functional Web app micro framework
    Kazuo Koga
    0.3.7
    MIT
    Used by 0 other packages
    07 Nov 2020
  8. host-arch-arm32

    No documentation

    OCaml on AArch32 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  9. host-arch-arm64

    No documentation

    OCaml on AArch64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  10. host-arch-ppc64

    No documentation

    OCaml on 64-bit IBM POWER
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  11. host-arch-riscv64

    No documentation

    OCaml on 64-bit RISC-V
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  12. host-arch-s390x

    No documentation

    OCaml on 64-bit IBM z/Architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  13. host-arch-unknown

    No documentation

    OCaml on an unknown architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 4 other packages
    05 Jun 2024
  14. host-arch-x86_32

    No documentation

    OCaml on x86 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 28 other packages
    05 Jun 2024
  15. host-arch-x86_64

    No documentation

    OCaml on amd64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 29 other packages
    05 Jun 2024
  16. host-system-mingw

    No documentation

    OCaml for mingw-w64
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  17. host-system-msvc

    No documentation

    OCaml for Microsoft Visual Studio
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  18. host-system-other

    No documentation

    OCaml on an unidentified system
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  19. hpack
    Documentation
    An HPACK (Header Compression for HTTP/2) implementation in OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.13.0
    BSD-3-clause
    Used by 1 other packages
    05 Sep 2024
  20. hsluv
    Documentation
    HSLuv human-friendly color space implementation in OCaml
    color hsluv hpluv rgb xyz lch luv color space color conversion perceptually uniform colors
    Sabine Schmaltz
    0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  21. html_of_jsx
    Documentation
    Render HTML with JSX
    David Sancho <dsnxmoreno@gmail.com>
    0.0.4
    MIT
    Used by 1 other packages
    27 Jun 2024
  22. htmlfromtexbooks
    Documentation
    From TeX To Human-Readable HTML
    Charlotte THOMAS
    3.3.2
    MIT
    Used by 0 other packages
    23 Mar 2022
  23. htmlit
    Documentation
    HTML generation combinators for OCaml
    web html org:erratique
    The htmlit programmers
    0.2.0
    ISC
    Used by 0 other packages
    28 Jul 2025
  24. hts_shrink
    Documentation
    Distance-Based Boolean Applicability Domain for High Throughput Screening data
    Francois Berenger
    3.0.1
    BSD-3-Clause
    Used by 0 other packages
    27 Nov 2023
  25. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.1.1
    ISC
    Used by 12 other packages
    09 Jun 2025
  26. http-cookie
    Documentation
    HTTP cookie library for OCaml
    Bikal Lem <gbikal@gmail.com>
    4.3.0
    MPL-2.0
    Used by 0 other packages
    18 Jan 2023
  27. http-date
    Documentation
    HTTP Datetime encoder/decoder
    Bikal Lem
    0.1
    MPL-2.0
    Used by 0 other packages
    05 Jan 2023
  28. http-lwt-client
    Documentation
    A simple HTTP client using http/af, h2, and lwt
    Robur <team@robur.coop>
    0.3.2
    BSD-3-clause
    Used by 3 other packages
    04 Apr 2025
  29. http-mirage-client
    Documentation
    HTTP client for MirageOS
    Robur Team <team@robur.coop>
    0.0.10
    MIT
    Used by 1 other packages
    26 Feb 2025
  30. http-multipart-formdata
    Documentation
    Http multipart/formdata parser
    http multipart formadata form web
    Bikal Lem, <gbikal@gmail.com>
    3.1.0
    MPL-2.0
    Used by 0 other packages
    21 Aug 2021
  31. http_async
    Documentation
    Async library for HTTP/1.1 servers
    http-server http http1.1 async
    Anurag Soni <anurag@sonianurag.com>
    0.2.0
    MIT
    Used by 0 other packages
    10 Nov 2022
  32. httpaf
    Documentation
    A high-performance, memory-efficient, and scalable web server for OCaml
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.1
    BSD-3-clause
    Used by 16 other packages
    31 Mar 2021
  33. httpaf-async
    Documentation
    Async support for http/af
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.1
    BSD-3-clause
    Used by 1 other packages
    31 Mar 2021
  34. httpaf-lwt-unix
    Documentation
    Lwt support for http/af
    Anton Bachin Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.1
    BSD-3-clause
    Used by 8 other packages
    31 Mar 2021
  35. httpaf_caged
    Documentation
    A higher-level httpaf-async server interface
    Aaron Dufour
    1.0.1
    BSD-3-clause
    Used by 0 other packages
    14 Aug 2020
  36. httpcats
    Documentation
    A simple HTTP client using h1, h2, and miou
    Robur <team@robur.coop>
    0.0.1
    BSD-3-clause
    Used by 1 other packages
    14 Sep 2024
  37. httph
    Documentation
    Minimal OCaml to the httpserver.h http server toolkit
    Travis Brady <travis.brady@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    21 May 2021
  38. httpun
    Documentation
    A high-performance, memory-efficient, and scalable HTTP library for OCaml
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 6 other packages
    05 Sep 2024
  39. httpun-async
    Documentation
    Async support for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  40. httpun-eio
    Documentation
    EIO support for httpun
    Antonio Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 2 other packages
    05 Sep 2024
  41. httpun-lwt
    Documentation
    Lwt support for httpun
    Anton Bachin Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 2 other packages
    05 Sep 2024
  42. httpun-lwt-unix
    Documentation
    Lwt + Unix support for httpun
    Anton Bachin Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 1 other packages
    05 Sep 2024
  43. httpun-mirage
    Documentation
    Mirage support for httpun
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  44. httpun-types
    Documentation
    Common HTTP/1.x types
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 3 other packages
    05 Sep 2024
  45. httpun-ws
    Documentation
    Websocket implementation for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 5 other packages
    05 Sep 2024
  46. httpun-ws-async
    Documentation
    Mirage support for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  47. httpun-ws-eio
    Documentation
    Eio support for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  48. httpun-ws-lwt
    Documentation
    Lwt support for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 2 other packages
    05 Sep 2024
  49. httpun-ws-lwt-unix
    Documentation
    Lwt + unix support for httpun-ws
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  50. httpun-ws-mirage
    Documentation
    Mirage support for httpun
    Spiros Eliopoulos <spiros@inhabitedtype.com> Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
... 36 37 38 ... 91