4714 search results for ""

Showing 451 - 500
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. blurhash
    Documentation
    A BlurHash encoder in OCaml
    blurhash
    Ushitora Anqou
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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 93 other packages
    Added to opam-repository
  18. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  19. 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
  20. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  21. 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
  22. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    Added to opam-repository
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. bstr

    No documentation

    A simple library for bigstrings
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.3
    MIT
    Used by 23 other packages
    Added to opam-repository
  31. 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
  32. 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
  33. builder
    Documentation
    Scheduling and executing shell jobs
    Robur <team@robur.coop>
    0.4.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  34. 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
  35. 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
  36. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    Added to opam-repository
  37. 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
  38. 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
  39. bytebuffer
    Documentation
    Extensible buffers built on top of bigarrays
    Anurag Soni
    0.0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. 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
  41. 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 websocket cryptography sha3 org:erratique
    The bytesrw programmers
    0.4.1
    ISC
    Used by 22 other packages
    Added to opam-repository
  42. bytestring
    Documentation
    Efficient, immutable, pattern-matchable, UTF friendly byte strings
    bytes strings pattern matching binary strings rope transient iterators utf8
    Leandro Ostera <leandro@abstractmachines.dev> Felipe Oliveira Carvalho <felipekde@gmail.com>
    0.0.8
    MIT
    Used by 3 other packages
    Added to opam-repository
  43. bytream
    Documentation
    A streaming bytes and crunching them library
    bytes streaming
    Mikhail Lopatin <dx3mod@bk.ru>
    0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. bz2
    Documentation
    CamlBZ2 OCaml bindings for the libbz2
    Stefano Zacchiroli Johannes Schauer Marin Rodrigues
    0.8.0
    LGPL-3.0-or-later with OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  45. CamelCase
    Documentation
    A simple OCaml test framework
    tests test unit unit tests
    Christopher Kaster <me@atomicptr.de>
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. CamlSurf-wayland
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  47. CamlSurf-x11
    Documentation
    A program to display and animate implicit surfaces and curves
    surface curve geometry OpenGL
    Christophe Raffalli <christophe@raffalli.eu>
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. ca-certs
    Documentation
    Detect root CA certificates from the operating system
    org:mirage
    Etienne Millon <me@emillon.org>, Hannes Mehnert <hannes@mehnert.org>
    1.0.3
    ISC
    Used by 28 other packages
    Added to opam-repository
  49. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.131.1
    ISC
    Used by 15 other packages
    Added to opam-repository
  50. cabal
    Documentation
    Caml Agent Backend Abstraction Library
    agentic backend abstraction cli llm
    Epure Team
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
... 9 10 11 ... 95