4650 search results for ""
Showing 1051 - 1100
-
Virtual package relying on zmq library installation0.1LGPL-2.0-or-laterUsed by 1 other packages13 Jan 2015
-
Virtual package relying on zstd1.3.8BSD-3-ClauseUsed by 2 other packages08 Mar 2019
-
Unicode Collation0.1.1LGPL-3.0-or-later WITH LGPL-3.0-linking-exceptionUsed by 0 other packages17 Nov 2022
-
Ergonomic, lightweight conditional compilation through attributes0.0.3MITUsed by 3 other packages05 May 2024
-
A library used to manage configuration files1.2.2LGPL-2.0-or-laterUsed by 2 other packages06 Sep 2025
-
0.4.1CeCILL-BUsed by 0 other packages10 Oct 2015
-
Helper library for gathering system configurationv0.11.0Apache-2.0Used by 25 other packages22 Mar 2018
-
Conformist allows you to define schemas to decode, validate and sanitize input data declaratively0.8.1MITUsed by 2 other packages05 Apr 2022
-
2.2BSD-2-ClauseUsed by 1 other packages16 Mar 2023
-
containers
No documentation
A modular, clean and powerful extension of the OCaml standard library3.17BSD-2-ClauseUsed by 76 other packages15 Jan 2026 -
containers-data
No documentation
3.17BSD-2-ClauseUsed by 8 other packages15 Jan 2026 -
3.12BSD-2-ClauseUsed by 0 other packages06 Jun 2023
-
A library for building content-security policiesv0.17.0MITUsed by 0 other packages26 May 2024
-
Cookie handling for OCaml and ReasonML0.1.8BSD-3-ClauseUsed by 1 other packages06 May 2020
-
HTTP cookies library for OCaml1.0.0MPL-2.0Used by 0 other packages05 Aug 2020
-
coq
No documentation
Compatibility metapackage for Coq after the Rocq renaming9.1.0LGPL-2.1-onlyUsed by 2 other packages14 Oct 2025 -
A Coq plugin for the catt proof-assistant1.0MITUsed by 0 other packages15 Oct 2024
-
Compatibility binaries for Coq after the Rocq renaming9.1.0LGPL-2.1-onlyUsed by 3 other packages14 Oct 2025
-
Language Server Protocol native server for Coq0.2.5+9.1LGPL-2.1-or-laterUsed by 0 other packages03 Dec 2025
-
coq-native
No documentation
Package flag enabling coq's native-compiler flag1LGPL-2.1-onlyUsed by 0 other packages07 Dec 2020 -
Compile a subset of OCaml to Coq2.5.3+4.14MITUsed by 0 other packages06 Jan 2023
-
Serialization library and protocol for machine interaction with the Coq proof assistant8.20.0+0.20.0LGPL-2.1-or-laterUsed by 0 other packages10 Sep 2024
-
Simplified OPAM shell for Coq1LGPL-2.1-onlyUsed by 0 other packages19 Nov 2015
-
Compatibility metapackage for Coq Stdlib library after the Rocq renaming9.0.0LGPL-2.1-onlyUsed by 2 other packages20 Mar 2025
-
coq-waterproof
No documentation
Coq proofs in a style that resembles non-mechanized mathematical proofs3.1.0+9.1LGPL-3.0-or-laterUsed by 0 other packages04 Dec 2025 -
The Coq Proof Assistant --- GTK3 IDE8.20.1LGPL-2.1-onlyUsed by 0 other packages20 Jan 2025
-
The Rocq Prover, XML protocol server9.1.0LGPL-2.1-onlyUsed by 2 other packages14 Oct 2025
-
Binding OCaml to cordova Javascript object.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-activity-indicator using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding to cordova-plugin-background-mode using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-battery-status using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-camera using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-clipboard using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-datepicker using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-device using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-device-motion using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-device-orientation using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Aug 2016
-
Binding OCaml to cordova-plugin-dialogs using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-email-composer using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-fcm using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages20 Oct 2016
-
Binding OCaml to cordova-plugin-file using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-file-opener using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-file-transfer using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-geolocation using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-globalization using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-image-picker using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-inappbrowser using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-insomnia using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016
-
Binding OCaml to cordova-plugin-keyboard using gen_js_api.1.0LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages22 Aug 2016