4714 search results for ""

Showing 401 - 450
  1. bin_there
    Documentation
    Serialization/deserialization with support for shared values
    David 'Yoric' Teller yteller@gitlab.com
    0.2.1a2
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithms tree data-structures
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. binary_tree
    Documentation
    A Coq binary tree module
    data-structures
    Pierre Castoran, slightly modified by Humam Alhusaini
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. binaryen
    Documentation
    OCaml bindings for Binaryen
    Oscar Spencer
    0.43.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  5. binaryen-bin

    No documentation

    Compiler and toolchain infrastructure library for WebAssembly
    Alon Zakai Thomas Lively
    119
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  6. binaryen_dsl
    Documentation
    Writing Webassembly text format in DSL
    Vincent Chan <okcdz@diverse.space>
    0.7
    MIT
    Used by 0 other packages
    Added to opam-repository
  7. binbin
    Documentation
    Convenient and human-readable bitmap manipulation
    Erwan/Aaron <erwan.ounn.84@gmail.com>
    0.01
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. binning
    Documentation
    A datastructure to accumulate values in bins
    data-structures
    Philippe Veber
    0.0.0
    CeCILL-B
    Used by 2 other packages
    Added to opam-repository
  11. 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.3
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. biotk
    Documentation
    Bioinformatics toolkit
    Philippe Veber
    0.4
    CeCILL-C
    Used by 2 other packages
    Added to opam-repository
  16. bip32
    Documentation
    Hierarchical Deterministic Wallets
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  17. bisect
    Documentation
    Code coverage tool for the OCaml language (deprecated)
    Xavier Clerc
    1.3.1
    GPL-3.0-only
    Used by 3 other packages
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. 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 111 other packages
    Added to opam-repository
  20. bisect_ppx-ocamlbuild
    Documentation
    Ocamlbuild plugin for Bisect_ppx, the coverage tool
    Anton Bachin
    1.0.1
    Public Domain
    Used by 0 other packages
    Added to opam-repository
  21. bisect_ppx_ng
    Documentation
    Code coverage for OCaml - fork of bisect_ppx
    Xavier Clerc <bisect@x9c.fr> Leonid Rozenberg <leonidr@gmail.com> Anton Bachin
    3.0.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  22. bistro
    Documentation
    A library to build and run distributed scientific workflows
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 1 other packages
    Added to opam-repository
  23. bistro-bio
    Documentation
    Bistro workflows for computational biology
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  28. bitcoinml
    Documentation
    Bitcoin data-structures library for OCaml
    Davide Gessa <gessadavide@gmail.com>
    0.4.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  29. bitflyer
    Documentation
    OCaml client for the bitFlyer cryptocurrency exchange API
    cryptocurrency exchange trading api websocket
    Yoshihiro Imai
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    Added to opam-repository
  32. bitmasks
    Documentation
    BitMasks over int and int64 exposed as sets
    David Allsopp
    1.5.0
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. bitv
    Documentation
    A bit vector library
    Jean-Christophe Filliâtre
    2.1
    LGPL-2.1-or-later
    Used by 6 other packages
    Added to opam-repository
  36. bitvec
    Documentation
    Fixed-size bitvectors and modular arithmetic, based on Zarith
    BAP Team
    2.5.0
    MIT
    Used by 22 other packages
    Added to opam-repository
  37. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  38. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    Added to opam-repository
  39. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  40. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.6
    MIT
    Used by 0 other packages
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. bitwuzla-c
    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
    Added to opam-repository
  43. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.9.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. bizowie-api
    Documentation
    OCaml client for the Bizowie ERP API
    Bizowie
    0.5.0
    Artistic-1.0-Perl; GPL-1.0-or-later
    Used by 0 other packages
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. bls12-381
    Documentation
    Implementation of the BLS12-381 curve (wrapper for the Blst library)
    Tezos devteam
    20.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  50. 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
    Added to opam-repository
... 8 9 10 ... 95