4339 search results for "author:" ""

Showing 1001 - 1050
  1. 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
  2. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    Added to opam-repository
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. coq
    Documentation
    Compatibility metapackage for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.1.1
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  12. 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
  13. coq-core
    Documentation
    Compatibility binaries for Coq after the Rocq renaming
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 3 other packages
    Added to opam-repository
  14. 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 0 other packages
    Added to opam-repository
  15. 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
  16. 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
  17. 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
  18. 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 3 other packages
    Added to opam-repository
  19. 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
  20. 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
  21. coqide-server
    Documentation
    The Rocq Prover, XML protocol server
    The Rocq development team, INRIA, CNRS, and contributors
    9.2.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
    Added to opam-repository
  31. 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
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. 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
    Added to opam-repository
  36. 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
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. cordova-plugin-keyboard
    Documentation
    Binding OCaml to cordova-plugin-keyboard 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-loading-spinner
    Documentation
    Binding OCaml to cordova-plugin-loading-spinner 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
  45. cordova-plugin-media
    Documentation
    Binding OCaml to cordova-plugin-media 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-media-capture
    Documentation
    Binding OCaml to cordova-plugin-media-capture 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-network-information
    Documentation
    Binding OCaml to cordova-plugin-network-information 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-progress
    Documentation
    Binding OCaml to cordova-plugin-progress 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-push-notifications
    Documentation
    Binding OCaml to phonegap-plugin-push using gen_js_api.
    Danny Willems <contact@danny-willems.be>
    1.1.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  50. cordova-plugin-qrscanner
    Documentation
    Binding OCaml to cordova-plugin-qrscanner 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
... 20 21 22 ... 87