4629 search results for ""

Showing 401 - 450
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  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
    Added to opam-repository
  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
    Added to opam-repository
  8. biotk
    Documentation
    Bioinformatics toolkit
    Philippe Veber
    0.4
    CeCILL-C
    Used by 2 other packages
    Added to opam-repository
  9. bip32
    Documentation
    Hierarchical Deterministic Wallets
    Vincent Bernardoff <vb@luminar.eu.org>
    0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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 110 other packages
    Added to opam-repository
  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
    Added to opam-repository
  14. 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
  15. 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
  16. bistro-bio
    Documentation
    Bistro workflows for computational biology
    Philippe Veber
    0.6.0
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  21. 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
  22. 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
  23. 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
  24. bitlib
    Documentation
    A library for writing binary files
    Chris Nevers <christophernevers96@gmail.com>
    1.0
    Used by 0 other packages
    Added to opam-repository
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  31. 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
  32. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  33. 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
  34. 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
  35. 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
  36. 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
    Added to opam-repository
  37. 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
  38. 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
  39. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    Added to opam-repository
  40. 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
  41. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  42. 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
  43. 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
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
... 8 9 10 ... 93