749 search results for "tag:"R""
-
0.6.1ISCUsed by 3 other packages15 Sep 2016
-
2.17ISCUsed by 8 other packages17 Sep 2024
-
websocket-async
No documentation
2.17ISCUsed by 1 other packages17 Sep 2024 -
2.12Used by 2 other packages04 Oct 2018
-
2.17ISCUsed by 8 other packages17 Sep 2024
-
why
No documentation
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 9 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Generic websocket implementation for OCaml0.1Used by 0 other packages18 Jan 2019
-
Wu-Manber approximate string matching0.1.0CC0-1.0Used by 0 other packages19 Jan 2022
-
Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml1.0.5BSD-2-ClauseUsed by 37 other packages29 Oct 2024
-
0.0.6MITUsed by 0 other packages13 Aug 2024
-
0.7Used by 2 other packages23 Dec 2020
-
xapi-forkexecd
No documentation
1.4.0Used by 3 other packages06 Jun 2017 -
xapi-idl
No documentation
1.14.0Used by 4 other packages06 Jun 2017 -
1.2.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages17 Jun 2022
-
xapi-libs-transitional
No documentation
1.0.1Used by 2 other packages15 Jun 2017 -
1.12.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages12 Dec 2023
-
xapi-rrd-transport
No documentation
1.2.0Used by 1 other packages15 Jun 2017 -
xapi-rrdd
No documentation
1.2.1Used by 0 other packages15 Jun 2017 -
xapi-stdext
No documentation
2.1.0Used by 7 other packages06 Jun 2017 -
xapi-tapctl
No documentation
1.0.1Used by 1 other packages06 Jun 2017 -
xapi-xenops
No documentation
1.0.1Used by 1 other packages15 Jun 2017 -
0.1.0MITUsed by 0 other packages24 Dec 2022
-
xe
No documentation
0.6.3Used by 0 other packages22 Dec 2014 -
xen-api-client
No documentation
Xen-API client library for remotely-controlling an XCP or XenServer host.0.9.14LGPL-2.0-or-laterUsed by 1 other packages06 Jun 2017 -
xen-block-driver
No documentation
Xen disk device drivers: both client ("frontend") and server ("backend")0.2.5Used by 1 other packages21 Nov 2013 -
xen-disk
No documentation
1.2.1Used by 0 other packages11 Feb 2014 -
Xen event channel interface for MirageOS2.1.0Used by 9 other packages13 Feb 2019
-
Xen event channel interface for Linux2.1.0Used by 1 other packages13 Feb 2019
-
xenbigarray
No documentation
1.0.0Used by 1 other packages21 Nov 2013 -
xenctrl
No documentation
Low-level Xen hypercall bindings.0.10.0LGPL-2.0-or-laterUsed by 9 other packages01 Aug 2017 -
Low-level libraries for connecting to a xenstore service on a xen host1.3.0LGPL-2.1-onlyUsed by 11 other packages22 Jan 2021
-
0.1.2GPL-3.0-onlyUsed by 0 other packages11 Oct 2024
-
1.4.0ISCUsed by 50 other packages09 Feb 2022
-
Parse and generate YAML 1.1/1.2 files3.2.0ISCUsed by 22 other packages06 Nov 2023
-
Parse and generate YAML 1.1 files3.2.0ISCUsed by 2 other packages06 Nov 2023
-
YOCaml Common Mark processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Markdown processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Formally verified sampling from discrete probability distributions0.9.3MITUsed by 0 other packages17 Feb 2024
-
0.1Used by 0 other packages19 Mar 2019
-
An Ocaml implementation of the Zarr V3 specification0.1.0BSD-3-ClauseUsed by 3 other packages07 Sep 2024
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
0.2.0ISCUsed by 0 other packages24 Jan 2024
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
0.4BSD-3-ClauseUsed by 0 other packages08 Apr 2024
-
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020