4405 search results for "author:" ""

Showing 4251 - 4300
  1. volgo-base
    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
    Added to opam-repository
  2. volgo-git-backend
    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
    Added to opam-repository
  3. volgo-git-eio
    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
    Added to opam-repository
  4. volgo-git-unix
    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
    Added to opam-repository
  5. volgo-hg-backend
    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
    Added to opam-repository
  6. volgo-hg-eio
    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
    Added to opam-repository
  7. volgo-hg-unix
    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
    Added to opam-repository
  8. volgo-vcs
    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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. voqc
    Documentation
    A verified optimizer for quantum circuits (VOQC)
    Kesha Hietala
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. vorbis
    Documentation
    Bindings to libvorbis
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  12. vpt
    Documentation
    Vantage point tree implementation in OCaml
    data-structures
    Francois BERENGER
    5.0.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  13. vscoq-language-server
    Documentation
    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.5.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. vsrocq-language-server
    Documentation
    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  15. vue-jsoo
    Documentation
    Binding of Vue_js
    Maxime Levillain
    0.3
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. vue-ppx
    Documentation
    Ppx to make Vue.js application
    Maxime Levillain <maxime.levillain@functori.com>
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. wall
    Documentation
    Realtime Vector Graphics with OpenGL
    Frédéric Bour
    0.4.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  18. wamp
    Documentation
    Web Application Messaging Protocol (WAMP) library — Core library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.2
    ISC
    Used by 2 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. wasm
    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
    Added to opam-repository
  22. wasm_of_ocaml-compiler
    Documentation
    Compiler from OCaml bytecode to WebAssembly
    Ocsigen team <dev@ocsigen.org>
    6.4.1
    GPL-2.0-or-later; LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  23. wasmtime

    No documentation

    Wasmtime bindings for OCaml
    Laurent Mazare
    0.0.3
    Used by 0 other packages
    Added to opam-repository
  24. wax
    Documentation
    A compiler toolchain for Wax, a Rust-like syntax for WebAssembly
    Jérôme Vouillon
    0.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  25. wax-lib
    Documentation
    Libraries for Wax, a Rust-like syntax for WebAssembly
    Jérôme Vouillon
    0.2.0
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  26. 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
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. wcs-api
    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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. wcwidth
    Documentation
    Get terminal display width of a string
    The Alan Turing Institute
    1.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. webbrowser
    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
    Added to opam-repository
  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
    Added to opam-repository
  34. webmachine
    Documentation
    A REST toolkit for OCaml
    Spiros Eliopoulos <spiros@inhabitedtype.com>
    0.7.0
    BSD-3-clause
    Used by 4 other packages
    Added to opam-repository
  35. websocket
    Documentation
    Websocket library
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 7 other packages
    Added to opam-repository
  36. websocket-async
    Documentation
    Websocket library (Async)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 1 other packages
    Added to opam-repository
  37. websocket-lwt
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.12
    Used by 0 other packages
    Added to opam-repository
  38. websocket-lwt-unix
    Documentation
    Websocket library (Lwt)
    org:mirage org:xapi-project
    Vincent Bernardoff <vb@luminar.eu.org>
    2.17
    ISC
    Used by 10 other packages
    Added to opam-repository
  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
    Added to opam-repository
  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
    Added to opam-repository
  41. webtest
    Documentation
    An in-browser js_of_ocaml testing framework - core library
    John Else
    2.0.0
    Used by 6 other packages
    Added to opam-repository
  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
    Added to opam-repository
  43. 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 9 other packages
    Added to opam-repository
  44. 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.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  45. 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.8.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  46. why3find
    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 2 other packages
    Added to opam-repository
  47. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    Added to opam-repository
  48. win-error
    Documentation
    Manipulate Windows system errors
    David Scott
    1.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  49. win-eventlog
    Documentation
    Log via the Windows event log from OCaml programs
    David Scott
    0.4
    ISC
    Used by 0 other packages
    Added to opam-repository
  50. windtrap
    Documentation
    One library for all your OCaml tests
    testing unit-test property-testing expect-test snapshot-testing
    Thibaut Mattio
    0.1.0
    ISC
    Used by 14 other packages
    Added to opam-repository
... 85 86 87 ... 89