4568 search results for ""

Showing 1851 - 1900
  1. hardcaml_of_verilog
    Documentation
    Convert Verilog to a Hardcaml design
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  2. hardcaml_step_testbench
    Documentation
    Hardcaml Testbench Monad
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  3. hardcaml_verify
    Documentation
    Hardcaml Verification Tools
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  4. hardcaml_verilator
    Documentation
    Hardcaml Verilator Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  5. hardcaml_waveterm
    Documentation
    A terminal based digital waveform viewer for Hardcaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  6. hardcaml_xilinx
    Documentation
    Hardcaml wrappers for Xilinx memory primitives
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  7. hardcaml_xilinx_components
    Documentation
    Hardcaml Xilinx component definitions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  8. hardcaml_xilinx_reports
    Documentation
    Hardcaml Xilinx Reports
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  9. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 6 other packages
    01 Feb 2024
  10. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    14 Feb 2025
  11. haxe

    No documentation

    Multi-target universal programming language
    Haxe Foundation <contact@haxe.org>
    4.1.1
    GPL-2.0-or-later; MIT
    Used by 0 other packages
    03 Jun 2020
  12. hc
    Documentation
    Hashconsing library
    pena <pena@kumikode.org>
    0.5
    ISC
    Used by 3 other packages
    22 May 2025
  13. hdf5

    No documentation

    Manages HDF5 files used for storing large amounts of data
    Vladimir Brankov <vbrankov@janestreet.com>
    0.1.5
    MIT
    Used by 0 other packages
    25 Jun 2019
  14. hdfs

    No documentation

    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Oct 2021
  15. hdr_histogram
    Documentation
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.5
    MIT
    Used by 2 other packages
    29 Apr 2026
  16. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.08
    LGPL-2.0-only
    Used by 1 other packages
    16 May 2024
  17. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  18. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier <francois.pottier@inria.fr>
    20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Dec 2024
  19. hedgehog

    No documentation

    Property-based testing with integrated shrinking for OCaml
    Tim McGilchrist <timmcgil@gmail.com>
    0.1
    BSD-3-Clause
    Used by 1 other packages
    30 Jul 2026
  20. hedgehog-alcotest

    No documentation

    Alcotest integration for Hedgehog property-based testing
    Tim McGilchrist <timmcgil@gmail.com>
    0.1
    BSD-3-Clause
    Used by 0 other packages
    30 Jul 2026
  21. hegel
    Documentation
    Hegel property-based testing library for OCaml
    Hegel Developers <https://github.com/hegeldev>
    0.12.2
    MIT
    Used by 2 other packages
    25 Jul 2026
  22. heptagon
    Documentation
    Compiler for the Heptagon/BZR synchronous programming language
    Gwenaël Delaval <gwenael.delaval@inria.fr>
    1.05.00
    GPL-3.0-or-later
    Used by 0 other packages
    18 Jun 2018
  23. herdtools7
    Documentation
    The herdtools suite for simulating and studying weak memory models
    Luc Maranget <Luc.Maranget@inria.fr> Jade Alglave <j.alglave@ucl.ac.uk>
    7.58
    CECILL-B
    Used by 0 other packages
    13 Feb 2025
  24. heroicons-reason-react
    Documentation
    ReasonML bindings to the Heroicons React components
    heroicons icons reason react
    Ben Bellick <benbellick@pm.me>
    1.0
    MIT
    Used by 0 other packages
    12 Jan 2025
  25. hevea
    Documentation
    A quite complete and fast LATEX to HTML translator
    Luc Maranget
    2.38
    QPL-1.0 WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    05 Feb 2026
  26. hex
    Documentation
    Library providing hexadecimal converters
    Thomas Gazagnaire Trevor Summers Smith
    1.5.0
    ISC
    Used by 62 other packages
    07 Apr 2022
  27. hex_encode
    Documentation
    Hexadecimal encoding library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  28. hexstring
    Documentation
    A library to encode to and decode from hexadecimal strings
    davidwong.crypto@gmail.com
    0.2.1
    Apache-2.0
    Used by 0 other packages
    19 May 2021
  29. hg_lib
    Documentation
    A library that wraps the Mercurial command line interface
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  30. hidapi
    Documentation
    Bindings to Signal11's hidapi library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2.1
    MIT
    Used by 2 other packages
    16 Jan 2024
  31. hidapi-lwt
    Documentation
    Lwt-wrappers for hidapi library
    Vincent Botbol <vincent.botbol@nomadic-labs.com>
    1.2.1
    MIT
    Used by 1 other packages
    16 Jan 2024
  32. higher
    Documentation
    Library for higher-kinded programming
    Jeremy Yallop Leo White
    0.3.1
    MIT
    Used by 0 other packages
    13 Jun 2016
  33. higher_kinded
    Documentation
    A library with an encoding of higher kinded types in OCaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  34. highlexer
    Documentation
    An OCaml syntax highlighter based on the OCaml lexer
    js syntax highlighting
    Emile Trotignon
    0.1
    MIT
    Used by 0 other packages
    24 Nov 2023
  35. higlo
    Documentation
    Syntax highlighting library
    Zoggy <zoggy@bat8.org>
    0.10.0
    LGPL-3.0-only
    Used by 2 other packages
    19 Dec 2024
  36. hilite
    Documentation
    Build time syntax highlighting
    syntax highlighting
    Patrick Ferris
    0.5.0
    ISC
    Used by 2 other packages
    15 Jul 2025
  37. hiredis
    Documentation
    Redis tools based on the Hiredis C library
    Zach Shipko
    0.8
    ISC
    Used by 0 other packages
    20 Jun 2018
  38. hiredis-value
    Documentation
    Hiredis Value type
    Zach Shipko
    0.8
    ISC
    Used by 2 other packages
    20 Jun 2018
  39. hkdf
    Documentation
    HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
    Hannes Mehnert <hannes@mehnert.org>
    1.0.4
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2020
  40. hl_yaml
    Documentation
    High-level preprocessing wrapper around the yaml library
    Simon Grondin
    1.0.0
    MIT
    Used by 0 other packages
    27 Mar 2024
  41. hlarp
    Documentation
    Normalize and compare HLA typing output.
    Isaac Hodes <isaachodes@gmail.com> Leonid Rozenberg <leonidr@gmail.com>
    0.0.3
    Apache-2.0
    Used by 0 other packages
    28 Mar 2017
  42. hll
    Documentation
    Create opam packages from pds.toml
    orbitz@gmail.com
    4.3
    BSD-3-Clause
    Used by 0 other packages
    04 Feb 2025
  43. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 19 other packages
    05 Oct 2017
  44. 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
  45. 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
  46. 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
    22 Jun 2025
  47. 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
  48. 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
  49. host-arch-arm32

    No documentation

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

    No documentation

    OCaml on AArch64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 2 other packages
    05 Jun 2024
... 37 38 39 ... 92