4721 search results for ""

Showing 1101 - 1150
  1. conf-vips

    No documentation

    Virtual package relying on libvips
    vips dev team
    1
    LGPL-2.1-or-later
    Used by 1 other packages
    Added to opam-repository
  2. conf-wayland-protocols

    No documentation

    Virtual package relying on wayland-protocols
    Wayland dev team
    1
    MIT
    Used by 2 other packages
    Added to opam-repository
  3. conf-wget

    No documentation

    Virtual package relying on wget
    hniksic@xemacs.org
    1
    GPL-2.0-or-later
    Used by 3 other packages
    Added to opam-repository
  4. conf-which

    No documentation

    Virtual package relying on which
    Carlo Wood
    1
    GPL-2.0-or-later
    Used by 44 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. conf-xen

    No documentation

    Virtual package relying on Xen headers
    hannes@mehnert.org
    1
    GPL-2.0-only; LGPL-3.0-only
    Used by 2 other packages
    Added to opam-repository
  8. conf-xkbcommon

    No documentation

    Virtual package relying on xkbcommon
    Xkbcommon dev team
    1
    MIT
    Used by 5 other packages
    Added to opam-repository
  9. conf-xxhash

    No documentation

    Virtual package relying on a xxhash system installation
    Yann Collet
    1
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  10. conf-zig

    No documentation

    Virtual package relying on zig
    pukkamustard <pukkamustard@posteo.net>
    1
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. conf-zlib

    No documentation

    Virtual package relying on zlib
    Jean-loup Gailly Mark Adler
    1
    zlib
    Used by 24 other packages
    Added to opam-repository
  12. conf-zmq

    No documentation

    Virtual package relying on zmq library installation
    iMatix
    0.1
    LGPL-2.0-or-later
    Used by 1 other packages
    Added to opam-repository
  13. conf-zstd

    No documentation

    Virtual package relying on zstd
    Facebook
    1.3.8
    BSD-3-Clause
    Used by 4 other packages
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. 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.2
    LGPL-2.0-or-later
    Used by 2 other packages
    Added to opam-repository
  17. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  18. configurator
    Documentation
    Helper library for gathering system configuration
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 23 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  21. console

    No documentation

    Colours, tables, trees and progress rows for the terminal
    command-line-utilities format
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.9.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  22. console-eio

    No documentation

    Eio backend for console
    command-line-utilities format eio
    Thomas Gazagnaire <thomas@gazagnaire.org>
    0.9.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  23. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.18
    BSD-2-Clause
    Used by 80 other packages
    Added to opam-repository
  24. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.18
    BSD-2-Clause
    Used by 9 other packages
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. content_security_policy
    Documentation
    A library for building content-security policies
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  27. contract
    Documentation
    Typed HTTP API contracts for OCaml
    http api contract openapi
    Thomas B.
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  28. cookie
    Documentation
    Cookie handling for OCaml and ReasonML
    Ulrik Strid
    0.1.8
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  29. cookies
    Documentation
    HTTP cookies library for OCaml
    Bikal Lem <gbikal@gmail.com>
    1.0.0
    MPL-2.0
    Used by 0 other packages
    Added to opam-repository
  30. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  31. coq-catt-plugin

    No 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
    Added to opam-repository
  32. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 4 other packages
    Added to opam-repository
  33. 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.5+9.1
    LGPL-2.1-or-later
    Used by 1 other packages
    Added to opam-repository
  34. coq-native

    No documentation

    Package flag enabling coq's native-compiler flag
    Coq
    1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  38. coq-stdlib
    Documentation
    Compatibility metapackage for Coq Stdlib library after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  39. 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 Dick Arends Cosmin Manea et al.
    3.1.0+9.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.3.0
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. 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
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. 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
    Added to opam-repository
  50. 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
    Added to opam-repository
... 22 23 24 ... 95