719 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.4
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    16 May 2024
  5. The Alt-Ergo SMT prover library
    2.5.4
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    16 May 2024
  6. The Alt-Ergo SMT prover parser library
    2.5.4
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    16 May 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. An array language compiler with multiple backends (CPU, Cuda), staged compilation
    0.3.3
    BSD-2-Clause
    Used by 1 other packages
    26 Apr 2024
  13. Alternative, compatible, OCaml standard library Sets and Maps
    0.8.1
    ISC
    Used by 11 other packages
    28 Sep 2016
  14. Alternative String module for OCaml
    0.8.5
    ISC
    Used by 132 other packages
    09 Aug 2020
  15. 0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  16. 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
  17. 0.0.5
    MIT
    Used by 2 other packages
    16 Apr 2024
  18. 0.8
    GPL-3.0-only
    Used by 0 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 1 other packages
    16 Mar 2023
  22. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  23. 0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  24. 0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  25. 0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  26. 0.0.5
    ISC; BSD-2-Clause
    Used by 3 other packages
    05 Jun 2023
  27. A collection of load balancing algorithms implemented in pure Ocaml
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  28. A property-based testing library with internal shrinking
    0.2
    MIT
    Used by 1 other packages
    16 May 2024
  29. 0.2
    MIT
    Used by 1 other packages
    16 May 2024
  30. BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  31. An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  32. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  33. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  34. OCaml bindings for batsat, a SAT solver in rust
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  35. 1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    09 Sep 2018
  36. A set of utils for dealing with `bigarrays` of `char`
    0.3
    Used by 10 other packages
    04 Feb 2020
  37. I/O functions for bigstrings using file descriptors and memory-maps
    0.3
    Used by 1 other packages
    04 Feb 2020
  38. A simple, efficient image-processing library
    0.6.0
    ISC
    Used by 3 other packages
    19 May 2022
  39. 0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  40. Bimage_gtk allows images to be displayed in GTK windows
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  41. Input/output for Bimage using OpenImageIO
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  42. A simple, efficient image-processing library (LWT bindings)
    0.4.0
    ISC
    Used by 0 other packages
    19 May 2021
  43. Bimage_gtk allows images to be displayed using SDL
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  44. 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
  45. 0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  46. 0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  47. v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    02 May 2024
  48. 1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  49. 1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  50. 1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023