554 search results for "tag:"C""

Showing 1 - 50
  1. adobe_font_metrics

    No documentation

    Parser for the Adobe Font Metrics format
    1.0.0
    CeCILL-C
    Used by 0 other packages
    20 Feb 2024
  2. aio

    No documentation

    Linux kernel AIO access library for ocaml
    0.0.3
    Used by 0 other packages
    21 Nov 2013
  3. alt-ergo

    No documentation

    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  4. alt-ergo-lib

    No documentation

    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    14 May 2025
  5. alt-ergo-parsers

    No documentation

    2.6.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    14 May 2025
  6. altgr-ergo

    No documentation

    The GUI for the Alt-Ergo SMT prover
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 0 other packages
    27 Apr 2023
  7. archsat

    No documentation

    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  8. argsh

    No documentation

    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
  9. arrakis

    No documentation

    1.1.1
    CeCILL-2.1
    Used by 0 other packages
    22 Jun 2025
  10. arrayjit

    No documentation

    An array language compiler with multiple backends (CPU, CUDA), staged compilation
    0.5.2
    BSD-2-Clause
    Used by 1 other packages
    08 Apr 2025
  11. async-uri

    No documentation

    0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  12. async_graphics

    No documentation

    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
  13. atacama

    No documentation

    0.0.5
    MIT
    Used by 2 other packages
    16 Apr 2024
  14. autofonce

    No documentation

    0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  15. autofonce_config

    No documentation

    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  16. autofonce_core

    No documentation

    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  17. autofonce_lib

    No documentation

    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  18. autofonce_m4

    No documentation

    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  19. autofonce_misc

    No documentation

    0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  20. autofonce_patch

    No documentation

    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  21. autofonce_share

    No documentation

    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  22. balancer

    No documentation

    A collection of load balancing algorithms implemented in pure Ocaml
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  23. bare_encoding

    No documentation

    BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  24. bastet

    No documentation

    An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  25. bastet_async

    No documentation

    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  26. bastet_lwt

    No documentation

    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  27. bech32

    No documentation

    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    0.1
    ISC
    Used by 0 other packages
    15 Apr 2020
  28. bimage

    No documentation

    A simple, efficient image-processing library
    0.6.0
    ISC
    Used by 3 other packages
    19 May 2022
  29. bimage-display

    No documentation

    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  30. bimage-gtk

    No documentation

    Bimage_gtk allows images to be displayed in GTK windows
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  31. bimage-io

    No documentation

    Input/output for Bimage using OpenImageIO
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  32. bimage-lwt

    No documentation

    A simple, efficient image-processing library (LWT bindings)
    0.4.0
    ISC
    Used by 0 other packages
    19 May 2021
  33. bimage-sdl

    No documentation

    Bimage_gtk allows images to be displayed using SDL
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  34. bimage-unix

    No documentation

    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
  35. bin_tree

    No documentation

    0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  36. binsec

    No documentation

    0.10.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2025
  37. bitgenerators

    No documentation

    v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    02 May 2024
  38. bitwuzla

    No documentation

    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  39. bitwuzla-bin

    No documentation

    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  40. bitwuzla-c

    No documentation

    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  41. bos

    No documentation

    0.2.1
    ISC
    Used by 88 other packages
    06 Oct 2021
  42. broken

    No documentation

    The Broken package is a simple testsuite framework.
    0.4.2
    CeCILL-B
    Used by 5 other packages
    07 Sep 2015
  43. brotli

    No documentation

    1.3.0
    BSD-3-Clause
    Used by 1 other packages
    23 Aug 2017
  44. brr

    No documentation

    0.0.7
    ISC; BSD-3-Clause
    Used by 7 other packages
    10 Sep 2024
  45. bytesrw

    No documentation

    0.1.0
    ISC
    Used by 1 other packages
    29 Nov 2024
  46. bytestring

    No documentation

    0.0.8
    MIT
    Used by 3 other packages
    05 Mar 2024
  47. cairo2

    No documentation

    0.6.5
    LGPL-3.0-or-later
    Used by 15 other packages
    12 Nov 2024
  48. cairo2-gtk

    No documentation

    0.6.5
    LGPL-3.0-or-later
    Used by 1 other packages
    12 Nov 2024
  49. cairo2-pango

    No documentation

    0.6.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  50. calculon

    No documentation

    Library for writing IRC bots in OCaml and a collection of plugins
    0.8
    MIT
    Used by 1 other packages
    13 Jul 2022