706 search results for "tag:"R""

Showing 1 - 50
  1. Basic control of ANSI compliant terminals and the windows shell
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    19 Jul 2022
  2. 0.0.5
    MIT
    Used by 0 other packages
    22 Dec 2023
  3. Linux kernel AIO access library for ocaml
    0.0.3
    Used by 0 other packages
    21 Nov 2013
  4. 2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    21 Mar 2024
  5. The Alt-Ergo SMT prover library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    21 Mar 2024
  6. The Alt-Ergo SMT prover parser library
    2.5.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    21 Mar 2024
  7. The GUI for the Alt-Ergo SMT prover
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  8. annotation parser for external editors and IDEs
    1.1.0
    Used by 0 other packages
    20 Jun 2015
  9. 1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  10. Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  11. 1.0.0
    CeCILL-2.1
    Used by 0 other packages
    05 Oct 2023
  12. Alternative, compatible, OCaml standard library Sets and Maps
    0.8.1
    ISC
    Used by 11 other packages
    28 Sep 2016
  13. Alternative String module for OCaml
    0.8.5
    ISC
    Used by 132 other packages
    09 Aug 2020
  14. 0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  15. Async wrapper for the OCaml Graphics library
    0.7.0
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2019
  16. 0.0.4
    MIT
    Used by 0 other packages
    29 Dec 2023
  17. 0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  18. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  19. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  20. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  21. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  22. 0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  23. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  24. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  25. 0.0.5
    ISC; BSD-2-Clause
    Used by 3 other packages
    05 Jun 2023
  26. A collection of load balancing algorithms implemented in pure Ocaml
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  27. A property-based testing library with internal shrinking
    0.1
    MIT
    Used by 1 other packages
    19 Feb 2024
  28. BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  29. An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  30. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  31. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  32. OCaml bindings for batsat, a SAT solver in rust
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  33. 1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    09 Sep 2018
  34. A set of utils for dealing with `bigarrays` of `char`
    0.3
    Used by 10 other packages
    04 Feb 2020
  35. I/O functions for bigstrings using file descriptors and memory-maps
    0.3
    Used by 1 other packages
    04 Feb 2020
  36. A simple, efficient image-processing library
    0.6.0
    ISC
    Used by 3 other packages
    19 May 2022
  37. 0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  38. Bimage_gtk allows images to be displayed in GTK windows
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  39. Input/output for Bimage using OpenImageIO
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  40. A simple, efficient image-processing library (LWT bindings)
    0.4.0
    ISC
    Used by 0 other packages
    19 May 2021
  41. Bimage_gtk allows images to be displayed using SDL
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  42. Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  43. 0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  44. 0.8.2
    LGPL-2.1-or-later
    Used by 0 other packages
    11 Mar 2024
  45. 1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  46. 1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  47. 1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  48. SMT solver for AUFBVFP (C++ API)
    0.4.0
    MIT
    Used by 0 other packages
    08 Mar 2024
  49. A BlurHash encoder in OCaml
    0.1.0
    MIT
    Used by 0 other packages
    12 Sep 2023
  50. 0.2.0
    CC-BY-NC-4.0; Apache-2.0
    Used by 0 other packages
    05 Mar 2024