4290 search results for "author:" ""

Showing 1701 - 1750
  1. h2-lwt

    No documentation

    0.13.0
    BSD-3-clause
    Used by 2 other packages
    05 Sep 2024
  2. 0.13.0
    BSD-3-clause
    Used by 2 other packages
    05 Sep 2024
  3. 0.13.0
    BSD-3-clause
    Used by 0 other packages
    05 Sep 2024
  4. Hash sets and hash maps
    20240918
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Sep 2024
  5. Parallel and shared memory library
    1.0.1
    MIT
    Used by 1 other packages
    25 Feb 2021
  6. 0.3
    MIT
    Used by 0 other packages
    13 May 2020
  7. OCaml API for EverCrypt/HACL*
    0.7.2
    Apache-2.0
    Used by 2 other packages
    27 Sep 2024
  8. Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    0.7.2
    Apache-2.0
    Used by 1 other packages
    27 Sep 2024
  9. 0.1.0
    MIT
    Used by 0 other packages
    23 Jan 2023
  10. Primitives for Elliptic Curve Cryptography taken from Project Everest
    0.2.2
    MIT
    Used by 1 other packages
    03 Nov 2020
  11. 1.0.0
    MIT
    Used by 0 other packages
    04 Nov 2016
  12. 0.3.0
    MIT
    Used by 1 other packages
    11 Nov 2025
  13. Connecting to a remote host via IP version 4 or 6
    2.0.1
    ISC
    Used by 10 other packages
    14 May 2025
  14. Connecting to a remote host via IP version 4 or 6 using Lwt_unix
    2.0.1
    ISC
    Used by 6 other packages
    14 May 2025
  15. Connecting to a remote host via IP version 4 or 6 using Miou
    2.0.1
    ISC
    Used by 3 other packages
    14 May 2025
  16. Connecting to a remote host via IP version 4 or 6 using Mirage
    2.0.1
    ISC
    Used by 5 other packages
    14 May 2025
  17. RTL Hardware Design in OCaml
    v0.17.1
    MIT
    Used by 16 other packages
    09 Oct 2025
  18. A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  19. Hardcaml AXI Interface Types
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  20. Hardcaml C Simulation Backend
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  21. Hardcaml Circuits
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  22. Hardcaml Event Driven Simulator
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  23. Hardcaml fixed point arithmetic
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  24. Hardcaml Handshake
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  25. Convert Verilog to a Hardcaml design
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  26. Hardcaml Testbench Monad
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  27. Hardcaml Verification Tools
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  28. Hardcaml Verilator Simulation Backend
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  29. A terminal based digital waveform viewer for Hardcaml
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  30. Hardcaml wrappers for Xilinx memory primitives
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  31. Hardcaml Xilinx component definitions
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  32. Hardcaml Xilinx Reports
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  33. 1.4.0
    LGPL-2.1-only
    Used by 6 other packages
    01 Feb 2024
  34. Sets as hash tables
    1.0.1
    LGPL-2.1-only
    Used by 1 other packages
    14 Feb 2025
  35. Multi-target universal programming language
    4.1.1
    GPL-2.0-or-later; MIT
    Used by 0 other packages
    03 Jun 2020
  36. Hashconsing library
    0.5
    ISC
    Used by 2 other packages
    22 May 2025
  37. Manages HDF5 files used for storing large amounts of data
    0.1.5
    MIT
    Used by 0 other packages
    25 Jun 2019
  38. hdr_histogram

    No documentation

    0.0.5
    MIT
    Used by 2 other packages
    29 Apr 2026
  39. 1.08
    LGPL-2.0-only
    Used by 1 other packages
    16 May 2024
  40. A tool to check and update source headers, using checksums
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  41. 20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Dec 2024
  42. Compiler for the Heptagon/BZR synchronous programming language
    1.05.00
    GPL-3.0-or-later
    Used by 0 other packages
    18 Jun 2018
  43. The herdtools suite for simulating and studying weak memory models
    7.58
    CECILL-B
    Used by 0 other packages
    13 Feb 2025
  44. ReasonML bindings to the Heroicons React components
    1.0
    MIT
    Used by 0 other packages
    12 Jan 2025
  45. A quite complete and fast LATEX to HTML translator
    2.38
    QPL-1.0 WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    05 Feb 2026
  46. Library providing hexadecimal converters
    1.5.0
    ISC
    Used by 62 other packages
    07 Apr 2022
  47. Hexadecimal encoding library
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  48. A library that wraps the Mercurial command line interface
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  49. Bindings to Signal11's hidapi library
    1.2.1
    MIT
    Used by 2 other packages
    16 Jan 2024
  50. 1.2.1
    MIT
    Used by 1 other packages
    16 Jan 2024