566 search results for "tag:"C""

Showing 1 - 50
  1. adobe_font_metrics
    Documentation
    Parser for the Adobe Font Metrics format
    topics font afm
    Philippe Veber
    1.0.0
    CeCILL-C
    Used by 0 other packages
    20 Feb 2024
  2. aio
    Documentation
    Linux kernel AIO access library for ocaml
    org:mirage org:xapi-project
    0.0.3
    Used by 0 other packages
    21 Nov 2013
  3. alt-ergo
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    24 Sep 2024
  4. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    24 Sep 2024
  5. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers <alt-ergo@ocamlpro.com>
    2.6.0
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    24 Sep 2024
  6. altgr-ergo
    Documentation
    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.3
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-only
    Used by 1 other packages
    27 Apr 2023
  7. annot
    Documentation
    annotation parser for external editors and IDEs
    org:ocamllabs
    Christian Lindig Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    20 Jun 2015
  8. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  9. argsh
    Documentation
    Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    shell arg stdlib completion
    Gurvan Debaussart
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  10. arrakis
    Documentation
    A RISC-V simulator
    RISC-V simulator emulation RV32IM education debugger debug
    Valeran Maytié Gurvan Debaussart
    1.0.0
    CeCILL-2.1
    Used by 0 other packages
    05 Oct 2023
  11. arrayjit

    No documentation

    An array language compiler with multiple backends (CPU, CUDA), staged compilation
    deeplearning array jit CUDA
    Lukasz Stafiniak
    0.4.1
    BSD-2-Clause
    Used by 1 other packages
    17 Sep 2024
  12. async-uri
    Documentation
    Open Async (TLS) TCP connections with Uri.t
    async uri tls ssl
    Vincent Bernardoff <vb@luminar.eu.org>
    0.4.0
    ISC
    Used by 0 other packages
    03 Oct 2023
  13. async_graphics
    Documentation
    Async wrapper for the OCaml Graphics library
    async graphics
    Leo White <leo@lpw25.net>
    0.7.0
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Jun 2019
  14. atacama
    Documentation
    Modern, pure OCaml socket pool for Riot
    socket socket pool tcp riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.5
    MIT
    Used by 2 other packages
    16 Apr 2024
  15. autofonce
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 0 other packages
    16 Mar 2023
  16. autofonce_config
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  17. autofonce_core
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  18. autofonce_lib
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  19. autofonce_m4
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  20. autofonce_misc
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 3 other packages
    16 Mar 2023
  21. autofonce_patch
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    16 Mar 2023
  22. autofonce_share
    Documentation
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    16 Mar 2023
  23. balancer
    Documentation
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  24. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  25. bastet
    Documentation
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  26. bastet_async
    Documentation
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  27. bastet_lwt
    Documentation
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  28. bech32
    Documentation
    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    bitcoin
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    ISC
    Used by 0 other packages
    15 Apr 2020
  29. benchmark
    Documentation
    Benchmark running times of code
    benchmark
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley
    1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    09 Sep 2018
  30. bimage
    Documentation
    A simple, efficient image-processing library
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 3 other packages
    19 May 2022
  31. bimage-display
    Documentation
    Window system for Bimage
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  32. bimage-gtk
    Documentation
    Bimage_gtk allows images to be displayed in GTK windows
    image processing gtk
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  33. bimage-io
    Documentation
    Input/output for Bimage using OpenImageIO
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  34. bimage-lwt
    Documentation
    A simple, efficient image-processing library (LWT bindings)
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.4.0
    ISC
    Used by 0 other packages
    19 May 2021
  35. bimage-sdl
    Documentation
    Bimage_gtk allows images to be displayed using SDL
    image processing sdl
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    12 Apr 2020
  36. bimage-unix
    Documentation
    Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    19 May 2022
  37. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithm tree data_structure
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  38. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.9.1
    LGPL-2.1-or-later
    Used by 0 other packages
    21 May 2024
  39. bitgenerators
    Documentation
    PRNG bitgenerators for OCaml users
    scientific computing psuedo-random numbers
    Zolisa Bleki
    v0.1.0
    BSD-3-Clause
    Used by 0 other packages
    02 May 2024
  40. bitwuzla
    Documentation
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    24 Feb 2023
  41. bitwuzla-bin
    Documentation
    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    12 Jul 2021
  42. bitwuzla-c
    Documentation
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    24 Feb 2023
  43. bos
    Documentation
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 88 other packages
    06 Oct 2021
  44. broken
    Documentation
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 7 other packages
    07 Sep 2015
  45. brotli
    Documentation
    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    2.0.3
    BSD-3-Clause
    Used by 1 other packages
    21 Dec 2017
  46. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.7
    ISC; BSD-3-Clause
    Used by 5 other packages
    10 Sep 2024
  47. bsbnative

    No documentation

    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    ocaml bucklescript stdlib functional programming
    Hongbo Zhang <>
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  48. bytestring
    Documentation
    Efficient, immutable, pattern-matchable, UTF friendly byte strings
    bytes strings pattern matching binary strings rope transient iterators utf8
    Leandro Ostera <leandro@abstractmachines.dev> Felipe Oliveira Carvalho <felipekde@gmail.com>
    0.0.8
    MIT
    Used by 3 other packages
    05 Mar 2024
  49. cairo2
    Documentation
    Binding to Cairo, a 2D Vector Graphics Library
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 15 other packages
    03 Oct 2022
  50. cairo2-gtk
    Documentation
    Rendering Cairo on Gtk2 canvas
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 1 other packages
    03 Oct 2022
1 2 3 ... 12