512 search results for "tag:"C""

Showing 1 - 50
  1. 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
  2. alt-ergo
    Documentation
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 5 other packages
    18 Oct 2023
  3. alt-ergo-lib
    Documentation
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 3 other packages
    18 Oct 2023
  4. alt-ergo-parsers
    Documentation
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers
    2.5.2
    LicenseRef-OCamlpro-Non-Commercial; Apache-2.0
    Used by 2 other packages
    18 Oct 2023
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. atacama
    Documentation
    Modern, pure OCaml socket pool for Riot
    topics socket socket pool riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 0 other packages
    24 Nov 2023
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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 14 other packages
    09 Sep 2018
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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.8.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Nov 2023
  35. 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
  36. 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
  37. 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
  38. 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 84 other packages
    06 Oct 2021
  39. 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
  40. 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
  41. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.6
    ISC; BSD-3-Clause
    Used by 3 other packages
    30 Jul 2023
  42. bsbnative
    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
  43. 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
  44. 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
  45. cairo2-pango
    Documentation
    Interface between Cairo and Pango (for Gtk2)
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 0 other packages
    03 Oct 2022
  46. calculon
    Documentation
    Library for writing IRC bots in OCaml and a collection of plugins
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 1 other packages
    13 Jul 2022
  47. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  48. calculon-redis-lib
    Documentation
    A library to interact with Calculon via Redis
    irc bot redis
    c-cube
    0.6
    Used by 1 other packages
    17 Dec 2019
  49. calculon-web
    Documentation
    A collection of web plugins for Calculon
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 0 other packages
    13 Jul 2022
  50. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 25 other packages
    12 Oct 2022
1 2 3 ... 11