4530 search results for "author:" ""

Showing 4401 - 4450
  1. 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
  2. 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
  3. 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
  4. 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
  5. wasmtime
    Documentation
    Wasmtime bindings for OCaml
    Laurent Mazare
    0.0.3
    Used by 0 other packages
    21 Jan 2021
  6. 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
  7. 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
  8. 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
  9. 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
  10. wcwidth
    Documentation
    Get terminal display width of a string
    Jonathan Yong
    1.0.1
    MIT
    Used by 0 other packages
    22 May 2024
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    15 Mar 2021
  32. win-error
    Documentation
    Manipulate Windows system errors
    David Scott
    1.0
    ISC
    Used by 3 other packages
    05 Feb 2019
  33. win-eventlog
    Documentation
    Log via the Windows event log from OCaml programs
    David Scott
    0.4
    ISC
    Used by 4 other packages
    31 Aug 2021
  34. winpthreads

    No documentation

    Posix Threads for Windows (winpthreads) Sources
    mingw-w64 project
    20240209-1
    BSD-3-Clause AND MIT
    Used by 2 other packages
    18 Mar 2024
  35. winsvc

    No documentation

    Library to make OCaml program act as a Windows service
    Romain Beauxis <toots@rastageeks.org>
    1.0.1
    GPL-2.0-only
    Used by 1 other packages
    21 Jul 2021
  36. ws
    Documentation
    Generic websocket implementation for OCaml
    monad io interface interface-prime websocket ws
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    18 Jan 2019
  37. ws-server
    Documentation
    WebSocket server
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    06 Aug 2020
  38. wseg
    Documentation
    A word identification system
    ZAN DoYe
    0.3.0
    MIT
    Used by 1 other packages
    29 Dec 2019
  39. wtf8
    Documentation
    Encoder and decoder for WTF-8
    Marshall Roch <mroch@fb.com>
    1.0.2
    MIT
    Used by 2 other packages
    17 Jun 2019
  40. wtr
    Documentation
    Well Typed Router
    Bikal Lem, <gbikal@gmail.com>
    3.0.0
    MPL-2.0
    Used by 1 other packages
    21 Oct 2021
  41. wtr-ppx
    Documentation
    Ppx to create routers
    Bikal Lem, <gbikal@gmail.com>
    3.0.0
    MPL-2.0
    Used by 0 other packages
    21 Oct 2021
  42. wu-manber-fuzzy-search
    Documentation
    Wu-Manber approximate string matching
    wu-manber baeza-yates-gonnet bitap algorithm levenshtein demarau-levenshtein edit distance approximate fuzzy string search matching
    Ifaz Kabir
    0.1.0
    CC0-1.0
    Used by 0 other packages
    19 Jan 2022
  43. wxOCaml

    No documentation

    OCaml bindings to the wxWidgets graphical library
    Fabrice Le Fessant INRIA/OCamlPro <fabrice.le_fessant@inria.fr>
    1.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Nov 2015
  44. x509
    Documentation
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    1.0.3
    BSD-2-Clause
    Used by 34 other packages
    05 Sep 2024
  45. x86_64-esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 0 other packages
    13 Aug 2024
  46. xapi-idl

    No documentation

    Interface descriptions and common boilerplate for xapi services.
    org:xapi-project
    Dave Scott
    1.14.0
    Used by 4 other packages
    06 Jun 2017
  47. xapi-libs-transitional

    No documentation

    Further transitional libraries required by xapi
    org:xapi-project
    Jon Ludlam
    1.0.1
    Used by 2 other packages
    15 Jun 2017
  48. xapi-rrd
    Documentation
    RRD library for use with xapi
    org:xapi-project
    Dave Scott Jon Ludlam John Else
    1.12.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    12 Dec 2023
  49. xapi-rrd-transport

    No documentation

    Shared-memory protocols for exposing performance counters
    org:xapi-project
    Jon Ludlam
    1.2.0
    Used by 1 other packages
    15 Jun 2017
  50. xapi-rrdd

    No documentation

    Performance monitoring daemon for xapi
    org:xapi-project
    Jon Ludlam
    1.2.1
    Used by 0 other packages
    15 Jun 2017
... 88 89 90 91