4348 search results for "author:" ""

Showing 4251 - 4300
  1. 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 8 other packages
    22 Apr 2024
  2. 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
  3. 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
  4. 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
  5. 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
  6. wikitext
    Documentation
    Wikitext parser
    Maxence ABELA <maxence.abela+wikitext@gmail.com>
    3.0.1
    Used by 0 other packages
    15 Mar 2021
  7. win-error
    Documentation
    Manipulate Windows system errors
    David Scott
    1.0
    ISC
    Used by 3 other packages
    05 Feb 2019
  8. 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
  9. winpthreads

    No documentation

    Posix Threads for Windows (winpthreads) Sources
    mingw-w64 project
    20240209-1
    BSD-3-Clause AND MIT
    Used by 0 other packages
    18 Mar 2024
  10. 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
  11. ws

    No 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
  12. ws-server
    Documentation
    WebSocket server
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    06 Aug 2020
  13. wseg
    Documentation
    A word identification system
    ZAN DoYe
    0.3.0
    MIT
    Used by 1 other packages
    29 Dec 2019
  14. 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
  15. wtr
    Documentation
    Well Typed Router
    Bikal Lem, <gbikal@gmail.com>
    3.0.0
    MPL-2.0
    Used by 1 other packages
    21 Oct 2021
  16. 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
  17. 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
  18. 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
  19. x509
    Documentation
    Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
    org:mirage
    Hannes Mehnert <hannes@mehnert.org> David Kaloper <dk505@cam.ac.uk>
    0.16.5
    BSD-2-Clause
    Used by 31 other packages
    04 Jul 2023
  20. x86_64-esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.5
    MIT
    Used by 0 other packages
    22 Dec 2023
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
    24 Jan 2024
  27. 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
    24 Jan 2024
  28. 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
    24 Jan 2024
  29. 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
    24 Jan 2024
  30. 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
    24 Jan 2024
  31. 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
    24 Jan 2024
  32. 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
    24 Jan 2024
  33. xcursor
    Documentation
    A pure implementation of Xcursor in OCaml
    desktop gui cursor xcursor
    Yilin Wei
    0.1.0
    MIT
    Used by 0 other packages
    24 Dec 2022
  34. xdg
    Documentation
    XDG Base Directory Specification
    Jane Street Group, LLC <opensource@janestreet.com>
    3.15.3
    MIT
    Used by 6 other packages
    26 May 2024
  35. xdg-basedir
    Documentation
    XDG basedir location for data/cache/configuration files
    Sylvain Le Gall
    0.0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    11 Jan 2022
  36. xen-api-client

    No documentation

    Xen-API client library for remotely-controlling an XCP or XenServer host.
    org:mirage org:xapi-project
    David Scott Anil Madhavapeddy Jerome Maloberti John Else Jon Ludlam et al.
    0.9.14
    LGPL-2.0-or-later
    Used by 1 other packages
    06 Jun 2017
  37. 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 9 other packages
    13 Feb 2019
  38. xen-evtchn-unix
    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
    13 Feb 2019
  39. 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 10 other packages
    30 Apr 2024
  40. xen-gnt-unix
    Documentation
    Xen grant table bindings for OCaml
    Anil Madhavapeddy John Else Thomas Leonard Andrew Cooper David Scott
    4.0.2
    ISC
    Used by 3 other packages
    30 Apr 2024
  41. xenctrl

    No documentation

    Low-level Xen hypercall bindings.
    org:mirage org:xapi-project
    David Scott Jonathan Ludlam Andrew Cooper Bob Ball Euan Harris et al.
    0.10.0
    LGPL-2.0-or-later
    Used by 9 other packages
    01 Aug 2017
  42. xenstore
    Documentation
    Xenstore protocol in pure OCaml
    Vincent Hanquez Thomas Gazagnaire Dave Scott Anil Madhavapeddy Vincent Bernardoff
    2.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    09 May 2024
  43. xenstore_transport
    Documentation
    Low-level libraries for connecting to a xenstore service on a xen host
    org:mirage org:xapi-project
    Christian Lindig David Scott Euan Harris John Else Jon Ludlam et al.
    1.3.0
    LGPL-2.1-only
    Used by 11 other packages
    22 Jan 2021
  44. xentropyd

    No documentation

    Xentropyd: provide entropy to Xen VMs
    Dave Scott
    0.9.3
    ISC
    Used by 0 other packages
    29 Jan 2015
  45. xmelly
    Documentation
    Simplest way to do simple parsing of simple XML files in OCaml
    Eduardo Costa
    1.0.0
    MIT
    Used by 0 other packages
    18 Feb 2022
  46. xmldiff
    Documentation
    Computing and applying diffs on XML trees
    xml diff
    Zoggy <zoggy@bat8.org>
    0.7.0
    GPL-3.0-only
    Used by 3 other packages
    15 Dec 2021
  47. xmldiff_js
    Documentation
    Using Xmldiff on DOM
    Zoggy <zoggy@bat8.org>
    0.7.0
    GPL-3.0-only
    Used by 1 other packages
    15 Dec 2021
  48. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 46 other packages
    09 Feb 2022
  49. xmlplaylist
    Documentation
    Library to parse various file playlists in XML format
    Romain Beauxis <toots@rastageeks.org>
    0.1.5
    GPL-2.0-only
    Used by 1 other packages
    12 Sep 2020
  50. xoshiro
    Documentation
    Xoshiro PRNGs as drop-in replacements for Stdlib.Random
    Niols “Niols” Jeannerod <niols@niols.fr> Martin Pépin <kerl@wkerl.me>
    0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    30 Jun 2021
... 85 86 87