4348 search results for "author:" ""

Showing 4201 - 4250
  1. vector3
    Documentation
    Module for 3D vectors (implemented as records of x, y and z floats)
    Francois Berenger
    1.0.0
    BSD-3-Clause
    Used by 3 other packages
    17 Jun 2022
  2. vendredi
    Documentation
    Tool for generating dune projects which vendor given packages for the purpose of testing that their dependencies are vendor-friendly
    Stephen Sherratt
    0.1.0
    MIT
    Used by 0 other packages
    16 Feb 2023
  3. vercel
    Documentation
    A custom runtime for Vercel.com (Now v2) written in OCaml
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.1.0
    BSD-3-clause
    Used by 0 other packages
    18 Apr 2021
  4. versioned_polling_state_rpc
    Documentation
    Helper functions for creating stable/versioned `Polling_state_rpc.t`s with babel.
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  5. vg
    Documentation
    Declarative 2D vector graphics for OCaml
    pdf svg canvas cairo browser declarative graphics org:erratique
    The vg programmers
    0.9.5
    ISC
    Used by 5 other packages
    24 Jan 2024
  6. vhd-format
    Documentation
    Pure OCaml library to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.12.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    20 Jun 2022
  7. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.12.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    20 Jun 2022
  8. vimebac
    Documentation
    Vimebac is graphical metronome and instructions display that interfaces with
    Sebastien Mondet <seb@mondet.org>
    0.0.0
    ISC
    Used by 0 other packages
    11 Jun 2018
  9. virtual_dom
    Documentation
    OCaml bindings for the virtual-dom library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 9 other packages
    26 May 2024
  10. virtual_dom_toplayer
    Documentation
    OCaml bindings for the floating positioning library for 'toplevel' virtual dom components
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  11. visitors
    Documentation
    An OCaml syntax extension for generating visitor classes
    François Pottier <francois.pottier@inria.fr>
    20210608
    LGPL-2.1-only
    Used by 12 other packages
    09 Jun 2021
  12. vlq
    Documentation
    A simple library for encoding variable-length quantities
    Marshall Roch <mroch@fb.com>
    0.2.1
    MIT
    Used by 0 other packages
    25 Aug 2021
  13. vlt
    Documentation
    A variant of Bolt logging tool
    logging
    Xavier Clerc Codinuum
    0.1
    LGPL-3.0-only
    Used by 0 other packages
    17 May 2023
  14. 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
  15. 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
  16. 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
  17. 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
  18. voqc
    Documentation
    A verified optimizer for quantum circuits (VOQC)
    Kesha Hietala
    0.3.0
    MIT
    Used by 0 other packages
    08 Jul 2022
  19. vorbis
    Documentation
    Bindings to libvorbis
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.8.0
    GPL-2.0-only
    Used by 0 other packages
    09 Mar 2021
  20. 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
  21. vpt
    Documentation
    Vantage point tree implementation in OCaml
    Francois BERENGER
    5.0.0
    BSD-3-Clause
    Used by 1 other packages
    05 Nov 2021
  22. vscoq-language-server
    Documentation
    VSCoq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.1.2
    MIT
    Used by 0 other packages
    21 Feb 2024
  23. vue-jsoo
    Documentation
    Binding of Vue_js
    Maxime Levillain
    0.3
    MIT
    Used by 0 other packages
    24 Dec 2022
  24. vue-ppx
    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
  25. wall
    Documentation
    Realtime Vector Graphics with OpenGL
    Frédéric Bour
    0.4.1
    BSD-3-Clause
    Used by 1 other packages
    31 Oct 2020
  26. 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
  27. wamp-msgpck
    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
  28. wamp-yojson
    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
  29. wasm
    Documentation
    Library to read and write WebAssembly (Wasm) files and manipulate their AST
    Andreas Rossberg <rossberg@mpi-sws.org>
    2.0.1
    Apache-2.0
    Used by 1 other packages
    24 Jul 2023
  30. wasmtime
    Documentation
    Wasmtime bindings for OCaml
    Laurent Mazare
    0.0.3
    Used by 0 other packages
    21 Jan 2021
  31. waylaunch
    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
  32. 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
  33. 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
  34. 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
  35. wcwidth
    Documentation
    Get terminal display width of a string
    Jonathan Yong
    1.0.1
    MIT
    Used by 0 other packages
    22 May 2024
  36. webauthn
    Documentation
    WebAuthn - authenticating users to services using public key cryptography
    Reynir Björnsson <reynir@reynir.dk> Hannes Mehnert <hannes@mehnert.org>
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    19 Nov 2021
  37. webbrowser
    Documentation
    Open and reload URIs in browsers from OCaml
    web http uri browser cli org:erratique
    Daniel Bünzli
    0.6.1
    ISC
    Used by 3 other packages
    15 Sep 2016
  38. webdav
    Documentation
    Implements the client side of the WebDAV protocol (RFC 4918)
    Gerd Stolpmann <gerd@gerd-stolpmann.de>
    1.1.5
    BSD-3-Clause
    Used by 0 other packages
    10 Nov 2017
  39. 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
  40. webmachine
    Documentation
    A REST toolkit for OCaml
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.0
    BSD-3-clause
    Used by 3 other packages
    29 Sep 2020
  41. websocket
    Documentation
    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 8 other packages
    03 Jan 2023
  42. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 1 other packages
    03 Jan 2023
  43. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 2 other packages
    04 Oct 2018
  44. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.16
    ISC
    Used by 8 other packages
    03 Jan 2023
  45. 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
  46. 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
  47. 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
  48. webtest-js
    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
  49. weevil

    No documentation

    Tezos: `weevil` binary - a tool for debugging Michelson code
    Simon Parry
    0.1.1
    MIT
    Used by 0 other packages
    09 Jan 2023
  50. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
... 84 85 86 87