4534 search results for "author:" ""

Showing 1601 - 1650
  1. hacl
    Documentation
    Tezos binding for Hacl*
    Vincent Bernardoff <vb@luminar.eu.org> Marco Stronati <marco@stronati.org>
    0.3
    MIT
    Used by 2 other packages
    13 May 2020
  2. hacl-star
    Documentation
    OCaml API for EverCrypt/HACL*
    Project Everest
    0.7.2
    Apache-2.0
    Used by 10 other packages
    27 Sep 2024
  3. hacl-star-raw
    Documentation
    Auto-generated low-level OCaml bindings for EverCrypt/HACL*
    Project Everest
    0.7.2
    Apache-2.0
    Used by 3 other packages
    27 Sep 2024
  4. hacl_func
    Documentation
    Minimal Hacl bindings
    Maxime Levillain <maxime.levillain@functori.com>
    0.1.0
    MIT
    Used by 0 other packages
    23 Jan 2023
  5. hacl_x25519
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Project Everest
    Etienne Millon <me@emillon.org> INRIA and Microsoft Corporation
    0.2.2
    MIT
    Used by 3 other packages
    03 Nov 2020
  6. hamt
    Documentation
    Hash Array Mapped Tries
    Thibault Suzanne Gabriel Scherer Rudi Grinberg
    1.0.0
    MIT
    Used by 0 other packages
    04 Nov 2016
  7. happy-eyeballs
    Documentation
    Connecting to a remote host via IP version 4 or 6
    Robur <team@robur.coop>
    1.2.0
    ISC
    Used by 8 other packages
    25 Aug 2024
  8. happy-eyeballs-lwt
    Documentation
    Connecting to a remote host via IP version 4 or 6 using Lwt_unix
    Robur <team@robur.coop>
    1.2.0
    ISC
    Used by 6 other packages
    25 Aug 2024
  9. happy-eyeballs-miou-unix
    Documentation
    Connecting to a remote host via IP version 4 or 6 using Miou
    Robur <team@robur.coop>
    1.2.1
    ISC
    Used by 2 other packages
    05 Sep 2024
  10. happy-eyeballs-mirage
    Documentation
    Connecting to a remote host via IP version 4 or 6 using Mirage
    Robur <team@robur.coop>
    1.2.0
    ISC
    Used by 3 other packages
    25 Aug 2024
  11. hardcaml
    Documentation
    RTL Hardware Design in OCaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 16 other packages
    26 May 2024
  12. 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
  13. hardcaml-yosys
    Documentation
    Import Verilog designs into HardCaml
    Andy Ray
    0.1.0
    ISC
    Used by 0 other packages
    06 Jan 2017
  14. hardcaml_axi
    Documentation
    Hardcaml AXI Interface Types
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  15. hardcaml_c
    Documentation
    Hardcaml C Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  16. hardcaml_circuits
    Documentation
    Hardcaml Circuits
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  17. 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
  18. hardcaml_fixed_point
    Documentation
    Hardcaml fixed point arithmetic
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  19. hardcaml_handshake
    Documentation
    Hardcaml Handshake
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  20. 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
  21. hardcaml_step_testbench
    Documentation
    Hardcaml Testbench Monad
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  22. hardcaml_verify
    Documentation
    Hardcaml Verification Tools
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  23. hardcaml_verilator
    Documentation
    Hardcaml Verilator Simulation Backend
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  24. 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
  25. 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
  26. hardcaml_xilinx_components
    Documentation
    Hardcaml Xilinx component definitions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  27. hardcaml_xilinx_reports
    Documentation
    Hardcaml Xilinx Reports
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  28. 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
  29. 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
  30. hashset
    Documentation
    Sets as hash tables
    Jean-Christophe Filliâtre
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2017
  31. 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
  32. hc
    Documentation
    Hashconsing library
    Léo Andrès <contact@ndrs.fr>
    0.4
    ISC
    Used by 3 other packages
    06 Jun 2024
  33. hdf

    No documentation

    Bindings for the HDF4 library
    Hezekiah M. Carty
    0.9.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    05 Jan 2014
  34. 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
  35. 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
  36. 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
  37. 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
  38. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier
    20240805
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    06 Aug 2024
  39. 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
  40. 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.57
    CECILL-B
    Used by 0 other packages
    30 Apr 2024
  41. herelib

    No documentation

    Part of Jane Street’s Core library
    Jane Street Group, LLC
    112.35.00
    Used by 10 other packages
    03 Jul 2015
  42. 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
  43. hex
    Documentation
    Library providing hexadecimal converters
    Thomas Gazagnaire Trevor Summers Smith
    1.5.0
    ISC
    Used by 72 other packages
    07 Apr 2022
  44. hex_encode
    Documentation
    Hexadecimal encoding library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  45. 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
  46. 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
  47. 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
  48. higher
    Documentation
    Library for higher-kinded programming
    Jeremy Yallop Leo White
    0.3.1
    MIT
    Used by 0 other packages
    13 Jun 2016
  49. 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
  50. 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
... 32 33 34 ... 91