4290 search results for "author:" ""
Showing 1751 - 1800
-
Library for higher-kinded programming0.3.1MITUsed by 0 other packages13 Jun 2016
-
A library with an encoding of higher kinded types in OCamlv0.17.0MITUsed by 3 other packages26 May 2024
-
0.1MITUsed by 0 other packages24 Nov 2023
-
Syntax highlighting library0.10.0LGPL-3.0-onlyUsed by 2 other packages19 Dec 2024
-
0.5.0ISCUsed by 2 other packages15 Jul 2025
-
Redis tools based on the Hiredis C library0.8ISCUsed by 0 other packages20 Jun 2018
-
Hiredis Value type0.8ISCUsed by 2 other packages20 Jun 2018
-
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)1.0.4BSD-2-ClauseUsed by 1 other packages12 Mar 2020
-
hl_yaml
No documentation
High-level preprocessing wrapper around the yaml library1.0.0MITUsed by 0 other packages27 Mar 2024 -
Normalize and compare HLA typing output.0.0.3Apache-2.0Used by 0 other packages28 Mar 2017
-
0.8.1ISCUsed by 19 other packages05 Oct 2017
-
A library to access hackmd's api0.1.0MITUsed by 0 other packages04 Jul 2022
-
HOL-Light to Dedukti/Lambdapi and Rocq translator2.1.0CeCILL-2.1Used by 0 other packages23 Nov 2025
-
hol_light
No documentation
The HOL-Light interactive theorem prover3.1.0https://github.com/jrh13/hol-light/blob/master/LICENSEUsed by 0 other packages22 Jun 2025 -
A flag for compiling HOL Light core to a bytecode and native module1.0https://github.com/jrh13/hol-light/blob/master/LICENSEUsed by 0 other packages17 Oct 2024
-
A spring-physics library for OCaml0.0.1MITUsed by 0 other packages14 Dec 2023
-
host-arch-arm32
No documentation
OCaml on AArch32 (32-bit)1CC0-1.0+Used by 2 other packages05 Jun 2024 -
host-arch-arm64
No documentation
OCaml on AArch64 (64-bit)1CC0-1.0+Used by 2 other packages05 Jun 2024 -
host-arch-ppc64
No documentation
OCaml on 64-bit IBM POWER1CC0-1.0+Used by 2 other packages05 Jun 2024 -
host-arch-riscv64
No documentation
OCaml on 64-bit RISC-V1CC0-1.0+Used by 2 other packages05 Jun 2024 -
host-arch-s390x
No documentation
OCaml on 64-bit IBM z/Architecture1CC0-1.0+Used by 2 other packages05 Jun 2024 -
host-arch-unknown
No documentation
OCaml on an unknown architecture1CC0-1.0+Used by 3 other packages05 Jun 2024 -
host-arch-x86_32
No documentation
OCaml on x86 (32-bit)1CC0-1.0+Used by 44 other packages05 Jun 2024 -
host-arch-x86_64
No documentation
OCaml on amd64 (64-bit)1CC0-1.0+Used by 45 other packages05 Jun 2024 -
host-system-mingw
No documentation
OCaml for mingw-w641CC0-1.0+Used by 5 other packages05 Jun 2024 -
host-system-msvc
No documentation
OCaml for Microsoft Visual Studio1CC0-1.0+Used by 6 other packages05 Jun 2024 -
host-system-other
No documentation
OCaml on an unidentified system1CC0-1.0+Used by 2 other packages05 Jun 2024 -
An HPACK (Header Compression for HTTP/2) implementation in OCaml0.13.0BSD-3-clauseUsed by 1 other packages05 Sep 2024
-
HSLuv human-friendly color space implementation in OCaml0.1.0MITUsed by 1 other packages23 Dec 2023
-
html_of_jsx
No documentation
Render HTML with JSX0.0.9MITUsed by 2 other packages14 Apr 2026 -
From TeX To Human-Readable HTML3.3.2MITUsed by 0 other packages23 Mar 2022
-
0.2.0ISCUsed by 0 other packages28 Jul 2025
-
Distance-Based Boolean Applicability Domain for High Throughput Screening data3.0.1BSD-3-ClauseUsed by 0 other packages27 Nov 2023
-
Type definitions of HTTP essentials6.2.1ISCUsed by 13 other packages20 Dec 2025
-
HTTP cookie library for OCaml4.3.0MPL-2.0Used by 0 other packages18 Jan 2023
-
http-date
No documentation
HTTP Datetime encoder/decoder0.2MPL-2.0Used by 0 other packages13 Apr 2026 -
A simple HTTP client using http/af, h2, and lwt0.3.2BSD-3-clauseUsed by 3 other packages04 Apr 2025
-
HTTP client for MirageOS0.0.10MITUsed by 1 other packages26 Feb 2025
-
3.1.0MPL-2.0Used by 0 other packages21 Aug 2021
-
Async library for HTTP/1.1 servers0.2.0MITUsed by 0 other packages10 Nov 2022
-
A high-performance, memory-efficient, and scalable web server for OCaml0.7.1BSD-3-clauseUsed by 16 other packages31 Mar 2021
-
Async support for http/af0.7.1BSD-3-clauseUsed by 1 other packages31 Mar 2021
-
Lwt support for http/af0.7.1BSD-3-clauseUsed by 8 other packages31 Mar 2021
-
A higher-level httpaf-async server interface1.0.1BSD-3-clauseUsed by 0 other packages14 Aug 2020
-
httpcats
No documentation
A simple HTTP client / server using h1, h2, and miou0.3.0BSD-3-clauseUsed by 5 other packages06 May 2026 -
Minimal OCaml to the httpserver.h http server toolkit0.1MITUsed by 0 other packages21 May 2021
-
A high-performance, memory-efficient, and scalable HTTP library for OCaml0.2.0BSD-3-clauseUsed by 6 other packages05 Sep 2024
-
Async support for httpun0.2.0BSD-3-clauseUsed by 0 other packages05 Sep 2024
-
EIO support for httpun0.2.0BSD-3-clauseUsed by 2 other packages05 Sep 2024
-
Lwt support for httpun0.2.0BSD-3-clauseUsed by 2 other packages05 Sep 2024