566 search results for "tag:"C""

Showing 51 - 100
  1. 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.5
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2024
  2. 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
  3. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  4. 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
  5. 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
  6. 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
  7. calipso
    Documentation
    Rewrites C programs to remove non-structured control-flow
    FrontC C analysis
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  8. camlkit

    No documentation

    Higher-level wrappers for Cocoa APIs
    objc cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 0 other packages
    05 Nov 2024
  9. camlkit-base

    No documentation

    OCaml bindings to the Objective-C runtime and some base frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 2 other packages
    05 Nov 2024
  10. camlkit-gui

    No documentation

    OCaml bindings to AppKit and other gui frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 1 other packages
    05 Nov 2024
  11. castore
    Documentation
    A portable CA Store with a global .crt and .pem files
    https tls cert crt pem ca ca store
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    27 Dec 2023
  12. catt
    Documentation
    An infinity-categorical coherence typechecker
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 1 other packages
    15 Oct 2024
  13. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    13 Feb 2023
  14. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    09 Mar 2019
  15. cconv-ppx
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    09 Mar 2019
  16. cdrom
    Documentation
    Query the state and contents of CDROM devices under Linux
    org:xapi-project
    Dave Scott <dave@recoil.org>
    0.9.4
    Used by 0 other packages
    23 Dec 2020
  17. ceph
    Documentation
    Bindings to libcephfs
    org:ahrefs clib:stdc clib:cephfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20240106
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Aug 2024
  18. cgroups
    Documentation
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    29 Jul 2015
  19. cll
    Documentation
    Mutable circular doubly linked list
    circular linked list
    Rob Anderson <opensource@robanderson.dev>
    0.2.0
    MIT
    Used by 0 other packages
    13 Nov 2023
  20. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.3.0
    ISC
    Used by 5 other packages
    12 Dec 2023
  21. cmdliner
    Documentation
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    1.3.0
    ISC
    Used by 418 other packages
    23 May 2024
  22. cohttp-lwt-unix-nossl

    No documentation

    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    3.0.0
    ISC
    Used by 2 other packages
    06 Nov 2020
  23. cohttp-lwt-unix-ssl

    No documentation

    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott et al.
    3.0.0
    ISC
    Used by 0 other packages
    06 Nov 2020
  24. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  25. combic
    Documentation
    A lightweight library for combinatory logic
    topics combinatory logic functional programming lambda calculus ocaml
    zandacw
    1.0.0
    MIT
    Used by 0 other packages
    10 Apr 2024
  26. combinaml
    Documentation
    Simple, customizable, dependency free parser combinator library
    topics parser combinator
    Travis Staloch
    0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  27. compsort

    No documentation

    Reorder files in an archive to improve its compression
    compression
    Adrien Nader <adrien@notk.org>
    0.9.2
    GPL-3.0-or-later
    Used by 0 other packages
    11 Oct 2024
  28. conf-opencc0

    No documentation

    Virtual package relying on opencc v0 (libopencc.so.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  29. conf-opencc1

    No documentation

    Virtual package relying on opencc v1 (libopencc.so.2) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Dec 2018
  30. conf-opencc1_1
    Documentation
    Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    06 Oct 2021
  31. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  32. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    10 Oct 2015
  33. conjury
    Documentation
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    16 Mar 2023
  34. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.15
    BSD-2-Clause
    Used by 75 other packages
    19 Nov 2024
  35. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.15
    BSD-2-Clause
    Used by 7 other packages
    19 Nov 2024
  36. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  37. coq-catt-plugin
    Documentation
    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    15 Oct 2024
  38. coq-of-ocaml
    Documentation
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    06 Jan 2023
  39. coq-waterproof
    Documentation
    Coq proofs in a style that resembles non-mechanized mathematical proofs
    keyword:mathematics education category:Mathematics/Education date:2023-11-04 logpath:Waterproof
    Jelle Wemmenhove Pim Otte Balthazar Pathiachvili Cosmin Manea Lulof Pirée et al.
    2.2.0+8.17
    LGPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2024
  40. core-and-more
    Documentation
    Includes core, and some more useful extensions
    stdlib containers
    Anders Miltner
    0.0.1
    MIT
    Used by 0 other packages
    27 Jul 2021
  41. corecount
    Documentation
    Get count of cores on machine
    clib:stdc
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    15 Dec 2016
  42. corosync
    Documentation
    OCaml Corosync binding
    corosync binding
    Shuntian Liu
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Aug 2024
  43. cow
    Documentation
    Caml on the Web
    org:mirage org:xapi-project www html xml css json markdown
    Anil Madhavapeddy Thomas Gazagnaire David Sheets Rudi Grinberg Timothy Bourke
    2.5.0
    ISC
    Used by 6 other packages
    12 Dec 2023
  44. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  45. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    3.3.1
    ISC
    Used by 30 other packages
    05 Aug 2022
  46. cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 247 other packages
    14 Mar 2023
  47. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 2 other packages
    14 Mar 2023
  48. cstruct-lwt
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 30 other packages
    14 Mar 2023
  49. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 7 other packages
    14 Mar 2023
  50. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 12 other packages
    14 Mar 2023
1 2 3 ... 12