4271 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 Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.10.0
    LGPL-2.1-or-later
    Used by 0 other packages
    20 Feb 2025
  6. 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
  7. 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
  8. biotk
    Documentation
    Bioinformatics toolkit
    Philippe Veber
    0.3
    CeCILL-C
    Used by 2 other packages
    01 Jul 2024
  9. bip32
    Documentation
    Hierarchical Deterministic Wallets
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    17 Mar 2018
  10. 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
  11. 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
  12. 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 106 other packages
    21 Jul 2023
  13. 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
  14. 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
  15. bistro-bio
    Documentation
    Bistro workflows for computational biology
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 0 other packages
    15 Nov 2021
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    17 Jun 2019
  23. bitmasks

    No 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
  24. 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
  25. bitstring
    Documentation
    Bitstrings and bitstring matching for OCaml
    Richard W.M. Jones Xavier R. Guérin
    4.1.0
    LGPL-2.0-or-later
    Used by 8 other packages
    14 Dec 2020
  26. bitv
    Documentation
    A bit vector library for OCaml
    Jean-Christophe Filliâtre
    2.0
    LGPL-2.1-or-later
    Used by 5 other packages
    22 May 2024
  27. 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
  28. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  29. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  30. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  31. 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
  32. bitwuzla-bin
    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
  33. 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
  34. bitwuzla-cxx

    No documentation

    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.8.0
    MIT
    Used by 0 other packages
    02 Jun 2025
  35. 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
  36. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    13 May 2020
  37. 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
  38. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  39. bls12-381
    Documentation
    Implementation of the BLS12-381 curve (wrapper for the Blst library)
    Tezos devteam
    20.1
    MIT
    Used by 5 other packages
    03 Jul 2024
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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 1 other packages
    17 Dec 2021
  45. 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 1 other packages
    26 Sep 2022
  46. 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 2 other packages
    15 Feb 2022
  47. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  48. 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
  49. bnfgen
    Documentation
    Random text generator that takes context-free grammars from BNF files
    Daniil Baturin <daniil@baturin.org>
    4.0.0
    MIT
    Used by 1 other packages
    19 Feb 2025
  50. bogue
    Documentation
    GUI library for ocaml, with animations, based on SDL2
    gui
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    20250224
    ISC
    Used by 2 other packages
    27 Feb 2025
... 7 8 9 ... 86