4437 search results for ""

Showing 1851 - 1900
  1. hol2dk
    Documentation
    HOL-Light to Dedukti/Lambdapi and Rocq translator
    Frédéric Blanqui
    2.1.0
    CeCILL-2.1
    Used by 0 other packages
    23 Nov 2025
  2. 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
  3. 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
  4. 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
  5. horned_worm
    Documentation
    An easy functional Web app micro framework
    Kazuo Koga
    0.3.7
    MIT
    Used by 0 other packages
    07 Nov 2020
  6. host-arch-arm32

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

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

    No documentation

    OCaml on an unidentified system
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    05 Jun 2024
  17. 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
  18. 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 1 other packages
    23 Dec 2023
  19. html_of_jsx
    Documentation
    Render HTML with JSX
    David Sancho <dsnxmoreno@gmail.com>
    0.0.8
    MIT
    Used by 1 other packages
    24 Feb 2026
  20. htmlfromtexbooks
    Documentation
    From TeX To Human-Readable HTML
    Charlotte THOMAS
    3.3.2
    MIT
    Used by 0 other packages
    23 Mar 2022
  21. 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
  22. 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
  23. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.2.1
    ISC
    Used by 13 other packages
    20 Dec 2025
  24. 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
  25. http-date
    Documentation
    HTTP Datetime encoder/decoder
    Bikal Lem
    0.1
    MPL-2.0
    Used by 0 other packages
    05 Jan 2023
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. httpcats
    Documentation
    A simple HTTP client / server using h1, h2, and miou
    Robur <team@robur.coop>
    0.2.0
    BSD-3-clause
    Used by 5 other packages
    19 Feb 2026
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. huffman
    Documentation
    An OCaml library to manipulate Huffman trees
    Arthur Correnson <arthur.correnson@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    17 Feb 2020
  50. hugin
    Documentation
    Visualization library for OCaml
    visualization plotting charts data-science graphics
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 2 other packages
    26 Nov 2025
... 37 38 39 ... 89