4427 search results for "author:" ""

Showing 401 - 450
  1. 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
  2. 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
  3. bogue
    Documentation
    GUI library for ocaml, with animations, based on SDL2
    gui
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    20250815
    ISC
    Used by 2 other packages
    17 Aug 2025
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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 93 other packages
    06 Oct 2021
  10. boulangerie
    Documentation
    B# Package Manager
    Charlotte Thomas
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    23 Jan 2023
  11. box
    Documentation
    Render boxes in the terminal
    davesnx <dsnxmoreno@gmail.com>
    1.2.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  12. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  13. bracetax
    Documentation
    Simple and deterministic text processing syntax
    Sebastien Mondet
    0.4
    Used by 0 other packages
    17 Jul 2018
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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 7 other packages
    28 Jul 2025
  19. 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
  20. 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
  21. bson2
    Documentation
    Bson format encoding/decoding for Ocaml
    Stephanos Tsoucas
    0.0.1
    Apache-2.0
    Used by 0 other packages
    30 Oct 2019
  22. bst
    Documentation
    Bisector tree implementation in OCaml
    Francois Berenger
    7.1.0
    BSD-3-Clause
    Used by 6 other packages
    17 Apr 2024
  23. bstr
    Documentation
    A simple library for bigstrings
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.3
    MIT
    Used by 11 other packages
    23 Nov 2025
  24. 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
  25. 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
  26. builder
    Documentation
    Scheduling and executing shell jobs
    Robur <team@robur.coop>
    0.4.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  27. 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
  28. bun
    Documentation
    Simple management of afl-fuzz processes
    Mindy Preston Thomas Leonard
    0.3.4
    MIT
    Used by 0 other packages
    07 Jul 2021
  29. bwd
    Documentation
    Backward lists
    The RedPRL Development Team
    2.3.0
    Apache-2.0
    Used by 4 other packages
    20 Oct 2023
  30. 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
  31. 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
  32. bytebuffer
    Documentation
    Extensible buffers built on top of bigarrays
    Anurag Soni
    0.0.2
    MIT
    Used by 0 other packages
    17 Jun 2021
  33. bytepdf

    No documentation

    Tool to create PDFs that are also OCaml bytecodes
    Drup <drupyog@zoho.com>
    0.1
    ISC
    Used by 0 other packages
    31 Aug 2018
  34. 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 5 other packages
    05 Nov 2025
  35. 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
    05 Mar 2024
  36. 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
    08 Apr 2024
  37. 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
    25 Mar 2025
  38. 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.1
    ISC
    Used by 17 other packages
    17 Apr 2025
  39. ca-certs-nss
    Documentation
    X.509 trust anchors extracted from Mozilla's NSS
    org:mirage
    Hannes Mehnert <hannes@mehnert.org>
    3.118
    ISC
    Used by 10 other packages
    20 Nov 2025
  40. cachet
    Documentation
    A simple cache system for mmap
    Romain Calascibetta <romain.calascibetta@gmail.com> Reynir Björnsson <reynir@reynir.dk>
    0.0.3
    MIT
    Used by 4 other packages
    01 Dec 2025
  41. cachet-lwt
    Documentation
    A simple cache system for mmap and lwt
    Romain Calascibetta <romain.calascibetta@gmail.com> Reynir Björnsson <reynir@reynir.dk>
    0.0.3
    MIT
    Used by 1 other packages
    01 Dec 2025
  42. cachet-solo5
    Documentation
    A simple cache system for mmap
    Romain Calascibetta <romain.calascibetta@gmail.com> Reynir Björnsson <reynir@reynir.dk>
    0.0.3
    MIT
    Used by 0 other packages
    01 Dec 2025
  43. cactus
    Documentation
    A B-Tree based index implementation
    Gabriel Belouze <gabriel.belouze@ens.psl.eu> Ioana Cristescu <ioana@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    30 Jul 2021
  44. cairn

    No documentation

    A derivation explorer and logger for menhir parser
    Vincent Penelle
    2.1
    GPL-2.0-or-later
    Used by 0 other packages
    13 Dec 2025
  45. cairo2
    Documentation
    Binding to Cairo, a 2D Vector Graphics Library
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 15 other packages
    12 Nov 2024
  46. cairo2-gtk
    Documentation
    Rendering Cairo on Gtk2 canvas
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 1 other packages
    12 Nov 2024
  47. cairo2-pango
    Documentation
    Interface between Cairo and Pango (for Gtk2)
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  48. caisar
    Documentation
    A platform for characterizing the safety and robustness of artificial intelligence based software
    AISER team, Software Safety and Security Laboratory, CEA-List
    4.0
    LGPL-2.1-only
    Used by 0 other packages
    24 Jun 2025
  49. caisar-ir
    Documentation
    CAISAR's intermediate representation
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 2 other packages
    27 Jun 2023
  50. caisar-nnet
    Documentation
    NNet parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    27 Jun 2023
... 8 9 10 ... 89