4511 search results for ""

Showing 1001 - 1050
  1. conf-tree-sitter

    No documentation

    Check if tree-sitter is installed
    Max Brunsfeld
    1
    MIT
    Used by 0 other packages
    17 Apr 2021
  2. conf-trexio

    No documentation

    Virtual package relying on trexio library installation
    Anthony Scemama
    0.1
    BSD-3-Clause
    Used by 1 other packages
    04 Aug 2022
  3. conf-tzdata

    No documentation

    Virtual package relying on tzdata
    Etienne Millon <me@emillon.org>
    1
    public domain
    Used by 1 other packages
    05 Dec 2020
  4. conf-unwind

    No documentation

    Virtual package relying on libunwind
    David Mosberger, Dave Watson, et al
    0
    MIT
    Used by 2 other packages
    31 Jul 2023
  5. conf-vim

    No documentation

    Virtual package to install the Vim editor
    anil@recoil.org
    1
    charityware
    Used by 0 other packages
    14 Apr 2016
  6. conf-wayland-protocols
    Documentation
    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 1 other packages
    09 Oct 2020
  7. conf-wget
    Documentation
    Virtual package relying on wget
    hniksic@xemacs.org
    1
    GPL-2.0-or-later
    Used by 3 other packages
    25 Oct 2016
  8. conf-which
    Documentation
    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 44 other packages
    22 Feb 2016
  9. 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
  10. conf-x86_64-linux-gnu-gcc

    No documentation

    Virtual package relying on the x86_64-linux-gnu-gcc compiler (for C)
    Samuel Hym
    1
    GPL-2.0-or-later
    Used by 2 other packages
    11 Jun 2025
  11. conf-xen
    Documentation
    Virtual package relying on Xen headers
    hannes@mehnert.org
    1
    GPL-2.0-only; LGPL-3.0-only
    Used by 2 other packages
    22 Oct 2020
  12. conf-xkbcommon
    Documentation
    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 3 other packages
    09 Oct 2020
  13. 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
  14. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 0 other packages
    01 Sep 2022
  15. conf-zlib
    Documentation
    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 19 other packages
    22 Feb 2016
  16. conf-zmq
    Documentation
    Virtual package relying on zmq library installation
    iMatix
    0.1
    LGPL-2.0-or-later
    Used by 1 other packages
    13 Jan 2015
  17. conf-zstd
    Documentation
    Virtual package relying on zstd
    Facebook
    1.3.8
    BSD-3-Clause
    Used by 2 other packages
    08 Mar 2019
  18. 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
  19. 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
  20. config-file
    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 2 other packages
    07 Oct 2021
  21. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    10 Oct 2015
  22. configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 25 other packages
    22 Mar 2018
  23. 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
  24. 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
  25. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.16
    BSD-2-Clause
    Used by 71 other packages
    27 May 2025
  26. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.16
    BSD-2-Clause
    Used by 7 other packages
    27 May 2025
  27. 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
  28. 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
  29. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    06 May 2020
  30. 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
  31. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Mar 2025
  32. coq-catt-plugin
    Documentation
    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    15 Oct 2024
  33. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 4 other packages
    20 Mar 2025
  34. 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.3+9.0
    LGPL-2.1-or-later
    Used by 0 other packages
    05 Jun 2025
  35. coq-native

    No documentation

    Package flag enabling coq's native-compiler flag
    Coq
    1
    LGPL-2.1-only
    Used by 0 other packages
    07 Dec 2020
  36. 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
  37. 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
  38. 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
  39. coq-stdlib
    Documentation
    Compatibility metapackage for Coq Stdlib library after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  40. 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 Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    2.2.0+8.20
    LGPL-3.0-or-later
    Used by 0 other packages
    10 Mar 2025
  41. coqide
    Documentation
    The Coq Proof Assistant --- GTK3 IDE
    The Coq development team, INRIA, CNRS, and contributors
    8.20.1
    LGPL-2.1-only
    Used by 0 other packages
    20 Jan 2025
  42. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.0.0
    LGPL-2.1-only
    Used by 2 other packages
    20 Mar 2025
  43. 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
  44. 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
  45. cordova-plugin-background-mode
    Documentation
    Binding to cordova-plugin-background-mode using gen_js_api.
    Omar
    1.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Aug 2016
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 20 21 22 ... 91