4450 search results for "author:" ""

Showing 4301 - 4350
  1. vmnet

    No documentation

    MacOS X `vmnet` NAT networking
    Anil Madhavapeddy <anil@recoil.org>
    1.5.1
    ISC
    Used by 1 other packages
    15 Sep 2019
  2. voaacenc
    Documentation
    Bindings for the voaacenc library to encode audio files in AAC format
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.1
    Used by 0 other packages
    17 Aug 2015
  3. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    25 Dec 2018
  4. volgo

    No documentation

    A Versatile OCaml Library for Git Operations
    git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 10 other packages
    30 Jan 2026
  5. volgo-base

    No documentation

    An Extension of volgo.Vcs to use with Base
    git vcs base
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 2 other packages
    30 Jan 2026
  6. volgo-git-backend

    No documentation

    An IO-free library that parses the output of Git commands
    cli git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  7. volgo-git-eio

    No documentation

    A Git backend for Vcs based on Volgo_git_backend for Eio programs
    eio git vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 1 other packages
    30 Jan 2026
  8. volgo-git-unix

    No documentation

    A Git backend for Vcs based on Volgo_git_backend and the Unix library
    git vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 4 other packages
    30 Jan 2026
  9. volgo-hg-backend

    No documentation

    An IO-free library that parses the output of Mercurial commands
    cli git mercurial vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  10. volgo-hg-eio

    No documentation

    A Mercurial backend for Vcs based on Volgo_hg_backend for Eio programs
    eio git mercurial vcs non-blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  11. volgo-hg-unix

    No documentation

    A Mercurial backend for Vcs based on Volgo_hg_backend and the Unix library
    git mercurial vcs blocking-io
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 3 other packages
    30 Jan 2026
  12. volgo-vcs

    No documentation

    A command line tool for vcs operations based on the volgo libraries
    cli git vcs
    Mathieu Barbin
    0.0.22
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    30 Jan 2026
  13. volt
    Documentation
    Volt is a variant of Bolt OCaml Logging Tool
    Xavier Clerc Codinuum
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    14 Feb 2021
  14. voqc
    Documentation
    A verified optimizer for quantum circuits (VOQC)
    Kesha Hietala
    0.3.0
    MIT
    Used by 0 other packages
    08 Jul 2022
  15. vorbis

    No documentation

    Bindings to libvorbis
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    04 Feb 2025
  16. vpnkit

    No documentation

    VPN-friendly networking devices for HyperKit
    Anil Madhavapeddy <anil@recoil.org> David Scott <dave.scott@docker.com> David Sheets <dsheets@docker.com> Gaetan de Villele <gdevillele@gmail.com> Ian Campbell <ian.campbell@docker.com> et al.
    0.2.0
    Used by 0 other packages
    03 Jan 2018
  17. vpt
    Documentation
    Vantage point tree implementation in OCaml
    Francois BERENGER
    5.0.0
    BSD-3-Clause
    Used by 1 other packages
    05 Nov 2021
  18. vscoq-language-server

    No documentation

    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.4
    MIT
    Used by 0 other packages
    01 Dec 2025
  19. vsrocq-language-server

    No documentation

    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.4
    MIT
    Used by 1 other packages
    01 Dec 2025
  20. vue-jsoo

    No documentation

    Binding of Vue_js
    Maxime Levillain
    0.3
    MIT
    Used by 0 other packages
    24 Dec 2022
  21. vue-ppx

    No documentation

    Ppx to make Vue.js application
    Maxime Levillain <maxime.levillain@functori.com>
    0.1.0
    MIT
    Used by 0 other packages
    23 Jan 2023
  22. wall

    No documentation

    Realtime Vector Graphics with OpenGL
    Frédéric Bour
    0.4.1
    BSD-3-Clause
    Used by 0 other packages
    31 Oct 2020
  23. wamp
    Documentation
    Web Application Messaging Protocol (WAMP) library — Core library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2
    ISC
    Used by 2 other packages
    20 May 2017
  24. wamp-msgpck

    No documentation

    Web Application Messaging Protocol (WAMP) library — Msgpck support
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2
    ISC
    Used by 0 other packages
    20 May 2017
  25. wamp-yojson

    No documentation

    Web Application Messaging Protocol (WAMP) library — Yojson support
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2
    ISC
    Used by 0 other packages
    20 May 2017
  26. wasm

    No documentation

    Library to read and write WebAssembly (Wasm) files and manipulate their AST
    wasm webassembly spec interpreter
    Andreas Rossberg <rossberg@mpi-sws.org
    2.0.2
    Apache-2.0
    Used by 0 other packages
    27 May 2025
  27. wasm_of_ocaml-compiler

    No documentation

    Compiler from OCaml bytecode to WebAssembly
    Ocsigen team <dev@ocsigen.org>
    6.2.0
    GPL-2.0-or-later; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Aug 2025
  28. wasmtime

    No documentation

    Wasmtime bindings for OCaml
    Laurent Mazare
    0.0.3
    Used by 0 other packages
    21 Jan 2021
  29. waylaunch

    No documentation

    Waylaunch is a program launcher for Wayland
    wayland program launcher sway
    Kate <kit-ty-kate@outlook.com>
    0.3.0
    GPL-3.0-or-later
    Used by 0 other packages
    16 Jan 2024
  30. wcs

    No documentation

    Command line interface for Watson Conversation Service
    Guillaume Baudart Louis Mandel Jérôme Siméon
    2017-05-26.05
    Apache-2.0
    Used by 0 other packages
    05 Sep 2018
  31. wcs-api

    No documentation

    SDK for Watson Conversation Service
    Guillaume Baudart Louis Mandel Jérôme Siméon
    2017-05-26.04
    Apache-2.0
    Used by 1 other packages
    23 Jan 2018
  32. wcs-lib

    No documentation

    SDK for Watson Conversation Service
    Guillaume Baudart Louis Mandel Jérôme Siméon
    2017-05-26.05
    Apache-2.0
    Used by 1 other packages
    05 Sep 2018
  33. wcwidth
    Documentation
    Get terminal display width of a string
    The Alan Turing Institute <hut23@turing.ac.uk>
    1.0.1
    MIT
    Used by 0 other packages
    22 May 2024
  34. webauthn

    No documentation

    WebAuthn - authenticating users to services using public key cryptography
    Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    14 Sep 2024
  35. webbrowser

    No documentation

    Open and reload URIs in browsers from OCaml
    web http url browser cli org:erratique
    The webbrowser programmers
    0.6.2
    ISC
    Used by 2 other packages
    12 Mar 2025
  36. weberizer
    Documentation
    Compile HTML templates into OCaml modules
    web template
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.8
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Oct 2018
  37. webmachine
    Documentation
    A REST toolkit for OCaml
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.0
    BSD-3-clause
    Used by 4 other packages
    29 Sep 2020
  38. websocket

    No documentation

    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 7 other packages
    17 Sep 2024
  39. websocket-async

    No documentation

    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 1 other packages
    17 Sep 2024
  40. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 1 other packages
    04 Oct 2018
  41. websocket-lwt-unix

    No documentation

    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 8 other packages
    17 Sep 2024
  42. websocketaf
    Documentation
    Websocket implementation for use with http/af
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.1.0
    BSD-3-Clause
    Used by 1 other packages
    30 Apr 2019
  43. websocketml
    Documentation
    A simple websocket library for OCaml with no dependency
    ismailbennani <ismail.lahkim.bennani@ens.fr>
    0.1.1
    CeCILL-C
    Used by 0 other packages
    17 Jun 2020
  44. webtest
    Documentation
    An in-browser js_of_ocaml testing framework - core library
    John Else
    2.0.0
    Used by 6 other packages
    19 May 2020
  45. webtest-js

    No documentation

    An in-browser js_of_ocaml testing framework - js_of_ocaml integration
    John Else
    2.0.0
    Used by 5 other packages
    19 May 2020
  46. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 7 other packages
    19 Sep 2025
  47. why3-coq

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  48. why3-ide

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  49. why3find

    No documentation

    A Why3 Package Manager
    why3
    Loïc Correnson <loic.correnson@cea.fr> Benjamin Jorge <benjamin.jorge@cea.fr>
    1.3.0
    LGPL-2.1-only
    Used by 0 other packages
    14 Jan 2026
  50. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    15 Mar 2021
... 86 87 88 89