4606 search results for "author:" ""
Showing 1651 - 1700
-
Hardcaml Circuitsv0.17.0MITUsed by 2 other packages26 May 2024
-
Hardcaml Event Driven Simulatorv0.17.0MITUsed by 1 other packages26 May 2024
-
Hardcaml fixed point arithmeticv0.17.0MITUsed by 0 other packages26 May 2024
-
Hardcaml Handshakev0.17.0MITUsed by 1 other packages26 May 2024
-
Convert Verilog to a Hardcaml designv0.17.0MITUsed by 0 other packages26 May 2024
-
Hardcaml Testbench Monadv0.17.0MITUsed by 0 other packages26 May 2024
-
Hardcaml Verification Toolsv0.17.0MITUsed by 1 other packages26 May 2024
-
Hardcaml Verilator Simulation Backendv0.17.0MITUsed by 0 other packages26 May 2024
-
A terminal based digital waveform viewer for Hardcamlv0.17.0MITUsed by 2 other packages26 May 2024
-
Hardcaml wrappers for Xilinx memory primitivesv0.17.0MITUsed by 0 other packages26 May 2024
-
Hardcaml Xilinx component definitionsv0.17.0MITUsed by 0 other packages26 May 2024
-
Hardcaml Xilinx Reportsv0.17.0MITUsed by 0 other packages26 May 2024
-
OCaml hash-consing library1.4.0LGPL-2.1-onlyUsed by 7 other packages01 Feb 2024
-
[hashids](http://hashids.org/): generate short, unique, non-sequential ids from numbers, that you can also decode1.0.1MITUsed by 0 other packages07 Nov 2018
-
Sets as hash tables1.0.0LGPL-2.1-onlyUsed by 0 other packages26 Feb 2017
-
Multi-target universal programming language4.1.1GPL-2.0-or-later; MITUsed by 0 other packages03 Jun 2020
-
Hashconsing library0.4ISCUsed by 3 other packages06 Jun 2024
-
hdf
No documentation
Bindings for the HDF4 library0.9.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages05 Jan 2014 -
Manages HDF5 files used for storing large amounts of data0.1.5MITUsed by 0 other packages25 Jun 2019
-
0.0.4MITUsed by 1 other packages24 Jan 2024
-
Automatic generation of files headers1.08LGPL-2.0-onlyUsed by 1 other packages16 May 2024
-
A tool to check and update source headers, using checksums0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages28 Apr 2023
-
Vectors (dynamic arrays)20240805LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages06 Aug 2024
-
Compiler for the Heptagon/BZR synchronous programming language1.05.00GPL-3.0-or-laterUsed by 0 other packages18 Jun 2018
-
The herdtools suite for simulating and studying weak memory models7.57CECILL-BUsed by 0 other packages30 Apr 2024
-
herelib
No documentation
Part of Jane Street’s Core library112.35.00Used by 10 other packages03 Jul 2015 -
A quite complete and fast LATEX to HTML translator2.36QPL-1.0 WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages03 Jan 2023
-
Library providing hexadecimal converters1.5.0ISCUsed by 72 other packages07 Apr 2022
-
Hexadecimal encoding libraryv0.17.0MITUsed by 0 other packages26 May 2024
-
A library that wraps the Mercurial command line interfacev0.17.0MITUsed by 0 other packages26 May 2024
-
Bindings to Signal11's hidapi library1.2.1MITUsed by 2 other packages16 Jan 2024
-
Lwt-wrappers for hidapi library1.2.1MITUsed by 1 other packages16 Jan 2024
-
Library for higher-kinded programming0.3.1MITUsed by 0 other packages13 Jun 2016
-
A library with an encoding of higher kinded types in OCamlv0.17.0MITUsed by 2 other packages26 May 2024
-
0.1MITUsed by 0 other packages24 Nov 2023
-
Syntax highlighting library0.9LGPL-3.0-onlyUsed by 2 other packages17 Mar 2023
-
0.4.0ISCUsed by 0 other packages21 Nov 2023
-
Redis tools based on the Hiredis C library0.8ISCUsed by 0 other packages20 Jun 2018
-
Hiredis Value type0.8ISCUsed by 2 other packages20 Jun 2018
-
HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)2.0.0BSD-2-ClauseUsed by 1 other packages30 Jun 2024
-
High-level preprocessing wrapper around the yaml library1.0.0MITUsed by 0 other packages27 Mar 2024
-
Normalize and compare HLA typing output.0.0.3Apache-2.0Used by 0 other packages28 Mar 2017
-
0.8.1ISCUsed by 17 other packages05 Oct 2017
-
A library to access hackmd's api0.1.0MITUsed by 0 other packages04 Jul 2022
-
HOL-Light to Dedukti/Lambdapi and Coq translator2.0.0CeCILL-2.1Used by 0 other packages25 Apr 2024
-
The HOL-Light interactive theorem prover3.0.0https://github.com/jrh13/hol-light/blob/master/LICENSEUsed by 0 other packages18 Oct 2024
-
A flag for compiling HOL Light core to a bytecode and native module1.0https://github.com/jrh13/hol-light/blob/master/LICENSEUsed by 0 other packages17 Oct 2024
-
A spring-physics library for OCaml0.0.1MITUsed by 0 other packages14 Dec 2023
-
An easy functional Web app micro framework0.3.7MITUsed by 0 other packages07 Nov 2020
-
host-arch-arm32
No documentation
OCaml on AArch32 (32-bit)1CC0-1.0+Used by 4 other packages05 Jun 2024