4725 search results for ""

Showing 1951 - 2000
  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
    Added to opam-repository
  2. hol_light
    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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  5. host-arch-arm32

    No documentation

    OCaml on AArch32 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  6. host-arch-arm64

    No documentation

    OCaml on AArch64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  7. host-arch-ppc64

    No documentation

    OCaml on 64-bit IBM POWER
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  8. host-arch-riscv64

    No documentation

    OCaml on 64-bit RISC-V
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  9. host-arch-s390x

    No documentation

    OCaml on 64-bit IBM z/Architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  10. host-arch-unknown

    No documentation

    OCaml on an unknown architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    Added to opam-repository
  11. host-arch-x86_32

    No documentation

    OCaml on x86 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 44 other packages
    Added to opam-repository
  12. host-arch-x86_64

    No documentation

    OCaml on amd64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 45 other packages
    Added to opam-repository
  13. host-system-mingw

    No documentation

    OCaml for mingw-w64
    David Allsopp
    1
    CC0-1.0+
    Used by 5 other packages
    Added to opam-repository
  14. host-system-msvc

    No documentation

    OCaml for Microsoft Visual Studio
    David Allsopp
    1
    CC0-1.0+
    Used by 6 other packages
    Added to opam-repository
  15. host-system-other

    No documentation

    OCaml on an unidentified system
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. hpke
    Documentation
    Idiomatic RFC 9180 Hybrid Public Key Encryption for OCaml
    cryptography hpke rfc9180 hybrid encryption post-quantum
    Ville Vesilehto <ville@vesilehto.fi>
    0.4.0
    ISC
    Used by 4 other packages
    Added to opam-repository
  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
    Added to opam-repository
  19. html_of_jsx

    No documentation

    Render HTML with JSX
    David Sancho <dsnxmoreno@gmail.com>
    0.1.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  20. htmlfromtexbooks
    Documentation
    From TeX To Human-Readable HTML
    Charlotte THOMAS
    3.3.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  21. htmlit
    Documentation
    HTML generation combinators for OCaml
    web html org:erratique
    The htmlit programmers
    0.2.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  23. http
    Documentation
    Type definitions of HTTP essentials
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    6.3.0
    ISC
    Used by 22 other packages
    Added to opam-repository
  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
    Added to opam-repository
  25. http-date
    Documentation
    HTTP Datetime encoder/decoder
    Bikal Lem
    0.2
    MPL-2.0
    Used by 1 other packages
    Added to opam-repository
  26. http-lwt-client
    Documentation
    A simple HTTP client using http/af, h2, and lwt
    Robur <team@robur.coop>
    0.3.3
    BSD-3-clause
    Used by 3 other packages
    Added to opam-repository
  27. http-mirage-client
    Documentation
    HTTP client for MirageOS
    Robur Team <team@robur.coop>
    0.0.11
    MIT
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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 17 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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 9 other packages
    Added to opam-repository
  33. httpaf_caged
    Documentation
    A higher-level httpaf-async server interface
    Aaron Dufour
    1.0.1
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  34. httpcats
    Documentation
    A simple HTTP client / server using h1, h2, and miou
    Robur <team@robur.coop>
    0.3.3
    BSD-3-clause
    Used by 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  36. https-eio
    Documentation
    Authenticated HTTPS client wrapper and shared request helper for Eio
    lbendtly
    0.1.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  37. 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 7 other packages
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. httpun-eio
    Documentation
    EIO support for httpun
    Antonio Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 2 other packages
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. httpun-mirage
    Documentation
    Mirage support for httpun
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.2.0
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. huffman
    Documentation
    An OCaml library to manipulate Huffman trees
    algorithms
    Arthur Correnson <arthur.correnson@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
... 39 40 41 ... 95