4217 search results for "author:" ""

Showing 351 - 400
  1. bin
    Documentation
    A DSL to describe binary formats
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.4
    MIT
    Used by 1 other packages
    21 Jan 2026
  2. bin_prot
    Documentation
    A binary protocol generator
    Jane Street Group, LLC
    v0.17.0-1
    MIT
    Used by 7 other packages
    29 May 2025
  3. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithm tree data_structure
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  4. binary_tree
    Documentation
    A Coq binary tree module
    Pierre Castoran, slightly modified by Humam Alhusaini
    1.0
    MIT
    Used by 0 other packages
    23 May 2025
  5. binaryen
    Documentation
    OCaml bindings for Binaryen
    Oscar Spencer
    0.34.0
    Apache-2.0
    Used by 0 other packages
    13 Nov 2025
  6. binaryen-bin
    Documentation
    Compiler and toolchain infrastructure library for WebAssembly
    Alon Zakai Thomas Lively
    119
    Apache-2.0
    Used by 1 other packages
    28 Sep 2024
  7. binaryen_dsl
    Documentation
    Writing Webassembly text format in DSL
    Vincent Chan <okcdz@diverse.space>
    0.7
    MIT
    Used by 0 other packages
    06 Dec 2021
  8. binbin
    Documentation
    Convenient and human-readable bitmap manipulation
    Erwan/Aaron <erwan.ounn.84@gmail.com>
    0.01
    MIT
    Used by 0 other packages
    10 Oct 2017
  9. bindlib
    Documentation
    OCaml Bindlib library for bound variables
    Rodolphe Lepigre <lepigre@mpi-sws.org> Christophe Raffalli <christophe@raffalli.eu
    6.0.0
    LGPL-3.0
    Used by 2 other packages
    01 Mar 2022
  10. biniou
    Documentation
    Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
    Martin Jambon
    1.2.2
    BSD-3-Clause
    Used by 8 other packages
    27 Jun 2022
  11. binning
    Documentation
    A datastructure to accumulate values in bins
    Philippe Veber
    0.0.0
    CeCILL-B
    Used by 2 other packages
    11 Oct 2020
  12. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.11.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Jan 2026
  13. binsec_codex
    Documentation
    A modular static analyser for machine code program based on abstract interpretation
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0-rc4
    LGPL-2.1-or-later
    Used by 0 other packages
    05 Feb 2026
  14. bio_io
    Documentation
    A library for reading and writing common file formats used in bioinformatics like FASTA files
    Ryan M. Moore
    0.7.0
    MIT; Apache-2.0
    Used by 0 other packages
    11 Sep 2023
  15. biocaml
    Documentation
    The OCaml Bioinformatics Library
    Sebastien Mondet Ashish Agarwal Philippe Veber Christophe Troestler Sergei Lebedev et al.
    0.11.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    09 May 2022
  16. biotk
    Documentation
    Bioinformatics toolkit
    Philippe Veber
    0.4
    CeCILL-C
    Used by 2 other packages
    08 Mar 2026
  17. bip32
    Documentation
    Hierarchical Deterministic Wallets
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    17 Mar 2018
  18. bisect
    Documentation
    Code coverage tool for the OCaml language (deprecated)
    Xavier Clerc
    1.3.1
    GPL-3.0-only
    Used by 3 other packages
    25 Feb 2018
  19. bisect-summary
    Documentation
    bisect-summary - simple analysis of coverage data created by bisect-ppx
    Christian Lindig <lindig@citrix.com>
    0.3
    MIT
    Used by 0 other packages
    03 Jun 2016
  20. bisect_ppx
    Documentation
    Code coverage for OCaml
    Xavier Clerc <bisect@x9c.fr> Leonid Rozenberg <leonidr@gmail.com> Anton Bachin
    2.8.3
    MIT
    Used by 103 other packages
    21 Jul 2023
  21. bisect_ppx-ocamlbuild
    Documentation
    Ocamlbuild plugin for Bisect_ppx, the coverage tool
    Anton Bachin
    1.0.1
    Public Domain
    Used by 0 other packages
    30 Apr 2018
  22. bistro
    Documentation
    A library to build and run distributed scientific workflows
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 1 other packages
    15 Nov 2021
  23. bistro-bio
    Documentation
    Bistro workflows for computational biology
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 0 other packages
    15 Nov 2021
  24. bitcoin
    Documentation
    Bitcoin Client API logic-only
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    13 Feb 2023
  25. bitcoin-cohttp-async
    Documentation
    Bitcoin Client API cohttp-async interface
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2023
  26. bitcoin-cohttp-lwt
    Documentation
    Bitcoin Client API cohttp-lwt interface
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2023
  27. bitcoin-ocurl
    Documentation
    Bitcoin Client API ocurl interface
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Feb 2023
  28. bitcoinml
    Documentation
    Bitcoin data-structures library for OCaml
    Davide Gessa <gessadavide@gmail.com>
    0.4.1
    MIT
    Used by 0 other packages
    08 Mar 2019
  29. bitgenerators
    Documentation
    PRNG bitgenerators for OCaml users
    scientific computing psuedo-random numbers
    Zolisa Bleki
    v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    02 May 2024
  30. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    17 Jun 2019
  31. bitmasks
    Documentation
    BitMasks over int and int64 exposed as sets
    David Allsopp
    1.5.0
    BSD-3-clause
    Used by 0 other packages
    21 May 2025
  32. bitpack_serializer
    Documentation
    This library provides functions for encoding efficiently simple OCaml data
    Steven de Oliveira <de.oliveira.steven@gmail.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Sep 2022
  33. bitstring
    Documentation
    Bitstrings and bitstring matching for OCaml
    Richard W.M. Jones Xavier R. Guérin
    5.0.2
    LGPL-2.0-or-later
    Used by 8 other packages
    05 Nov 2025
  34. bitv
    Documentation
    A bit vector library
    Jean-Christophe Filliâtre
    2.1
    LGPL-2.1-or-later
    Used by 6 other packages
    27 Aug 2025
  35. bitvec
    Documentation
    Fixed-size bitvectors and modular arithmetic, based on Zarith
    BAP Team
    2.5.0
    MIT
    Used by 22 other packages
    14 Jul 2022
  36. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  37. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  38. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  39. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  40. bitwuzla-bin

    No documentation

    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  41. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  42. bitwuzla-cxx

    No documentation

    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.9.0
    MIT
    Used by 0 other packages
    25 Mar 2026
  43. bjack
    Documentation
    Bindings for the Jack library which provides functions for linking audio programs
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.6
    LGPL-2.1-only
    Used by 0 other packages
    03 Jan 2021
  44. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    13 May 2020
  45. blake3
    Documentation
    Blake3 cryptography
    Yoshihiro Imai <y.imai@proof-ninja.co.jp> Jun Furuse <jun.furuse@dailambda.jp>
    0.3
    MIT
    Used by 1 other packages
    13 Sep 2022
  46. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  47. bls12-381
    Documentation
    Implementation of the BLS12-381 curve (wrapper for the Blst library)
    Tezos devteam
    20.1
    MIT
    Used by 1 other packages
    03 Jul 2024
  48. bls12-381-gen
    Documentation
    Functors to generate BLS12-381 primitives based on stubs
    Danny Willems <be.danny.willems@gmail.com>
    0.5.0
    MIT
    Used by 4 other packages
    17 Jun 2021
  49. bls12-381-hash
    Documentation
    Implementation of some cryptographic hash primitives using the scalar field of BLS12-381
    Danny Willems <be.danny.willems@gmail.com>
    1.0.0
    MIT
    Used by 0 other packages
    29 Nov 2022
  50. bls12-381-js
    Documentation
    JavaScript version of BLS12-381 primitives implementing the virtual package bls12-381
    Danny Willems <be.danny.willems@gmail.com>
    0.5.0
    MIT
    Used by 0 other packages
    17 Jun 2021
... 7 8 9 ... 85