4335 search results for "author:" ""

Showing 401 - 450
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. blake2
    Documentation
    Blake2 cryptography
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs
    0.3
    ISC
    Used by 2 other packages
    Added to opam-repository
  7. 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
  8. bloomf
    Documentation
    Efficient Bloom filters for OCaml
    Clément Pascutto
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  18. 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
  19. 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
  20. 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
  21. bogue
    Documentation
    GUI library for ocaml, with animations, based on SDL2
    gui
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    20260208
    ISC
    Used by 1 other packages
    Added to opam-repository
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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 89 other packages
    Added to opam-repository
  28. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  29. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. 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
  31. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    Added to opam-repository
  32. 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
  33. 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
  34. 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
  35. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.8
    ISC; BSD-3-Clause
    Used by 9 other packages
    Added to opam-repository
  36. 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
  37. 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
  38. bst
    Documentation
    Bisector tree implementation in OCaml
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 6 other packages
    Added to opam-repository
  39. bstr

    No documentation

    A simple library for bigstrings
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.4
    MIT
    Used by 19 other packages
    Added to opam-repository
  40. 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
  41. 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
  42. builder
    Documentation
    Scheduling and executing shell jobs
    Robur <team@robur.coop>
    0.4.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  43. builder-web
    Documentation
    Web interface for builder
    Reynir Björnsson <reynir@reynir.dk>
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  44. bun

    No documentation

    Simple management of afl-fuzz processes
    Mindy Preston Thomas Leonard
    0.3.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  45. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    Added to opam-repository
  46. bwrap
    Documentation
    Use Bubblewrap to sandbox executables
    sandbox bubblewrap
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. bytebuffer
    Documentation
    Extensible buffers built on top of bigarrays
    Anurag Soni
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. bytepdf

    No documentation

    Tool to create PDFs that are also OCaml bytecodes
    Drup <drupyog@zoho.com>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  50. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes entropy streaming zstd zlib gzip deflate random csprng sha1 sha2 compression hashing utf xxhash blake3 psa tls cryptography sha3 org:erratique
    The bytesrw programmers
    0.3.0
    ISC
    Used by 14 other packages
    Added to opam-repository
... 8 9 10 ... 87