4532 search results for "author:" ""

Showing 901 - 950
  1. conf-unwind
    Documentation
    Virtual package relying on libunwind
    David Mosberger, Dave Watson, et al
    0
    MIT
    Used by 2 other packages
    31 Jul 2023
  2. conf-wayland-protocols
    Documentation
    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 1 other packages
    09 Oct 2020
  3. conf-which

    No documentation

    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 45 other packages
    22 Feb 2016
  4. conf-wxwidgets

    No documentation

    Virtual package to check the availability of wxWidgets 3.0 development packages
    Julian Smart
    3.0
    LGPL+EXN-BIN
    Used by 1 other packages
    23 Mar 2016
  5. conf-xkbcommon
    Documentation
    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 2 other packages
    09 Oct 2020
  6. conf-xxhash
    Documentation
    Virtual package relying on a xxhash system installation
    Yann Collet
    1
    BSD-2-Clause
    Used by 1 other packages
    26 Sep 2022
  7. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 1 other packages
    01 Sep 2022
  8. conf-zlib
    Documentation
    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 15 other packages
    22 Feb 2016
  9. confero
    Documentation
    Unicode Collation
    Petter A. Urkedal <paurkedal@gmail.com>
    0.1.1
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    17 Nov 2022
  10. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  11. config-file

    No documentation

    A library used to manage configuration files
    Antonin Décimo <antonin@tarides.com> Fabrice Le Fessant <fabrice.lefessant@inria.fr> Maxence Guesdon <maxence.guesdon@inria.fr> Jean-Baptiste Rouquier <jrouquie@gmail.com>
    1.2.1
    LGPL-2.0-or-later
    Used by 6 other packages
    07 Oct 2021
  12. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    10 Oct 2015
  13. configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 33 other packages
    22 Mar 2018
  14. conformist
    Documentation
    Conformist allows you to define schemas to decode, validate and sanitize input data declaratively
    Josef Erben
    0.8.1
    MIT
    Used by 2 other packages
    05 Apr 2022
  15. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    16 Mar 2023
  16. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  17. content_security_policy
    Documentation
    A library for building content-security policies
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  18. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    06 May 2020
  19. cookies
    Documentation
    HTTP cookies library for OCaml
    Bikal Lem <gbikal@gmail.com>
    1.0.0
    MPL-2.0
    Used by 0 other packages
    05 Aug 2020
  20. coq
    Documentation
    The Coq Proof Assistant
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 3 other packages
    06 Sep 2024
  21. coq-core
    Documentation
    The Coq Proof Assistant -- Core Binaries and Tools
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 5 other packages
    06 Sep 2024
  22. coq-lsp
    Documentation
    Language Server Protocol native server for Coq
    Emilio Jesús Gallego Arias <e@x80.org> Ali Caglayan <alizter@gmail.com> Shachar Itzhaky <shachari@cs.technion.ac.il> Ramkumar Ramachandra <r@artagnon.com>
    0.2.0+8.20
    LGPL-2.1-or-later
    Used by 0 other packages
    10 Sep 2024
  23. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  24. coq-serapi
    Documentation
    Serialization library and protocol for machine interaction with the Coq proof assistant
    Emilio Jesús Gallego Arias Karl Palmskog Clément Pit-Claudel Kaiyu Yang
    8.20.0+0.20.0
    LGPL-2.1-or-later
    Used by 0 other packages
    10 Sep 2024
  25. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    19 Nov 2015
  26. coq-stdlib
    Documentation
    The Coq Proof Assistant -- Standard Library
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 2 other packages
    06 Sep 2024
  27. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Balthazar Pathiachvili Cosmin Manea Lulof Pirée Adrian Vrămuleţ et al.
    2.1.1+8.18
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Jan 2024
  28. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 0 other packages
    06 Sep 2024
  29. coqide-server
    Documentation
    The Coq Proof Assistant, XML protocol server
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 2 other packages
    06 Sep 2024
  30. cordova
    Documentation
    Binding OCaml to cordova Javascript object.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    18 Aug 2016
  31. cordova-plugin-activity-indicator
    Documentation
    Binding OCaml to cordova-plugin-activity-indicator using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  32. cordova-plugin-barcode-scanner
    Documentation
    Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  33. cordova-plugin-battery-status
    Documentation
    Binding OCaml to cordova-plugin-battery-status using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  34. cordova-plugin-camera
    Documentation
    Binding OCaml to cordova-plugin-camera using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  35. cordova-plugin-clipboard
    Documentation
    Binding OCaml to cordova-plugin-clipboard using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  36. cordova-plugin-datepicker
    Documentation
    Binding OCaml to cordova-plugin-datepicker using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  37. cordova-plugin-device
    Documentation
    Binding OCaml to cordova-plugin-device using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  38. cordova-plugin-device-motion
    Documentation
    Binding OCaml to cordova-plugin-device-motion using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  39. cordova-plugin-device-orientation
    Documentation
    Binding OCaml to cordova-plugin-device-orientation using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  40. cordova-plugin-dialogs
    Documentation
    Binding OCaml to cordova-plugin-dialogs using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  41. cordova-plugin-email-composer
    Documentation
    Binding OCaml to cordova-plugin-email-composer using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  42. cordova-plugin-fcm
    Documentation
    Binding OCaml to cordova-plugin-fcm using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    20 Oct 2016
  43. cordova-plugin-file
    Documentation
    Binding OCaml to cordova-plugin-file using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  44. cordova-plugin-file-opener
    Documentation
    Binding OCaml to cordova-plugin-file-opener using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  45. cordova-plugin-file-transfer
    Documentation
    Binding OCaml to cordova-plugin-file-transfer using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  46. cordova-plugin-geolocation
    Documentation
    Binding OCaml to cordova-plugin-geolocation using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  47. cordova-plugin-globalization
    Documentation
    Binding OCaml to cordova-plugin-globalization using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  48. cordova-plugin-image-picker
    Documentation
    Binding OCaml to cordova-plugin-image-picker using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  49. cordova-plugin-inappbrowser
    Documentation
    Binding OCaml to cordova-plugin-inappbrowser using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
  50. cordova-plugin-insomnia
    Documentation
    Binding OCaml to cordova-plugin-insomnia using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Aug 2016
... 18 19 20 ... 91