749 search results for "tag:"R""
Showing 1 - 50
-
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.6MITUsed by 0 other packages13 Aug 2024
-
0.0.3Used by 0 other packages21 Nov 2013
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages24 Sep 2024
-
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
-
Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module0.1.0MITUsed by 0 other packages13 Dec 2023
-
A RISC-V simulator1.0.0CeCILL-2.1Used by 0 other packages05 Oct 2023
-
arrayjit
No documentation
An array language compiler with multiple backends (CPU, CUDA), staged compilation0.4.1BSD-2-ClauseUsed by 1 other packages17 Sep 2024 -
ascend
No documentation
0.1.2-1AGPL-3.0-onlyUsed by 0 other packages09 Oct 2024 -
Alternative, compatible, OCaml standard library Sets and Maps0.8.1ISCUsed by 11 other packages28 Sep 2016
-
0.8.5ISCUsed by 135 other packages09 Aug 2020
-
Open Async (TLS) TCP connections with Uri.t0.4.0ISCUsed by 0 other packages03 Oct 2023
-
0.7.0LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Jun 2019
-
Modern, pure OCaml socket pool for Riot0.0.5MITUsed by 2 other packages16 Apr 2024
-
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 4 other packages05 Jun 2023
-
A collection of load balancing algorithms implemented in pure Ocaml1.0MITUsed by 0 other packages09 Aug 2018
-
A property-based testing library with internal shrinking0.3MITUsed by 1 other packages28 Oct 2024
-
A PPX deriving generators for OCaml types0.3MITUsed by 1 other packages28 Oct 2024
-
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 15 other packages09 Sep 2018
-
A set of utils for dealing with `bigarrays` of `char`0.3Used by 10 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
-
0.1MITUsed by 0 other packages17 Feb 2024
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
v0.1.0BSD-3-ClauseUsed by 0 other packages02 May 2024
-
1.0.5MITUsed by 0 other packages24 Feb 2023
-
1.0.0MITUsed by 0 other packages12 Jul 2021