4507 search results for ""
Showing 1851 - 1900
-
Compiler for the Heptagon/BZR synchronous programming language1.05.00GPL-3.0-or-laterUsed by 0 other packages18 Jun 2018
-
The herdtools suite for simulating and studying weak memory models7.58CECILL-BUsed by 0 other packages13 Feb 2025
-
ReasonML bindings to the Heroicons React components1.0MITUsed by 0 other packages12 Jan 2025
-
A quite complete and fast LATEX to HTML translator2.38QPL-1.0 WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages05 Feb 2026
-
Library providing hexadecimal converters1.5.0ISCUsed by 62 other packages07 Apr 2022
-
Hexadecimal encoding libraryv0.17.0MITUsed by 0 other packages26 May 2024
-
A library to encode to and decode from hexadecimal strings0.2.1Apache-2.0Used by 0 other packages19 May 2021
-
A library that wraps the Mercurial command line interfacev0.17.0MITUsed by 0 other packages26 May 2024
-
Bindings to Signal11's hidapi library1.2.1MITUsed by 2 other packages16 Jan 2024
-
Lwt-wrappers for hidapi library1.2.1MITUsed by 1 other packages16 Jan 2024
-
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
-
Create opam packages from pds.toml4.3BSD-3-ClauseUsed by 0 other packages04 Feb 2025
-
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 40 other packages05 Jun 2024 -
host-arch-x86_64
No documentation
OCaml on amd64 (64-bit)1CC0-1.0+Used by 41 other packages05 Jun 2024 -
host-system-mingw
No documentation
OCaml for mingw-w641CC0-1.0+Used by 3 other packages05 Jun 2024 -
host-system-msvc
No documentation
OCaml for Microsoft Visual Studio1CC0-1.0+Used by 4 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