4605 search results for "author:" ""

Showing 951 - 1000
  1. coq
    Documentation
    The Coq Proof Assistant
    The Coq development team, INRIA, CNRS, and contributors
    8.20.0
    LGPL-2.1-only
    Used by 4 other packages
    06 Sep 2024
  2. 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
  3. 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
  4. 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.2+8.20
    LGPL-2.1-or-later
    Used by 0 other packages
    07 Oct 2024
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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.17
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2024
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
    22 Aug 2016
  34. 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
    22 Aug 2016
  35. 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
    22 Aug 2016
  36. 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
    22 Aug 2016
  37. 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
    22 Aug 2016
  38. 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
    22 Aug 2016
  39. 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
    27 Oct 2016
  40. 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
    22 Aug 2016
  41. cordova-plugin-screen-orientation
    Documentation
    Binding OCaml to cordova-plugin-screen-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
    22 Aug 2016
  42. cordova-plugin-sim-card
    Documentation
    Binding OCaml to cordova-plugin-sim-card 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
  43. cordova-plugin-sms
    Documentation
    Binding OCaml to cordova-plugin-sms 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-social-sharing
    Documentation
    Binding OCaml to cordova-plugin-x-socialsharing 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-statusbar
    Documentation
    Binding OCaml to cordova-plugin-statusbar 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-toast
    Documentation
    Binding OCaml to cordova-plugin-toast 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-touch-id
    Documentation
    Binding OCaml to cordova-plugin-touch-id 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-vibration
    Documentation
    Binding OCaml to cordova-plugin-vibration 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-videoplayer
    Documentation
    Binding OCaml to cordova-plugin-videoplayer 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. core
    Documentation
    Industrial strength alternative to OCaml's standard library
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 214 other packages
    29 May 2024
... 19 20 21 ... 93