4643 search results for ""

Showing 551 - 600
  1. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.0.0
    Apache-2.0
    Used by 0 other packages
    10 Nov 2025
  2. catapult
    Documentation
    Tracing system based on the Catapult/TEF format
    simon@imandra.ai
    0.2
    MIT
    Used by 6 other packages
    12 Dec 2022
  3. catapult-client
    Documentation
    Network client for catapult, to be paired with catapult-daemon
    simon@imandra.ai
    0.2
    MIT
    Used by 0 other packages
    12 Dec 2022
  4. catapult-daemon
    Documentation
    Daemon for reliable multi-process logging with catapult
    simon@imandra.ai
    0.2
    MIT
    Used by 0 other packages
    12 Dec 2022
  5. catapult-file
    Documentation
    File logger for catapult
    simon@imandra.ai
    0.2
    MIT
    Used by 2 other packages
    12 Dec 2022
  6. catapult-sqlite
    Documentation
    Sqlite-based backend for Catapult tracing
    simon@imandra.ai
    0.2
    MIT
    Used by 1 other packages
    12 Dec 2022
  7. 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
  8. cb-check
    Documentation
    Json schema checker for current-bench
    Ambre Austen Suhamy <ambre@tarides.com>
    0.1
    Apache-2.0
    Used by 0 other packages
    13 Jun 2023
  9. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  10. cborl
    Documentation
    CBOR library
    pukkamustard <pukkamustard@posteo.net>
    0.1.0
    AGPL-3.0-or-later
    Used by 0 other packages
    04 Aug 2022
  11. cca

    No documentation

    A framework for differential source code analyses
    Codinuum <codinuum@me.com>
    0.7
    Apache-2.0
    Used by 0 other packages
    31 Mar 2023
  12. ccbg
    Documentation
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    redianthus <redopam@pm.me>
    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. cdb
    Documentation
    CDB implementation in OCaml
    Dustin Sallings <dustin@spy.net>
    1.0.1
    MIT
    Used by 0 other packages
    09 Jul 2024
  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. certify
    Documentation
    CLI utilities for simple X509 certificate manipulation
    org:mirage
    Mindy Preston
    0.3.3
    ISC
    Used by 0 other packages
    17 Jul 2021
  19. cf
    Documentation
    OCaml bindings to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 2 other packages
    05 Apr 2022
  20. cf-lwt
    Documentation
    Lwt interface to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 3 other packages
    05 Apr 2022
  21. cf_workers
    Documentation
    Melange bindings for Cloudflare Workers
    Adrian Parvin Ouano
    0.1.5
    LGPL-3.0-only
    Used by 0 other packages
    29 Jul 2025
  22. cfg
    Documentation
    CFG - Context-Free Grammars
    Markus Mottl <markus.mottl@gmail.com>
    2.3.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    25 Nov 2024
  23. cfgen
    Documentation
    This package was renamed to bnfgen.
    Daniil Baturin <daniil@baturin.org>
    1.0
    MIT
    Used by 0 other packages
    03 Jan 2017
  24. cfml
    Documentation
    The CFML program verification tool
    Arthur Charguéraud <arthur.chargueraud@inria.fr>
    20220112
    CC-BY-4.0
    Used by 0 other packages
    13 Jan 2022
  25. cfstream
    Documentation
    Stream operations in the style of Core's API
    Philippe Veber <philippe.veber@gmail.com> Ashish Agarwal <agarwal1975@gmail.com> Drup <drupyog@zoho.com>
    1.3.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    10 Feb 2023
  26. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 0 other packages
    22 Feb 2020
  27. 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
  28. chacha
    Documentation
    The Chacha functions, in OCaml
    Alfredo Beaumont <alfredo.beaumont@gmail.com>
    1.1.0
    BSD-2-Clause
    Used by 0 other packages
    05 Aug 2021
  29. chalk
    Documentation
    Composable and simple terminal highlighting package
    Nick Zuber <zuber.nicholas@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    08 Feb 2018
  30. chamelon
    Documentation
    Subset of littlefs filesystem fulfilling MirageOS KV
    yomimono <maintenance@identity-function.com>
    0.2.1
    ISC
    Used by 1 other packages
    09 Oct 2025
  31. chamelon-unix
    Documentation
    Command-line Unix utilities for chamelon filesystems
    yomimono <maintenance@identity-function.com>
    0.2.1
    ISC
    Used by 0 other packages
    09 Oct 2025
  32. chamo
    Documentation
    A kind of emacs-like editor, using OCaml instead of lisp
    Zoggy <zoggy@bat8.org>
    4.2.0
    GPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  33. charInfo_width
    Documentation
    Determine column width for a character
    ZAN DoYe
    2.0.0
    MIT
    Used by 0 other packages
    09 Aug 2023
  34. charrua

    No documentation

    DHCP wire frame encoder and decoder
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    3.0.0
    ISC
    Used by 3 other packages
    09 Dec 2025
  35. charrua-client

    No documentation

    DHCP client implementation
    org:mirage
    Mindy Preston
    3.0.0
    ISC
    Used by 0 other packages
    09 Dec 2025
  36. charrua-server

    No documentation

    DHCP server
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    3.0.0
    ISC
    Used by 2 other packages
    09 Dec 2025
  37. charrua-unix

    No documentation

    Unix DHCP daemon
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    3.0.0
    ISC
    Used by 0 other packages
    09 Dec 2025
  38. charset
    Documentation
    Fast char sets
    Jeremy Yallop <yallop@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    06 May 2025
  39. chartjs
    Documentation
    OCaml bindings for Chart.js
    Alexander Yanin
    0.2.2
    MIT
    Used by 4 other packages
    06 Sep 2019
  40. chartjs-annotation
    Documentation
    OCaml bindigns for Chart.js annotation plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  41. chartjs-colorschemes
    Documentation
    OCaml bindigns for Chart.js colorschemes plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  42. chartjs-datalabels
    Documentation
    OCaml bindigns for Chart.js datalabels plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  43. chartjs-streaming
    Documentation
    OCaml bindings for Chart.js streaming plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  44. chase
    Documentation
    Model finder for geometric theories using the chase
    John D. Ramsdell <ramsdell@mitre.org>
    1.5
    BSD-3-Clause
    Used by 0 other packages
    27 Jan 2023
  45. checked_oint
    Documentation
    An OCaml library for checked integer arithmetic
    hirrolot <hirrolot@gmail.com>
    1.0.1
    Unlicense
    Used by 1 other packages
    01 Dec 2025
  46. checkseum
    Documentation
    Adler-32, CRC32 and CRC32-C implementation in C and OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.2
    MIT
    Used by 14 other packages
    18 Sep 2023
  47. 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.1
    MIT
    Used by 0 other packages
    05 Sep 2025
  48. choice
    Documentation
    Choice monad, for easy backtracking
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.4
    Used by 0 other packages
    11 Nov 2019
  49. chrome-trace
    Documentation
    Chrome trace event generation library
    Jane Street Group, LLC <opensource@janestreet.com>
    3.20.2
    MIT
    Used by 1 other packages
    10 Sep 2025
  50. cid
    Documentation
    Content-addressed Identifiers
    patrick@sirref.org
    0.1.0
    MIT
    Used by 1 other packages
    23 Mar 2023
... 11 12 13 ... 93