4437 search results for ""

Showing 1801 - 1850
  1. hardcaml
    Documentation
    RTL Hardware Design in OCaml
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 16 other packages
    09 Oct 2025
  2. hardcaml-lua
    Documentation
    A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    Verilator Surelog UHDM Verible Yosys RTLIL
    Jonathan Kimmitt
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  3. hardcaml_axi
    Documentation
    Hardcaml AXI Interface Types
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  4. hardcaml_c
    Documentation
    Hardcaml C Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  5. hardcaml_circuits
    Documentation
    Hardcaml Circuits
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  6. hardcaml_event_driven_sim
    Documentation
    Hardcaml Event Driven Simulator
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  7. hardcaml_fixed_point
    Documentation
    Hardcaml fixed point arithmetic
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  8. hardcaml_handshake
    Documentation
    Hardcaml Handshake
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  9. 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
  10. hardcaml_step_testbench
    Documentation
    Hardcaml Testbench Monad
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  11. hardcaml_verify
    Documentation
    Hardcaml Verification Tools
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  12. hardcaml_verilator
    Documentation
    Hardcaml Verilator Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  13. 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
  14. 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
  15. hardcaml_xilinx_components
    Documentation
    Hardcaml Xilinx component definitions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  16. hardcaml_xilinx_reports
    Documentation
    Hardcaml Xilinx Reports
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  17. 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
  18. hashids
    Documentation
    [hashids](http://hashids.org/): generate short, unique, non-sequential ids from numbers, that you can also decode
    Vincent Jacques <vincent@vincent-jacques.net>
    1.0.1
    MIT
    Used by 0 other packages
    07 Nov 2018
  19. 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
  20. haxe
    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
  21. hc
    Documentation
    Hashconsing library
    redianthus <redopam@pm.me>
    0.5
    ISC
    Used by 2 other packages
    22 May 2025
  22. hdf5
    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
  23. 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
  24. hdr_histogram
    Documentation
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.4
    MIT
    Used by 1 other packages
    24 Jan 2024
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. hex
    Documentation
    Library providing hexadecimal converters
    Thomas Gazagnaire Trevor Summers Smith
    1.5.0
    ISC
    Used by 63 other packages
    07 Apr 2022
  33. hex_encode
    Documentation
    Hexadecimal encoding library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  34. 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
  35. 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
  36. 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
  37. 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
  38. higher
    Documentation
    Library for higher-kinded programming
    Jeremy Yallop Leo White
    0.3.1
    MIT
    Used by 0 other packages
    13 Jun 2016
  39. 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
  40. 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
  41. higlo
    Documentation
    Syntax highlighting library
    Zoggy <zoggy@bat8.org>
    0.10.0
    LGPL-3.0-only
    Used by 2 other packages
    19 Dec 2024
  42. hilite
    Documentation
    Build time syntax highlighting
    syntax highlighting
    Patrick Ferris
    0.5.0
    ISC
    Used by 2 other packages
    15 Jul 2025
  43. hiredis
    Documentation
    Redis tools based on the Hiredis C library
    Zach Shipko
    0.8
    ISC
    Used by 0 other packages
    20 Jun 2018
  44. hiredis-value
    Documentation
    Hiredis Value type
    Zach Shipko
    0.8
    ISC
    Used by 2 other packages
    20 Jun 2018
  45. 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
  46. hl_yaml

    No documentation

    High-level preprocessing wrapper around the yaml library
    Simon Grondin
    1.0.0
    MIT
    Used by 0 other packages
    27 Mar 2024
  47. 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
  48. hll
    Documentation
    Create opam packages from pds.toml
    orbitz@gmail.com
    4.3
    BSD-3-Clause
    Used by 0 other packages
    04 Feb 2025
  49. 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
  50. 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
... 36 37 38 ... 89