4527 search results for ""

Showing 551 - 600
  1. catapult-sqlite
    Documentation
    Sqlite-based backend for Catapult tracing
    simon@imandra.ai
    0.2
    MIT
    Used by 1 other packages
    12 Dec 2022
  2. 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
  3. 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
  4. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  5. cborl
    Documentation
    CBOR library
    pukkamustard <pukkamustard@posteo.net>
    0.1.0
    AGPL-3.0-or-later
    Used by 0 other packages
    04 Aug 2022
  6. 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
  7. 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
  8. cconv
    Documentation
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 3 other packages
    09 Mar 2019
  9. 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
  10. cdb
    Documentation
    CDB implementation in OCaml
    Dustin Sallings <dustin@spy.net>
    1.0.1
    MIT
    Used by 0 other packages
    09 Jul 2024
  11. 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
  12. 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
  13. 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
  14. cf
    Documentation
    OCaml bindings to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 2 other packages
    05 Apr 2022
  15. cf-lwt
    Documentation
    Lwt interface to macOS CoreFoundation
    David Sheets Thomas Gazagnaire
    0.5.0
    ISC
    Used by 3 other packages
    05 Apr 2022
  16. 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
  17. 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
  18. cfgen
    Documentation
    This package was renamed to bnfgen.
    Daniil Baturin <daniil@baturin.org>
    1.0
    MIT
    Used by 0 other packages
    03 Jan 2017
  19. 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
  20. 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
  21. cgi
    Documentation
    Library for writing CGIs
    Daniel de Rauglaudre Jean-Christophe FILLIATRE Cedric Cellier
    0.10
    Used by 0 other packages
    22 Feb 2020
  22. 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
  23. 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
  24. 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
  25. chamelon
    Documentation
    Subset of littlefs filesystem fulfilling MirageOS KV
    yomimono <maintenance@identity-function.com>
    0.1.2
    ISC
    Used by 1 other packages
    04 Aug 2022
  26. chamelon-unix
    Documentation
    Command-line Unix utilities for chamelon filesystems
    yomimono <maintenance@identity-function.com>
    0.1.2
    ISC
    Used by 0 other packages
    04 Aug 2022
  27. 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
  28. charInfo_width
    Documentation
    Determine column width for a character
    ZAN DoYe
    2.0.0
    MIT
    Used by 0 other packages
    09 Aug 2023
  29. charrua
    Documentation
    DHCP wire frame encoder and decoder
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    2.0.0
    ISC
    Used by 3 other packages
    12 Feb 2025
  30. charrua-client
    Documentation
    DHCP client implementation
    org:mirage
    Mindy Preston
    2.0.0
    ISC
    Used by 0 other packages
    12 Feb 2025
  31. charrua-server
    Documentation
    DHCP server
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    2.0.0
    ISC
    Used by 2 other packages
    12 Feb 2025
  32. charrua-unix
    Documentation
    Unix DHCP daemon
    Christiano F. Haesbaert <haesbaert@haesbaert.org>
    2.0.0
    ISC
    Used by 0 other packages
    12 Feb 2025
  33. charset
    Documentation
    Fast char sets
    Jeremy Yallop <yallop@gmail.com>
    0.2.0
    MIT
    Used by 0 other packages
    06 May 2025
  34. chartjs
    Documentation
    OCaml bindings for Chart.js
    Alexander Yanin
    0.2.2
    MIT
    Used by 4 other packages
    06 Sep 2019
  35. chartjs-annotation
    Documentation
    OCaml bindigns for Chart.js annotation plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  36. chartjs-colorschemes
    Documentation
    OCaml bindigns for Chart.js colorschemes plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  37. chartjs-datalabels
    Documentation
    OCaml bindigns for Chart.js datalabels plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  38. chartjs-streaming
    Documentation
    OCaml bindings for Chart.js streaming plugin
    Alexander Yanin
    0.2.2
    MIT
    Used by 0 other packages
    06 Sep 2019
  39. 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
  40. checked_oint
    Documentation
    An OCaml library for checked integer arithmetic
    hirrolot <hirrolot@gmail.com>
    1.0.0
    Unlicense
    Used by 0 other packages
    15 May 2025
  41. 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
  42. choice
    Documentation
    Choice monad, for easy backtracking
    Simon Cruanes <simon.cruanes.2007@m4x.org>
    0.4
    Used by 0 other packages
    11 Nov 2019
  43. chrome-trace
    Documentation
    Chrome trace event generation library
    Jane Street Group, LLC <opensource@janestreet.com>
    3.19.1
    MIT
    Used by 1 other packages
    12 Jun 2025
  44. cid
    Documentation
    Content-addressed Identifiers
    patrick@sirref.org
    0.1.0
    MIT
    Used by 1 other packages
    23 Mar 2023
  45. cinaps
    Documentation
    Trivial metaprogramming tool
    Jane Street Group, LLC
    v0.15.1
    MIT
    Used by 6 other packages
    12 Feb 2021
  46. clangml
    Documentation
    OCaml bindings for Clang API
    Thierry Martinez <thierry.martinez@inria.fr>
    4.8.0
    BSD-2-Clause
    Used by 2 other packages
    07 Sep 2022
  47. clangml-transforms
    Documentation
    Code transformers for clangml
    Thierry Martinez <thierry.martinez@inria.fr>
    0.26
    BSD-2-Clause
    Used by 1 other packages
    17 Jul 2020
  48. clap
    Documentation
    Command-Line Argument Parsing, imperative style with a consumption mechanism
    Romain Bardou
    0.3.0
    MIT
    Used by 3 other packages
    27 Mar 2023
  49. clarity-lang
    Documentation
    Clarity smart contract parser and AST
    Arto Bendiken <arto@bendiken.net>
    0.1.0
    Unlicense
    Used by 0 other packages
    03 Oct 2020
  50. class_group_vdf
    Documentation
    Verifiable Delay Functions bindings to Chia's VDF
    Nomadic Labs
    0.0.5
    MIT
    Used by 2 other packages
    18 Oct 2024
... 11 12 13 ... 91