4233 search results for "author:" ""

Showing 351 - 400
  1. 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
  2. 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
  3. 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
  4. binning
    Documentation
    A datastructure to accumulate values in bins
    Philippe Veber
    0.0.0
    CeCILL-B
    Used by 2 other packages
    11 Oct 2020
  5. 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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.1
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Apr 2026
  6. 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
  7. 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
  8. 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
  9. biotk
    Documentation
    Bioinformatics toolkit
    Philippe Veber
    0.4
    CeCILL-C
    Used by 2 other packages
    08 Mar 2026
  10. bip32
    Documentation
    Hierarchical Deterministic Wallets
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    17 Mar 2018
  11. 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
  12. 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
  13. 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 107 other packages
    21 Jul 2023
  14. 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
  15. 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
  16. bistro-bio
    Documentation
    Bistro workflows for computational biology
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 0 other packages
    15 Nov 2021
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    17 Jun 2019
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  30. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  31. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  32. bitwuzla

    No documentation

    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 0 other packages
    04 Apr 2026
  33. 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
  34. bitwuzla-c

    No documentation

    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 1 other packages
    04 Apr 2026
  35. bitwuzla-cxx
    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
  36. 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
  37. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    13 May 2020
  38. 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
  39. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  40. 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
  41. 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
  42. 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
  43. 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
  44. bls12-381-js-gen
    Documentation
    Functors to generate BLS12-381 JavaScript primitives based on stubs
    Danny Willems <be.danny.willems@gmail.com>
    0.5.0
    MIT
    Used by 1 other packages
    17 Jun 2021
  45. bls12-381-legacy
    Documentation
    UNIX version of BLS12-381 primitives. Not implementating the virtual package bls12-381
    Danny Willems <be.danny.willems@gmail.com>
    0.4.4
    MIT
    Used by 0 other packages
    17 Dec 2021
  46. bls12-381-signature
    Documentation
    Implementation of BLS signatures for the pairing-friendly curve BLS12-381
    Danny Willems <be.danny.willems@gmail.com>
    1.0.0
    MIT
    Used by 0 other packages
    26 Sep 2022
  47. bls12-381-unix
    Documentation
    UNIX version of BLS12-381 primitives implementing the virtual package bls12-381 with blst backend
    Danny Willems <be.danny.willems@gmail.com>
    2.0.1
    MIT
    Used by 0 other packages
    15 Feb 2022
  48. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  49. bm25

    No documentation

    An implementation of Okapi BM25 (a search engine)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    04 May 2026
  50. bn128
    Documentation
    Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML
    Dwight Guth <dwight.guth@runtimeverification.com>
    0.1.3
    UIUC
    Used by 0 other packages
    23 Jul 2018
... 7 8 9 ... 85