640 search results for "tag:"R""
-
Basic control of ANSI compliant terminals and the windows shell0.8.5LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 19 other packages19 Jul 2022
-
0.0.3Used by 0 other packages21 Nov 2013
-
2.5.1LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages15 Sep 2023
-
2.5.1LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages15 Sep 2023
-
2.5.1LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages15 Sep 2023
-
2.4.3LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-onlyUsed by 1 other packages27 Apr 2023
-
1.1.0Used by 0 other packages20 Jun 2015
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Alternative, compatible, OCaml standard library Sets and Maps0.8.1ISCUsed by 11 other packages28 Sep 2016
-
0.8.5ISCUsed by 129 other packages09 Aug 2020
-
0.7.0LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Jun 2019
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 0 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 3 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
0.0.5ISC; BSD-2-ClauseUsed by 2 other packages05 Jun 2023
-
A collection of load balancing algorithms implemented in pure Ocaml1.0MITUsed by 0 other packages09 Aug 2018
-
0.3.1MITUsed by 0 other packages07 Sep 2023
-
An OCaml library for category theory and abstract algebra2.0.0BSD-3-ClauseUsed by 2 other packages20 Feb 2021
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
0.7MITUsed by 0 other packages29 Dec 2021
-
Benchmark running times of code1.6LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 14 other packages09 Sep 2018
-
A set of utils for dealing with `bigarrays` of `char`0.3Used by 9 other packages04 Feb 2020
-
I/O functions for bigstrings using file descriptors and memory-maps0.3Used by 1 other packages04 Feb 2020
-
0.6.0ISCUsed by 3 other packages19 May 2022
-
0.6.0ISCUsed by 0 other packages19 May 2022
-
Bimage_gtk allows images to be displayed in GTK windows0.2.1ISCUsed by 0 other packages12 Apr 2020
-
0.6.0ISCUsed by 0 other packages19 May 2022
-
A simple, efficient image-processing library (LWT bindings)0.4.0ISCUsed by 0 other packages19 May 2021
-
Bimage_gtk allows images to be displayed using SDL0.2.1ISCUsed by 0 other packages12 Apr 2020
-
Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image0.6.0ISCUsed by 0 other packages19 May 2022
-
Semantic analysis of binary executables0.8.0LGPL-2.1-or-laterUsed by 0 other packages14 Jul 2023
-
1.0.5MITUsed by 0 other packages24 Feb 2023
-
1.0.0MITUsed by 0 other packages12 Jul 2021
-
1.0.5MITUsed by 1 other packages24 Feb 2023
-
0.2.0MITUsed by 0 other packages01 Sep 2023
-
0.1.0MITUsed by 0 other packages12 Sep 2023
-
0.1.0CC-BY-NC-4.0; Apache-2.0Used by 0 other packages28 Mar 2023
-
Basic OS interaction for OCaml0.2.1ISCUsed by 83 other packages06 Oct 2021
-
0.2BSD-3-ClauseUsed by 0 other packages01 Oct 2017
-
Bindings to Google's Brotli compresion algorithm2.0.3BSD-3-ClauseUsed by 1 other packages21 Dec 2017
-
Browser programming toolkit for OCaml0.0.6ISC; BSD-3-ClauseUsed by 2 other packages30 Jul 2023
-
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt1.9.4SEE LICENSE IN LICENSEUsed by 0 other packages10 Oct 2017
-
Use Bubblewrap to sandbox executables0.1ISCUsed by 0 other packages06 Nov 2018
-
Detect root CA certificates from the operating system0.2.3ISCUsed by 9 other packages02 Sep 2022
-
3.92ISCUsed by 6 other packages04 Aug 2023
-
Binding to Cairo, a 2D Vector Graphics Library0.6.4LGPL-3.0Used by 14 other packages03 Oct 2022
-
Rendering Cairo on Gtk2 canvas0.6.4LGPL-3.0Used by 1 other packages03 Oct 2022
-
Interface between Cairo and Pango (for Gtk2)0.6.4LGPL-3.0Used by 0 other packages03 Oct 2022
-
Library for writing IRC bots in OCaml and a collection of plugins0.8MITUsed by 1 other packages13 Jul 2022
-
0.6Used by 0 other packages17 Dec 2019
-
0.6Used by 1 other packages17 Dec 2019
-
0.8MITUsed by 0 other packages13 Jul 2022
-
0.2.1ISCUsed by 0 other packages17 Dec 2022
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 25 other packages12 Oct 2022
-
Rewrites C programs to remove non-structured control-flow4.1.0LGPL-2.0-onlyUsed by 0 other packages26 May 2021
-
0.10.1MITUsed by 1 other packages12 Feb 2022
-
0.5MITUsed by 2 other packages23 Oct 2021
-
Wallpaper utility for Wayland0.1ISCUsed by 0 other packages13 Feb 2023
-
0.5Used by 4 other packages09 Mar 2019
-
0.5Used by 0 other packages09 Mar 2019
-
Query the state and contents of CDROM devices under Linux0.9.4Used by 0 other packages23 Dec 2020
-
0.3.3ISCUsed by 0 other packages17 Jul 2021
-
0.1BSD-3-ClauseUsed by 0 other packages29 Jul 2015
-
1.1.1ISCUsed by 7 other packages20 Oct 2016
-
1.5.0ISCUsed by 0 other packages16 Dec 2021
-
1.2.2Used by 1 other packages23 Jun 2020
-
1.2.2Used by 1 other packages23 Jun 2020
-
CommonMark parser and renderer for OCaml0.2.0ISCUsed by 0 other packages15 May 2023
-
Declarative definition of command line interfaces for OCaml1.2.0ISCUsed by 379 other packages12 Apr 2023
-
A collection of cmdliner terms to control OCaml runtime parameters1.0.0ISCUsed by 0 other packages04 Jul 2023
-
CoHTTP implementation for Unix and Windows using Lwt3.0.0ISCUsed by 2 other packages06 Nov 2020
-
CoHTTP implementation for Unix and Windows using Lwt3.0.0ISCUsed by 0 other packages06 Nov 2020
-
Simple, customizable, dependency free parser combinator library0.1MITUsed by 0 other packages11 Jul 2023
-
A network connection establishment library6.2.0ISCUsed by 17 other packages22 Feb 2023
-
A network connection establishment library for Async6.2.0ISCUsed by 4 other packages22 Feb 2023
-
A network connection establishment library using Async and OpenSSL3.0.0ISCUsed by 1 other packages20 Oct 2020
-
A network connection establishment library using Async and ocaml-tls3.0.0ISCUsed by 0 other packages20 Oct 2020
-
A portable network connection establishment library using Lwt6.2.0ISCUsed by 11 other packages22 Feb 2023
-
A portable network connection establishment library using Lwt and OpenSSL3.0.0ISCUsed by 1 other packages20 Oct 2020
-
A portable network connection establishment library using Lwt and ocaml-tls3.0.0ISCUsed by 1 other packages20 Oct 2020
-
A network connection establishment library for Lwt_unix6.2.0ISCUsed by 18 other packages22 Feb 2023
-
A network connection establishment library for MirageOS6.2.0ISCUsed by 7 other packages22 Feb 2023
-
A network connection establishment library3.0.0ISCUsed by 2 other packages20 Oct 2020
-
Virtual package relying on APE/Cosmopolitan1MITUsed by 1 other packages14 Oct 2022
-
Virtual package relying on opencc v0 (libopencc.so.1) installation1MITUsed by 1 other packages06 Dec 2018
-
Virtual package relying on opencc v1 (libopencc.so.2) installation1MITUsed by 1 other packages06 Dec 2018
-
Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation1MITUsed by 1 other packages06 Oct 2021
-
0.4.1CeCILL-BUsed by 1 other packages10 Oct 2015
-
2.2BSD-2-ClauseUsed by 1 other packages16 Mar 2023
-
A modular, clean and powerful extension of the OCaml standard library3.12BSD-2-ClauseUsed by 69 other packages06 Jun 2023
-
3.12BSD-2-ClauseUsed by 5 other packages06 Jun 2023
-
3.12BSD-2-ClauseUsed by 0 other packages06 Jun 2023
-
Compile a subset of OCaml to Coq2.5.3+4.14MITUsed by 0 other packages06 Jan 2023
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.0.1+8.17LGPL-3.0-or-laterUsed by 0 other packages29 Aug 2023
-
0.0.1MITUsed by 0 other packages27 Jul 2021
-
Caml on the Web2.4.0ISCUsed by 6 other packages13 Mar 2019
-
0.5.0ISCUsed by 0 other packages17 Jan 2020
-
Binding to CRlibm, a correctly rounded math lib0.5.1LGPL-3.0Used by 1 other packages11 Nov 2021
-
Convert a filesystem into a static OCaml module3.3.1ISCUsed by 23 other packages05 Aug 2022
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 233 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 2 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 28 other packages14 Mar 2023
-
S-expression serialisers for C-like structures6.2.0ISCUsed by 7 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 12 other packages14 Mar 2023
-
Parses a C program into Cabs AST and dumps as an XML document4.1.0LGPL-2.0-onlyUsed by 0 other packages26 May 2021
-
0.21.1MITUsed by 128 other packages21 Jul 2023
-
0.21.1MITUsed by 86 other packages21 Jul 2023
-
0.6BSD-2-ClauseUsed by 0 other packages13 Mar 2019
-
Delimited control primitives on top of effect handlers0.1ISCUsed by 0 other packages22 Jun 2023
-
0.3.0ISCUsed by 0 other packages11 Mar 2022
-
Published protocols for the authenticated message exchange0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
OCaml-ified interfaces for the ProScript Cryptography Library0.1.0Apache-2.0Used by 2 other packages17 Jun 2021
-
Mirage crypto backed implementation of the ProScript Cryptography Library0.1.0Apache-2.0Used by 1 other packages17 Jun 2021
-
ProScript to OCaml translator0.1.0Apache-2.0Used by 0 other packages17 Jun 2021
-
An OCaml library for interfacing with the Discord API0.2.5MITUsed by 0 other packages12 Feb 2019
-
DNS implementation using the Async concurrency framework1.1.3ISCUsed by 0 other packages15 Jul 2019
-
DNS implementation in portable Lwt1.1.3ISCUsed by 3 other packages15 Jul 2019
-
DNS implementation for Unix and Windows using Lwt_unix1.1.3ISCUsed by 0 other packages15 Jul 2019
-
0.3.0Used by 0 other packages28 Jan 2015
-
0.5.0ISCUsed by 1 other packages25 Jul 2017
-
Extract documentation from OCaml files1.2.1ISCUsed by 3 other packages07 Apr 2018
-
1.2.1ISCUsed by 1 other packages07 Apr 2018
-
XML printer and parser for Doc-Ock1.2.1ISCUsed by 1 other packages07 Apr 2018
-
0.6.1MITUsed by 0 other packages19 Apr 2023
-
Dockerfile eDSL in OCaml8.2.1ISCUsed by 5 other packages10 Apr 2023
-
Dockerfile eDSL -- generation support8.2.1ISCUsed by 1 other packages10 Apr 2023
-
Dockerfile eDSL -- opam support8.2.1ISCUsed by 1 other packages10 Apr 2023
-
A parser library for automated deduction0.9BSD-2-ClauseUsed by 7 other packages06 Jul 2023
-
A linter for logic languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A tool library for automated deduction tools0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
A LSP server for automated deduction languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
A model checker for automated deduction languages0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
A typechecker for automated deduction languages0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
0.1.0ISCUsed by 0 other packages27 Jan 2022
-
Tidy, feature-complete Web framework1.0.0~alpha5MITUsed by 15 other packages29 Mar 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
Binding to the Dropbox Remote API0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages13 Sep 2019
-
Binding to the Dropbox Remote API (Unix)0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Sep 2019
-
syntax extension which makes OCaml types and values easier to manipulate programmatically0.9.0ISCUsed by 2 other packages21 Nov 2013
-
A tool for the analysis of Electrum formal specifications.0.3.5-2GPL-3.0-or-laterUsed by 0 other packages29 Jul 2016
-
0.2.0BSD-2-ClauseUsed by 0 other packages07 Nov 2016
-
1.1.0LGPL-3.0-onlyUsed by 0 other packages15 Dec 2021
-
20190322GPL-2.0-onlyUsed by 0 other packages23 Mar 2019
-
0.0.4MITUsed by 0 other packages29 May 2023
-
Cosmopolitan toolchain for OCaml compiler0.0.4MITUsed by 1 other packages29 May 2023
-
OCaml Ethernet (IEEE 802.3) layer, used in MirageOS3.2.0ISCUsed by 10 other packages13 Mar 2023
-
Collection of thin bindings to various low-level system API0.4.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 7 other packages20 Jun 2022
-
Easy interface to Cmdliner à la Arg.parse with sub-commands0.4.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 6 other packages08 Mar 2022
-
Easy management of configuration files0.2.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages08 Mar 2022
-
Easy file manipulation (read_file, write_file, etc.)0.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 13 other packages08 Mar 2022
-
Package ez_opam_file is a simple compatibility layer on top of opam-file-format0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages07 Dec 2020
-
0.2.2LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages08 Mar 2022
-
Ez_subst is a simple module to perform string substitutions0.2.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages08 Mar 2022
-
0.2.3MITUsed by 4 other packages04 Apr 2023
-
0.2.3MITUsed by 1 other packages04 Apr 2023
-
1.3.0ISCUsed by 52 other packages13 Nov 2021
-
1.3.0ISCUsed by 0 other packages13 Nov 2021
-
1.1.0ISCUsed by 8 other packages02 Feb 2019
-
4.1.0LGPL-2.0-onlyUsed by 3 other packages26 May 2021
-
0.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages21 Jan 2022
-
Pure OCaml implementation of the FAT filesystem0.15.1ISCUsed by 2 other packages11 Apr 2022
-
Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets2.0.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 8 other packages07 Dec 2022
-
Primitives for Elliptic Curve Cryptography taken from Fiat0.2.3MITUsed by 2 other packages03 Nov 2020
-
OCaml Format pretty-printer combinators0.9.0ISCUsed by 331 other packages25 Oct 2021
-
1.1.0LGPL-2.1-onlyUsed by 0 other packages05 Apr 2022
-
0.7.3ISCUsed by 61 other packages08 Sep 2020
-
Platform dedicated to the analysis of source code written in C27.1LGPL-2.1-onlyUsed by 4 other packages19 Jul 2023
-
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018
-
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
Lannotate plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
-
Luncov plugin of Frama-C, part of the LTest suite0.2LGPL-2.1-onlyUsed by 0 other packages26 Aug 2022
-
MetAcsl plugin of Frama-C for writing pervasives properties0.5~betaLGPL-2.1-onlyUsed by 0 other packages17 May 2023
-
Frama-C plug-in based on Clang for parsing C++ files0.0.14LGPL-2.1-onlyUsed by 0 other packages06 Sep 2023
-
A DSL to organize functor applications4.4.0ISCUsed by 1 other packages21 Jun 2023
-
Runtime support library for functoria-generated code4.4.0ISCUsed by 3 other packages21 Jun 2023
-
0.2.0ISCUsed by 1 other packages28 Sep 2016
-
Iterators for OCaml, both restartable and consumable1.1BSD-2-ClauseUsed by 13 other packages16 Mar 2023
-
Genet is tool to build a continuous integration platform.0.6GPL-3.0-onlyUsed by 0 other packages21 Jan 2014
-
0.0.3Used by 0 other packages08 Jul 2018
-
Basic types for computer graphics in OCaml1.0.0ISCUsed by 11 other packages15 Feb 2022
-
GitHub APIv3 OCaml library4.4.1MITUsed by 6 other packages27 Jan 2022
-
GitHub APIv3 data library4.4.1MITUsed by 1 other packages27 Jan 2022
-
GitHub APIv3 JavaScript library4.4.1MITUsed by 0 other packages27 Jan 2022
-
GitHub APIv3 Unix library4.4.1MITUsed by 5 other packages27 Jan 2022
-
0.0.7ISCUsed by 0 other packages03 Sep 2016
-
0.03.53Used by 0 other packages04 Sep 2019
-
0.5Used by 0 other packages19 Feb 2020
-
2.0.2MITUsed by 0 other packages04 Jun 2023
-
Bindings for the ECMWF GRIB API0.11.0MITUsed by 0 other packages06 Sep 2015
-
0.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages12 Oct 2021
-
0.0.3MITUsed by 1 other packages23 Feb 2023
-
A tool to check and update source headers, using checksums0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exception