4309 search results for "author:" ""

Showing 1651 - 1700
  1. hardcaml_verify
    Documentation
    Hardcaml Verification Tools
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  2. hardcaml_verilator
    Documentation
    Hardcaml Verilator Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  3. 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
  4. 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
  5. hardcaml_xilinx_components
    Documentation
    Hardcaml Xilinx component definitions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  6. hardcaml_xilinx_reports
    Documentation
    Hardcaml Xilinx Reports
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  7. hashcons
    Documentation
    OCaml hash-consing library
    Jean-Christophe Filliatre <Jean-Christophe.Filliatre@cnrs.fr>
    1.4.0
    LGPL-2.1-only
    Used by 8 other packages
    01 Feb 2024
  8. 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
  9. 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
  10. 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
  11. hc

    No documentation

    Hashconsing library
    Léo Andrès <contact@ndrs.fr>
    0.5
    ISC
    Used by 3 other packages
    22 May 2025
  12. 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
  13. 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
  14. 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
  15. 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
  16. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier <francois.pottier@inria.fr>
    20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Dec 2024
  17. 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
  18. 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
  19. 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
  20. hevea
    Documentation
    A quite complete and fast LATEX to HTML translator
    Luc Maranget
    2.36
    QPL-1.0 WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    03 Jan 2023
  21. hex
    Documentation
    Library providing hexadecimal converters
    Thomas Gazagnaire Trevor Summers Smith
    1.5.0
    ISC
    Used by 67 other packages
    07 Apr 2022
  22. hex_encode
    Documentation
    Hexadecimal encoding library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  23. 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
  24. 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
  25. 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
  26. higher
    Documentation
    Library for higher-kinded programming
    Jeremy Yallop Leo White
    0.3.1
    MIT
    Used by 0 other packages
    13 Jun 2016
  27. higher_kinded
    Documentation
    A library with an encoding of higher kinded types in OCaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  28. 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
  29. higlo
    Documentation
    Syntax highlighting library
    Zoggy <zoggy@bat8.org>
    0.10.0
    LGPL-3.0-only
    Used by 2 other packages
    19 Dec 2024
  30. hilite
    Documentation
    Build time syntax highlighting
    syntax highlighting
    Patrick Ferris
    0.4.0
    ISC
    Used by 0 other packages
    21 Nov 2023
  31. hiredis
    Documentation
    Redis tools based on the Hiredis C library
    Zach Shipko
    0.8
    ISC
    Used by 0 other packages
    20 Jun 2018
  32. hiredis-value
    Documentation
    Hiredis Value type
    Zach Shipko
    0.8
    ISC
    Used by 2 other packages
    20 Jun 2018
  33. hkdf
    Documentation
    HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
    Hannes Mehnert <hannes@mehnert.org>
    2.0.0
    BSD-2-Clause
    Used by 1 other packages
    30 Jun 2024
  34. 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
  35. 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
  36. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 16 other packages
    05 Oct 2017
  37. 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
  38. hol2dk
    Documentation
    HOL-Light to Dedukti/Lambdapi and Coq translator
    Frédéric Blanqui Anthony Bordg
    2.0.0
    CeCILL-2.1
    Used by 0 other packages
    25 Apr 2024
  39. hol_light
    Documentation
    The HOL-Light interactive theorem prover
    HOL Light
    3.0.0
    https://github.com/jrh13/hol-light/blob/master/LICENSE
    Used by 0 other packages
    18 Oct 2024
  40. 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
  41. 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
  42. horned_worm
    Documentation
    An easy functional Web app micro framework
    Kazuo Koga
    0.3.7
    MIT
    Used by 0 other packages
    07 Nov 2020
  43. host-arch-arm32

    No documentation

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

    No documentation

    OCaml on AArch64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  45. host-arch-ppc64

    No documentation

    OCaml on 64-bit IBM POWER
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  46. host-arch-riscv64

    No documentation

    OCaml on 64-bit RISC-V
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  47. host-arch-s390x

    No documentation

    OCaml on 64-bit IBM z/Architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 3 other packages
    05 Jun 2024
  48. host-arch-unknown

    No documentation

    OCaml on an unknown architecture
    David Allsopp
    1
    CC0-1.0+
    Used by 4 other packages
    05 Jun 2024
  49. host-arch-x86_32

    No documentation

    OCaml on x86 (32-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 28 other packages
    05 Jun 2024
  50. host-arch-x86_64
    Documentation
    OCaml on amd64 (64-bit)
    David Allsopp
    1
    CC0-1.0+
    Used by 29 other packages
    05 Jun 2024
... 33 34 35 ... 87