565 search results for "tag:"C""

Showing 51 - 100
  1. 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
  2. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  3. 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
  4. 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
  5. calendar

    No 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 20 other packages
    12 Oct 2022
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 3 other packages
    09 Mar 2019
  14. 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
  15. 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
  16. 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
  17. 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
  18. chess_com_api
    Documentation
    Chess.com API client for chess games
    chess chess.com api http client games pgn
    ckaf borisnovoselov602@gmail.com
    1.0.0
    MIT
    Used by 0 other packages
    28 Aug 2025
  19. claudius

    No documentation

    A retro-style graphics library
    graphics rendering paletted
    3pleX-dev <afuadajoe@gmail.com> Adenuga Israel Abimbola <israelabimmbolaa@gmail.com> Michael Dales <michael@digitalflapjack.com> Seed Lu <dr.seed.lu@gmail.com> Shreya Pawaskar <shreya.pawaskar.main@gmail.com> et al.
    1.1.1
    ISC
    Used by 0 other packages
    02 Sep 2025
  20. 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
  21. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.3.0
    ISC
    Used by 10 other packages
    12 Dec 2023
  22. cmdlang
    Documentation
    Declarative Command-line Parsing for OCaml
    cli
    Mathieu Barbin
    0.0.9
    MIT
    Used by 8 other packages
    04 Dec 2024
  23. cmdlang-stdlib-runner
    Documentation
    A basic execution runner for cmdlang based on stdlib.arg
    cli cmdlang stdlib.arg
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  24. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  25. cmdlang-to-climate
    Documentation
    Convert cmdlang Parsers to climate
    cli cmdlang climate
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  26. cmdlang-to-cmdliner
    Documentation
    Convert cmdlang Parsers to cmdliner
    cli cmdlang cmdliner
    Mathieu Barbin
    0.0.9
    MIT
    Used by 1 other packages
    04 Dec 2024
  27. cmdliner
    Documentation
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    1.3.0
    ISC
    Used by 368 other packages
    23 May 2024
  28. 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
  29. 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
  30. 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
  31. compsort
    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
  32. 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
  33. 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
  34. 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
  35. 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
  36. configuration
    Documentation
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 0 other packages
    10 Oct 2015
  37. 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
  38. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.16
    BSD-2-Clause
    Used by 71 other packages
    27 May 2025
  39. containers-data
    Documentation
    A set of advanced datatypes for containers
    containers RAL function vector okasaki
    c-cube
    3.16
    BSD-2-Clause
    Used by 7 other packages
    27 May 2025
  40. 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
  41. 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
  42. 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
  43. coq-waterproof

    No 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.
    3.0.0+9.0
    LGPL-3.0-or-later
    Used by 0 other packages
    28 Aug 2025
  44. 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
  45. 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
  46. 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
  47. 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 5 other packages
    12 Dec 2023
  48. 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
  49. crs
    Documentation
    A tool for managing code review comments embedded in source code
    code-review
    Mathieu Barbin
    0.0.20250705
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    10 Jul 2025
  50. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    4.0.0
    ISC
    Used by 28 other packages
    21 Feb 2025
1 2 3 ... 12