4725 search results for ""

Showing 1901 - 1950
  1. hardcaml_fixed_point
    Documentation
    Hardcaml fixed point arithmetic
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. hardcaml_handshake
    Documentation
    Hardcaml Handshake
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  3. hardcaml_of_verilog
    Documentation
    Convert Verilog to a Hardcaml design
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. hardcaml_step_testbench
    Documentation
    Hardcaml Testbench Monad
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. hardcaml_verify
    Documentation
    Hardcaml Verification Tools
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. hardcaml_verilator
    Documentation
    Hardcaml Verilator Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  7. hardcaml_waveterm
    Documentation
    A terminal based digital waveform viewer for Hardcaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  8. hardcaml_xilinx
    Documentation
    Hardcaml wrappers for Xilinx memory primitives
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. hardcaml_xilinx_components
    Documentation
    Hardcaml Xilinx component definitions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. hardcaml_xilinx_reports
    Documentation
    Hardcaml Xilinx Reports
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. hc
    Documentation
    Hashconsing library
    pena <pena@kumikode.org>
    0.5
    ISC
    Used by 3 other packages
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. hdr_histogram
    Documentation
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.6
    MIT
    Used by 2 other packages
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier <francois.pottier@inria.fr>
    20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  21. hedgehog
    Documentation
    Property-based testing with integrated shrinking for OCaml
    Tim McGilchrist <timmcgil@gmail.com>
    0.1
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  22. hedgehog-alcotest
    Documentation
    Alcotest integration for Hedgehog property-based testing
    Tim McGilchrist <timmcgil@gmail.com>
    0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  23. hegel

    No documentation

    Hegel property-based testing library for OCaml
    Hegel Developers <https://github.com/hegeldev>
    0.26.6
    MIT
    Used by 3 other packages
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. hermetic

    No documentation

    Enforce Eio's capabilities at compile time
    stdlib prelude capability eio
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. hex
    Documentation
    Library providing hexadecimal converters
    Thomas Gazagnaire Trevor Summers Smith
    1.5.0
    ISC
    Used by 64 other packages
    Added to opam-repository
  30. hex_encode
    Documentation
    Hexadecimal encoding library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. hexen

    No documentation

    Yet another library for encoding and decoding hexadecimal byte sequences
    hex hexadecimal
    Mikhail Lopatin <dx3mod@bk.ru>
    0.3
    MIT
    Used by 1 other packages
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. hidapi
    Documentation
    Bindings to Signal11's hidapi library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  35. hidapi-lwt
    Documentation
    Lwt-wrappers for hidapi library
    Vincent Botbol <vincent.botbol@nomadic-labs.com>
    1.2.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  36. higher
    Documentation
    Library for higher-kinded programming
    Jeremy Yallop Leo White
    0.3.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. highlexer
    Documentation
    An OCaml syntax highlighter based on the OCaml lexer
    js syntax highlighting
    Emile Trotignon
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  39. highway
    Documentation
    A dead-simple agnostic HTTP router
    d-plaindoux <d.plaindoux@free.fr> xhtmlboi <xhtmlboi@gmail.com> xvw <xaviervdw@gmail.com> msp <spawnmick@gmail.com> grm <grimfw@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  40. highway-dream
    Documentation
    Use Highway withing Dream Application
    d-plaindoux <d.plaindoux@free.fr> xhtmlboi <xhtmlboi@gmail.com> xvw <xaviervdw@gmail.com> msp <spawnmick@gmail.com> grm <grimfw@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  41. higlo
    Documentation
    Syntax highlighting library
    Zoggy <zoggy@bat8.org>
    0.10.0
    LGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  42. hilite
    Documentation
    Build time syntax highlighting
    syntax highlighting
    Patrick Ferris
    0.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  43. hiredis
    Documentation
    Redis tools based on the Hiredis C library
    Zach Shipko
    0.8
    ISC
    Used by 0 other packages
    Added to opam-repository
  44. hiredis-value
    Documentation
    Hiredis Value type
    Zach Shipko
    0.8
    ISC
    Used by 2 other packages
    Added to opam-repository
  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
    Added to opam-repository
  46. hl_yaml
    Documentation
    High-level preprocessing wrapper around the yaml library
    Simon Grondin
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  48. hll
    Documentation
    Create opam packages from pds.toml
    orbitz@gmail.com
    4.3
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  49. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structures org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 19 other packages
    Added to opam-repository
  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
    Added to opam-repository
... 38 39 40 ... 95