4511 search results for ""
Showing 301 - 350
-
Eliminates complex conditionals in branches2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-veri
No documentation
BAP Instruction Semantics Verification Tool0.2.5MITUsed by 0 other packages02 Jun 2020 -
Emit a warning if an unused result may cause a bug or security issue2.5.0MITUsed by 1 other packages14 Jul 2022
-
bap-x86
No documentation
BAP x86 lifter2.5.0MITUsed by 3 other packages14 Jul 2022 -
BAP Rule Engine Library2.5.0MITUsed by 2 other packages14 Jul 2022
-
0.3.1MITUsed by 0 other packages07 Sep 2023
-
Unofficial OCaml port of elm/parser (v1.1.0)0.1.4BSD-3-ClauseUsed by 0 other packages20 Apr 2020
-
Full standard library replacement for OCamlv0.17.3MITUsed by 214 other packages13 Jun 2025
-
baseUsed by 57 other packages21 Nov 2013
-
baseUsed by 139 other packages03 Jul 2014
-
baseUsed by 11 other packages05 Jul 2021
-
baseUsed by 3 other packages05 Jul 2021
-
base-flambda2
No documentation
A pseudo library to indicate the present of Flambda2 featuresbaseUsed by 1 other packages05 Sep 2024 -
base-implicits
No documentation
Dummy base package for compilers with modular implicits support.baseUsed by 1 other packages27 Mar 2017 -
base-metaocaml-ocamlfind
No documentation
Findlib toolchain configuration for MetaOCamlbaseMITUsed by 2 other packages27 Dec 2014 -
Virtual package for enabling native int63 support in Base0.1Apache-2.0Used by 0 other packages19 Apr 2017
-
Naked pointers prohibited in the OCaml heapbaseUsed by 5 other packages24 Jan 2022
-
base-num
No documentation
Num library distributed with the OCaml compilerbaseUsed by 0 other packages03 Mar 2025 -
base-ocamlbuild
No documentation
OCamlbuild binary and libraries distributed with the OCaml compilerbaseUsed by 3 other packages03 Mar 2025 -
baseUsed by 39 other packages21 Nov 2013
-
baseUsed by 225 other packages21 Nov 2013
-
Base32 encoding for OCaml1.0.0ISCUsed by 0 other packages14 Jun 2022
-
Base58 encoding and decoding0.1.2Artistic-2.0Used by 0 other packages19 Oct 2015
-
Base64 encoding for OCaml3.5.1ISCUsed by 114 other packages01 Feb 2023
-
String type based on [Bigarray], for use in I/O and C-bindingsv0.17.0MITUsed by 3 other packages23 May 2024
-
Randomized testing framework, designed for compatibility with Basev0.17.1MITUsed by 11 other packages12 Jun 2025
-
Trie data structure libraryv0.17.0MITUsed by 0 other packages26 May 2024
-
An OCaml library for category theory and abstract algebra2.0.0BSD-3-ClauseUsed by 2 other packages20 Feb 2021
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
Fast batch jaro winkler distance implementation in C990.1.1MITUsed by 0 other packages26 Apr 2021
-
0.7MITUsed by 0 other packages29 Dec 2021
-
A community-maintained standard library extension3.9.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 51 other packages31 Dec 2024
-
Implementation of BDD0.5LGPL-2.1-onlyUsed by 1 other packages21 May 2025
-
Logico-numerical domain(s) based on BDDs and APRON2.3.3LGPL-2.1-onlyUsed by 0 other packages08 Feb 2019
-
A simple front-end to the lutin Random toss machinary2.71.15CECILL-2.1Used by 0 other packages03 Nov 2022
-
Bare essential additions to the stdlib0.0.1MITUsed by 1 other packages06 Sep 2015
-
Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)0.1ISCUsed by 0 other packages15 Apr 2020
-
Yet Another Benchmark in OCaml0.5.0MITUsed by 11 other packages06 Nov 2023
-
HTML generator for bechamel's output0.5.0MITUsed by 1 other packages06 Nov 2023
-
CLI generator for bechamel's output0.5.0MITUsed by 4 other packages06 Nov 2023
-
Linux perf's metrics for bechamel0.5.0MITUsed by 1 other packages06 Nov 2023
-
Implementation of contextual modal logic for reasoning with higher-order abstract syntax1.1.2GPL-3.0-onlyUsed by 0 other packages22 Jul 2024
-
Benchmark running times of code1.7LGPL-3.0 WITH OCaml linking exceptionUsed by 13 other packages04 Feb 2025
-
Tool to run one or more logic programs, on a set of files, and collect the results0.1Used by 1 other packages30 Jul 2020
-
Server and web UI for benchpress0.1Used by 0 other packages30 Jul 2020
-
Bencode (`.torrent` file format) reader/writer in OCaml2.0MITUsed by 1 other packages11 Dec 2019
-
1D histogram sketching1BSDUsed by 2 other packages24 Jun 2020
-
OCaml bindings for the bestline C library0.2.1BSD-2-ClauseUsed by 0 other packages26 Apr 2023
-
Priority queues2.0.0LGPL-2.1-onlyUsed by 6 other packages06 Sep 2020