4605 search results for "author:" ""

Showing 4451 - 4500
  1. vhd-format-lwt
    Documentation
    Lwt interface to read/write VHD format data
    org:mirage org:xapi-project
    Dave Scott Jon Ludlam
    0.13.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Nov 2024
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. voqc
    Documentation
    A verified optimizer for quantum circuits (VOQC)
    Kesha Hietala
    0.3.0
    MIT
    Used by 0 other packages
    08 Jul 2022
  13. 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
  14. 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
  15. vpt
    Documentation
    Vantage point tree implementation in OCaml
    Francois BERENGER
    5.0.0
    BSD-3-Clause
    Used by 1 other packages
    05 Nov 2021
  16. vscoq-language-server
    Documentation
    VSCoq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.2.1
    MIT
    Used by 0 other packages
    23 Sep 2024
  17. vue-jsoo
    Documentation
    Binding of Vue_js
    Maxime Levillain
    0.3
    MIT
    Used by 0 other packages
    24 Dec 2022
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. wasmtime
    Documentation
    Wasmtime bindings for OCaml
    Laurent Mazare
    0.0.3
    Used by 0 other packages
    21 Jan 2021
  25. 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
  26. 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
  27. 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
  28. 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
  29. wcwidth
    Documentation
    Get terminal display width of a string
    Jonathan Yong
    1.0.1
    MIT
    Used by 0 other packages
    22 May 2024
  30. webauthn
    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
  31. 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
  32. 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
  33. 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
  34. 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
  35. websocket
    Documentation
    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 8 other packages
    17 Sep 2024
  36. 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
  37. 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
  38. websocket-lwt-unix
    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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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.7.2
    LGPL-2.1-only
    Used by 9 other packages
    22 Apr 2024
  46. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  47. why3-coq
    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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  48. why3-ide
    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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  49. why3find
    Documentation
    A Why3 Package Manager
    topics why3
    Loïc Correnson <loic.correnson@cea.fr> Benjamin Jorge <benjamin.jorge@cea.fr>
    1.0
    LGPL-2.1-only
    Used by 0 other packages
    16 May 2024
  50. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    15 Mar 2021
... 89 90 91 ... 93