4407 search results for "author:" ""

Showing 401 - 450
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  7. 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
  8. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    Added to opam-repository
  15. 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
  16. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. bls12-381-signature

    No 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
  24. 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
  25. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  26. bm25
    Documentation
    An implementation of Okapi BM25 (a search engine)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. bogue
    Documentation
    GUI library for ocaml, with animations, based on SDL2
    gui
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    20260208
    ISC
    Used by 2 other packages
    Added to opam-repository
  30. bogue-tutorials
    Documentation
    Bogue Tutorials
    gui bogue tutorial
    San Vũ Ngọc
    0.2.0
    CC-BY-NC-4.0; Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  31. bolt

    No documentation

    Bolt is an OCaml Logging Tool
    Xavier Clerc
    1.3
    LGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  32. boltzgen
    Documentation
    Generate random tests using boltzmann sampling
    Benoît Barbot
    0.9.5
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  33. bonsai
    Documentation
    A library for building dynamic webapps, using Js_of_ocaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  34. bookaml
    Documentation
    Library for retrieving information about published books
    Dario Teixeira <dario.teixeira@nleyten.com>
    4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  35. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.3.0
    ISC
    Used by 92 other packages
    Added to opam-repository
  36. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  37. boulodrome
    Documentation
    MCP server for Rocq/Coq proof assistance via Petanque
    Valentin Bergeron <dev.vbergeron@gmail.com>
    0.6.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  38. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  39. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  40. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    Added to opam-repository
  41. brisk-reconciler
    Documentation
    A lightweight library for modeling tree-shaped state with stateful functions
    Wojtek Czekalski
    1.0.0~alpha1
    MIT
    Used by 0 other packages
    Added to opam-repository
  42. broken
    Documentation
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 5 other packages
    Added to opam-repository
  43. brot
    Documentation
    Tokenization for OCaml
    tokenization bpe wordpiece subword-tokenization language-models
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    Added to opam-repository
  44. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.9
    ISC; BSD-3-Clause
    Used by 9 other packages
    Added to opam-repository
  45. brr-lwd
    Documentation
    Make reactive webpages in Js_of_ocaml using Brr and Lwd
    Frédéric Bour
    0.5
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. bsdowl
    Documentation
    This collection of BSD Make directives aims at providing a highly
    bsd bmake build
    Michael Grünewald
    3.0.0-20150830
    CeCILL-B
    Used by 6 other packages
    Added to opam-repository
  47. bst
    Documentation
    Bisector tree implementation in OCaml
    data-structures
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 6 other packages
    Added to opam-repository
  48. bstr
    Documentation
    A simple library for bigstrings
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.1
    MIT
    Used by 23 other packages
    Added to opam-repository
  49. buffer-pool
    Documentation
    A pool of buffers which automatically increases in size as required
    Chris Jensen <cjj39@cam.ac.uk>
    0.2
    Used by 0 other packages
    Added to opam-repository
  50. build_path_prefix_map
    Documentation
    An OCaml implementation of the BUILD_PATH_PREFIX_MAP specification
    Gabriel Scherer
    0.3
    MIT
    Used by 0 other packages
    Added to opam-repository
... 8 9 10 ... 89