4605 search results for "author:" ""

Showing 401 - 450
  1. 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
  2. bitwuzla-cxx
    Documentation
    SMT solver for AUFBVFP (C++ API)
    SMT solver AUFBVFP
    Frédéric Recoules
    0.6.1
    MIT
    Used by 0 other packages
    15 Nov 2024
  3. 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
  4. blahcaml

    No documentation

    Blahcaml provides basic OCaml bindings to the Blahtex library.
    Dario Teixeira <dario.teixeira@nleyten.com>
    2.1
    GPL-2.0-only
    Used by 1 other packages
    21 Nov 2013
  5. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 4 other packages
    13 May 2020
  6. 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
  7. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    10 Feb 2021
  8. bls12-381
    Documentation
    Implementation of the BLS12-381 curve (wrapper for the Blst library)
    Tezos devteam
    20.1
    MIT
    Used by 6 other packages
    03 Jul 2024
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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 2 other packages
    17 Dec 2021
  14. 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
  15. 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 4 other packages
    15 Feb 2022
  16. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  17. 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
  18. bnfgen
    Documentation
    Random text generator that takes context-free grammars from BNF files
    Daniil Baturin <daniil@baturin.org>
    3.1.0
    MIT
    Used by 1 other packages
    10 Apr 2024
  19. bogue
    Documentation
    GUI library for ocaml, with animations, based on SDL2
    gui
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    20240928
    ISC
    Used by 2 other packages
    28 Sep 2024
  20. 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
  21. bolt
    Documentation
    Bolt is an OCaml Logging Tool
    Xavier Clerc
    1.4
    LGPL-3.0-only
    Used by 3 other packages
    21 Nov 2013
  22. boltzgen
    Documentation
    Generate tests using boltzman sampling
    Benoît Barbot
    0.9.3
    GPL-3.0-or-later
    Used by 0 other packages
    31 May 2021
  23. 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
  24. 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
  25. 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
  26. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    23 Jan 2023
  27. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  28. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  29. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    17 Jul 2018
  30. broken
    Documentation
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 7 other packages
    07 Sep 2015
  31. brotli
    Documentation
    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    2.0.3
    BSD-3-Clause
    Used by 1 other packages
    21 Dec 2017
  32. 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
  33. 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 5 other packages
    10 Sep 2024
  34. brr-lwd
    Documentation
    Make reactive webpages in Js_of_ocaml using Brr and Lwd
    Frédéric Bour
    0.3
    MIT
    Used by 0 other packages
    07 Sep 2022
  35. bsbnative

    No documentation

    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    ocaml bucklescript stdlib functional programming
    Hongbo Zhang <>
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  36. 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 8 other packages
    31 Aug 2015
  37. bson
    Documentation
    A bson data structure, including encoding/decoding
    MassD http://massd.github.io/, Marc Simon marc.simon42@gmail.com
    0.89.3
    GPL-3.0-only
    Used by 2 other packages
    03 Apr 2014
  38. bson2
    Documentation
    Bson format encoding/decoding for Ocaml
    Stephanos Tsoucas
    0.0.1
    Apache-2.0
    Used by 0 other packages
    30 Oct 2019
  39. bst
    Documentation
    Bisector tree implementation in OCaml
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 5 other packages
    17 Apr 2024
  40. bt

    No documentation

    BitTorrent library and client using Lwt
    Nicolas Ojeda Bar <n.oje.bar@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    11 May 2014
  41. 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
  42. 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
  43. builder
    Documentation
    Scheduling and executing shell jobs
    Robur <team@robur.coop>
    0.4.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  44. 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
  45. bulletml

    No documentation

    Library to manipulate shmup patterns
    Etienne Millon <me@emillon.org>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    05 Jul 2016
  46. bun
    Documentation
    Simple management of afl-fuzz processes
    Mindy Preston Thomas Leonard
    0.3.4
    MIT
    Used by 0 other packages
    07 Jul 2021
  47. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    20 Oct 2023
  48. bwrap
    Documentation
    Use Bubblewrap to sandbox executables
    sandbox bubblewrap
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1
    ISC
    Used by 0 other packages
    06 Nov 2018
  49. bytearray
    Documentation
    Efficient marshaling to and from bigarrays
    Jérôme Vouillon <Jerome.Vouillon@pps.univ-paris-diderot.fr>
    1.0.3
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    02 Dec 2022
  50. bytebuffer
    Documentation
    Extensible buffers built on top of bigarrays
    Anurag Soni
    0.0.2
    MIT
    Used by 0 other packages
    17 Jun 2021
... 8 9 10 ... 93