735 search results for "tag:"R""
Showing 301 - 350
-
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer0.1Used by 0 other packages30 Jan 2020
-
Library to attach names and logs to Lwt threads (for debug/trace/objsize)0.1Used by 0 other packages01 Jun 2016
-
Bindings to the LZ4 compression algorithm1.3.0BSD-3-clauseUsed by 3 other packages07 Sep 2023
-
0.0.3UNLICENSEUsed by 0 other packages07 Aug 2024
-
A library for manipulation of MAC address representations5.6.1ISCUsed by 21 other packages03 Aug 2025
-
A library for manipulation of MAC address representations using Cstructs5.6.1ISCUsed by 2 other packages03 Aug 2025
-
A library for manipulation of MAC address representations using sexp5.6.1ISCUsed by 3 other packages03 Aug 2025
-
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023
-
A functional web scraping library1.2.1LGPL-3.0-or-laterUsed by 0 other packages06 May 2021
-
A Melange-focused fork of Bastet for category theory and abstract algebra1.0.0BSD-3-ClauseUsed by 1 other packages04 Aug 2025
-
A minimal test framework for Melange0.1.0MITUsed by 0 other packages08 Mar 2024
-
0.4.0MITUsed by 1 other packages07 Jun 2024
-
Melange bindings for Numeral0.0.1MITUsed by 0 other packages20 Sep 2023
-
1.4.0MITUsed by 0 other packages24 Oct 2023
-
Melange bindings for recharts4.0.3MITUsed by 0 other packages07 Jun 2024
-
0.2.2MITUsed by 0 other packages24 Jul 2023
-
0.9.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages19 Mar 2019
-
0.9.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Mar 2019
-
0.9.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Mar 2019
-
Composable stacked functions, which can respond to inner calls0.0.1MITUsed by 0 other packages24 Jan 2024
-
Drive Lego Mindstorms bricks from OCaml0.8.1LGPL-2.1Used by 1 other packages12 Nov 2021
-
Drive Lego Mindstorms bricks from OCaml (LWT version)0.8.1LGPL-2.1Used by 0 other packages12 Nov 2021
-
1.0.0ISCUsed by 0 other packages14 Dec 2016
-
Bindings to the SAT solver Minisat, with the solver included.0.6BSD-2-clauseUsed by 2 other packages14 Jun 2023
-
A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea0.0.2MITUsed by 1 other packages29 Dec 2023
-
The MirageOS library operating system4.10.1ISCUsed by 4 other packages09 Sep 2025
-
3.0.2ISCUsed by 22 other packages29 Nov 2022
-
3.0.2ISCUsed by 6 other packages29 Nov 2022
-
1.2.0ISCUsed by 6 other packages04 Feb 2019
-
0.6ISCUsed by 2 other packages21 May 2025
-
0.8.1ISCUsed by 1 other packages29 Nov 2022
-
Unikraft implementation of MirageOS block interface1.0.0BSD-3-ClauseUsed by 0 other packages29 Jun 2025
-
2.14.2ISCUsed by 11 other packages15 Sep 2022
-
MirageOS block driver for Xen that implements the blkfront/back protocol2.1.3ISCUsed by 0 other packages09 May 2024
-
Boot time arguments for MirageOS1.0.1ISCUsed by 0 other packages22 May 2024
-
Buffered channels for MirageOS FLOW types5.0.0ISCUsed by 7 other packages02 Jun 2025
-
Buffered Lwt channels for MirageOS FLOW types3.2.0ISCUsed by 4 other packages07 Feb 2019
-
Libraries and module types for portable clocks4.2.0ISCUsed by 37 other packages27 Mar 2022
-
Lwt-based implementation of the MirageOS Clock interface2.0.0ISCUsed by 3 other packages02 Jan 2019
-
Unix-based implementation for the MirageOS Clock interface4.2.0ISCUsed by 21 other packages27 Mar 2022
-
mirage-conduit
No documentation
MirageOS interface to network connections3.2.0ISCUsed by 2 other packages16 Jul 2019 -
2.4.3ISCUsed by 2 other packages27 Jun 2019
-
Implementation of Mirage consoles using Lwt2.4.3ISCUsed by 1 other packages27 Jun 2019
-
Elliptic Curve Cryptography with primitives taken from Fiat2.0.2MITUsed by 7 other packages25 Aug 2025
-
Abstract devices for MirageOS2.0.0ISCUsed by 2 other packages21 Oct 2019
-
5.0.0ISCUsed by 33 other packages06 Feb 2025
-
Flow implementations and combinators for MirageOS specialized to lwt5.0.0ISCUsed by 4 other packages06 Feb 2025
-
Flow implementations and combinators for MirageOS specialized to lwt1.6.0ISCUsed by 10 other packages24 Apr 2019
-
5.0.0ISCUsed by 1 other packages06 Feb 2025
-
4.0.0ISCUsed by 2 other packages15 Nov 2021