4629 search results for ""

Showing 4501 - 4550
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    Added to opam-repository
  13. win-error
    Documentation
    Manipulate Windows system errors
    David Scott
    1.0
    ISC
    Used by 3 other packages
    Added to opam-repository
  14. 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
  15. 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
  16. winpthreads

    No documentation

    Posix Threads for Windows (winpthreads) Sources
    mingw-w64 project
    20240209-1
    BSD-3-Clause AND MIT
    Used by 2 other packages
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. wire
    Documentation
    Binary wire format DSL with EverParse 3D output
    Thomas Gazagnaire <thomas@gazagnaire.org>
    1.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  19. wiringpi

    No documentation

    WiringPi for OCaml, low level Raspberry Pi hardware access
    0.0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  20. wol
    Documentation
    Wake-on-LAN magic packet construction
    Ryan Gibb <ryan@freumh.org> Patrick Ferris
    1.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  21. wol-eio
    Documentation
    Wake-on-LAN for Eio
    Ryan Gibb <ryan@freumh.org> Patrick Ferris
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  22. wol-mirage
    Documentation
    Wake-on-LAN for MirageOS
    Ryan Gibb <ryan@freumh.org> Patrick Ferris
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. ws-server
    Documentation
    WebSocket server
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  25. wseg
    Documentation
    A word identification system
    ZAN DoYe
    0.3.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  26. wtf8
    Documentation
    Encoder and decoder for WTF-8
    Marshall Roch <mroch@fb.com>
    1.0.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  27. wtr
    Documentation
    Well Typed Router
    Bikal Lem, <gbikal@gmail.com>
    3.0.0
    MPL-2.0
    Used by 1 other packages
    Added to opam-repository
  28. wtr-ppx
    Documentation
    Ppx to create routers
    Bikal Lem, <gbikal@gmail.com>
    3.0.0
    MPL-2.0
    Used by 0 other packages
    Added to opam-repository
  29. wu-manber-fuzzy-search
    Documentation
    Wu-Manber approximate string matching
    wu-manber baeza-yates-gonnet bitap algorithms levenshtein demarau-levenshtein edit distance approximate fuzzy string search matching
    Ifaz Kabir
    0.1.0
    CC0-1.0
    Used by 0 other packages
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. 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.1.1
    BSD-2-Clause
    Used by 41 other packages
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. xapi-backtrace
    Documentation
    A simple library for recording and managing backtraces
    org:xapi-project
    xen-api@lists.xen.org
    0.8
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  34. xapi-inventory
    Documentation
    Library for accessing the xapi toolstack inventory file
    org:xapi-project
    xen-api@lists.xen.org
    1.2.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  35. 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 0 other packages
    Added to opam-repository
  36. xapi-stdext-date
    Documentation
    Xapi's standard library extension, Dates
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  37. xapi-stdext-encodings
    Documentation
    Xapi's standard library extension, Encodings
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  38. xapi-stdext-pervasives
    Documentation
    Xapi's standard library extension, Pervasives
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  39. xapi-stdext-std
    Documentation
    Xapi's standard library extension, Stdlib
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  40. xapi-stdext-threads
    Documentation
    Xapi's standard library extension, Threads
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  41. xapi-stdext-unix
    Documentation
    Xapi's standard library extension, Unix
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  42. xapi-stdext-zerocheck
    Documentation
    Xapi's standard library extension, Zerocheck
    Jonathan Ludlam
    4.24.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  43. xcursor
    Documentation
    A pure implementation of Xcursor in OCaml
    desktop gui cursor xcursor
    Yilin Wei
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. xdg
    Documentation
    XDG Base Directory Specification
    Jane Street Group, LLC <opensource@janestreet.com>
    3.24.2
    MIT
    Used by 11 other packages
    Added to opam-repository
  45. xdg-basedir
    Documentation
    XDG basedir location for data/cache/configuration files
    Sylvain Le Gall
    0.0.5
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  46. xdge
    Documentation
    XDG Base Directory Specification support for Eio
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  47. xedbindings
    Documentation
    Bindings to Intel XED
    Ryan Goulden
    0.14
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  48. xen-evtchn
    Documentation
    Xen event channel interface for MirageOS
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 2 other packages
    Added to opam-repository
  49. xen-evtchn-unix

    No documentation

    Xen event channel interface for Linux
    org:mirage org:xapi-project
    Vincent Hanquez Anil Madhavapeddy David Scott Jonathan Ludlam
    2.1.0
    Used by 1 other packages
    Added to opam-repository
  50. xen-gnt
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.2
    ISC
    Used by 2 other packages
    Added to opam-repository
... 90 91 92 93