4511 search results for ""

Showing 401 - 450
  1. 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
  2. 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
  3. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  4. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    14 Jul 2022
  5. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  6. 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
  7. 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
  8. 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
  9. bitwuzla-cxx
    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
  10. 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
  11. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    13 May 2020
  12. 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
  13. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. bls12-381-legacy

    No 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
  20. 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
  21. 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
  22. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  23. 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
  24. 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
  25. 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
  26. 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
    05 Mar 2024
  27. bolt

    No documentation

    Bolt is an OCaml Logging Tool
    Xavier Clerc
    1.3
    LGPL-3.0-only
    Used by 0 other packages
    21 Nov 2013
  28. boltzgen
    Documentation
    Generate random tests using boltzmann sampling
    Benoît Barbot
    0.9.5
    GPL-3.0-or-later
    Used by 0 other packages
    21 Mar 2025
  29. bonsai

    No documentation

    A library for building dynamic webapps, using Js_of_ocaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  30. 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
    30 Jan 2016
  31. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 88 other packages
    06 Oct 2021
  32. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    23 Jan 2023
  33. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  34. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  35. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    17 Jul 2018
  36. 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
    19 Mar 2025
  37. 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
    07 Sep 2015
  38. brotli

    No documentation

    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.3.0
    BSD-3-Clause
    Used by 1 other packages
    23 Aug 2017
  39. brozip

    No documentation

    CLI to concurrently compress, decompress files using the Brotli algorithm
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.1
    BSD-3-Clause
    Used by 0 other packages
    11 Oct 2015
  40. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.7
    ISC; BSD-3-Clause
    Used by 7 other packages
    10 Sep 2024
  41. brr-lwd
    Documentation
    Make reactive webpages in Js_of_ocaml using Brr and Lwd
    Frédéric Bour
    0.4
    MIT
    Used by 0 other packages
    31 May 2025
  42. 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
    31 Aug 2015
  43. bson2
    Documentation
    Bson format encoding/decoding for Ocaml
    Stephanos Tsoucas
    0.0.1
    Apache-2.0
    Used by 0 other packages
    30 Oct 2019
  44. bst
    Documentation
    Bisector tree implementation in OCaml
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 6 other packages
    17 Apr 2024
  45. bstr
    Documentation
    A simple library for bigstrings
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.2
    MIT
    Used by 3 other packages
    24 Jun 2025
  46. 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
    17 May 2020
  47. 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
    31 Oct 2022
  48. builder
    Documentation
    Scheduling and executing shell jobs
    Robur <team@robur.coop>
    0.4.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  49. builder-web
    Documentation
    Web interface for builder
    Reynir Björnsson <reynir@reynir.dk>
    0.2.0
    ISC
    Used by 0 other packages
    10 Sep 2024
  50. bun
    Documentation
    Simple management of afl-fuzz processes
    Mindy Preston Thomas Leonard
    0.3.4
    MIT
    Used by 0 other packages
    07 Jul 2021
... 8 9 10 ... 91