632 search results for "tag:"C""

Showing 251 - 300
  1. ldp
    Documentation
    Library to build LDP applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 7 other packages
    21 Jun 2025
  2. leaflet
    Documentation
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> pena <pena@kumikode.org>
    0.2
    BSD-2-Clause
    Used by 0 other packages
    06 Feb 2025
  3. leaves
    Documentation
    A collection of reusable components from Mint Tea
    tui terminal-ui apps components component library
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 0 other packages
    29 Dec 2023
  4. libc
    Documentation
    Raw definitions and bindings to platforms system libraries
    libc platform bindings raw bindings
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  5. libssh

    No documentation

    Bindings to libssh
    clib:ssh
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.1
    BSD-3-Clause
    Used by 1 other packages
    27 Sep 2015
  6. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  7. lichess_api
    Documentation
    Lichess API client for chess games
    chess lichess api http client games pgn
    ckaf borisnovoselov602@gmail.com
    1.0.1
    MIT
    Used by 0 other packages
    05 Sep 2025
  8. lilac
    Documentation
    Get the value of any field in a YAML file as a string
    library lib lilac yaml
    Shea Newton <lilac@shnewto.dev>
    0.1.1
    MIT
    Used by 0 other packages
    03 Feb 2021
  9. llopt
    Documentation
    Just a tiny LLVM-IR optimizer for testing stuff.
    llvm optimization test testing compiler
    Kate <kit.ty.kate@disroot.org>
    1.0.0
    MIT
    Used by 0 other packages
    12 Mar 2018
  10. llvmgraph
    Documentation
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  11. lmdb
    Documentation
    Bindings for LMDB, a fast in-file database with ACID transactions
    clib:lmdb database
    Gabriel Radanne Christopher Zimmermann <christopher@gmerlin.de>
    1.1.1
    MIT
    Used by 0 other packages
    23 Jan 2026
  12. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.3.3
    MIT
    Used by 7 other packages
    27 Jan 2026
  13. logs-async
    Documentation
    Jane Street Async logging with Logs
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.4
    ISC
    Used by 1 other packages
    14 Jul 2025
  14. logs-async-reporter
    Documentation
    Logs reporter compatible with Async
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.4
    ISC
    Used by 1 other packages
    14 Jul 2025
  15. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  16. loop
    Documentation
    Unbounded loops with continues and breaks
    topics control flow loop loops
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    13 Nov 2023
  17. lru-cache
    Documentation
    A simple implementation of a LRU cache
    cache
    Maxence Guesdon
    0.3.0
    BSD-3-Clause
    Used by 1 other packages
    04 Apr 2017
  18. luna

    No documentation

    Luhn validation library for OCaml
    luhn validation checksum algorithm
    Khalid B. me@khal1d.com
    0.1.0
    MIT
    Used by 0 other packages
    14 Jun 2026
  19. lutin
    Documentation
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  20. lwt-pipe
    Documentation
    An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    lwt pipe stream blocking
    Simon Cruanes
    0.1
    Used by 0 other packages
    30 Jan 2020
  21. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 4 other packages
    07 Sep 2023
  22. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.2
    ISC
    Used by 23 other packages
    20 Feb 2026
  23. macaddr-cstruct
    Documentation
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.2
    ISC
    Used by 2 other packages
    20 Feb 2026
  24. macaddr-sexp
    Documentation
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.2
    ISC
    Used by 3 other packages
    20 Feb 2026
  25. markdown_monolith
    Documentation
    Produce a single monolithic Markdown file by inlining linked files
    markdown documentation tools
    Will Thomas <30wthomas@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    28 Jan 2026
  26. mastodon-archive-viewer
    Documentation
    View your Mastodon archive offline
    mastodon ActivityPub
    Kate <kit.ty.kate@disroot.org>
    0.4.0
    MIT
    Used by 0 other packages
    28 Oct 2022
  27. matita

    No documentation

    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  28. matrix
    Documentation
    Fast, modern terminal toolkit for OCaml
    terminal ansi input grid rendering unicode pty vte
    Thibaut Mattio
    0.1.0
    ISC
    Used by 3 other packages
    28 Feb 2026
  29. matrix-eio
    Documentation
    Eio-based runtime for the Matrix terminal library
    terminal eio structured-concurrency
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    28 Feb 2026
  30. maxminddb
    Documentation
    Bindings to Maxmind.com's libmaxminddb library, like geoip2
    clib:maxminddb
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.6
    BSD-3-Clause
    Used by 1 other packages
    14 Sep 2015
  31. mc2
    Documentation
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    18 Nov 2020
  32. mechaml
    Documentation
    A functional web scraping library
    web scraping mechanize http client
    Yann Hamdaoui <yann.hamdaoui@gmail.com>
    1.2.1
    LGPL-3.0-or-later
    Used by 0 other packages
    06 May 2021
  33. mel-bastet
    Documentation
    A Melange-focused fork of Bastet for category theory and abstract algebra
    category theory abstract algebra algebra cats
    John Haley
    1.0.0
    BSD-3-Clause
    Used by 1 other packages
    04 Aug 2025
  34. melange-react-dates
    Documentation
    Melange bindings for react-dates
    melange react-js org:ahrefs
    Ahrefs
    1.4.0
    MIT
    Used by 0 other packages
    24 Oct 2023
  35. menhir-lsp

    No documentation

    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.3.5
    GPL-2.0-only
    Used by 0 other packages
    02 Jul 2026
  36. menhirformat

    No documentation

    Formatter for Menhir and ocamllex
    format menhir ocamllex
    Federico Dal Pio Luogo
    0.1.0
    GPL-2.0-only
    Used by 0 other packages
    02 Jul 2026
  37. mesh-triangle
    Documentation
    Binding to the triangle mesh generator
    clib:triangle
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  38. metal

    No documentation

    OCaml bindings to selected parts of Apple Metal, for general compute applications
    metal gpu compute apple
    Lukasz Stafiniak <lukstafi@gmail.com>
    0.1.1
    MIT
    Used by 1 other packages
    24 Jul 2025
  39. middleware
    Documentation
    Composable stacked functions, which can respond to inner calls
    middleware composition funciton
    Trent Small <sixstring982@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    24 Jan 2024
  40. mindstorm
    Documentation
    Drive Lego Mindstorms bricks from OCaml
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 1 other packages
    12 Nov 2021
  41. mindstorm-lwt
    Documentation
    Drive Lego Mindstorms bricks from OCaml (LWT version)
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 0 other packages
    12 Nov 2021
  42. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    14 Dec 2016
  43. mirage

    No documentation

    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.11.1
    ISC
    Used by 4 other packages
    04 Jul 2026
  44. mirage-block-xen
    Documentation
    MirageOS block driver for Xen that implements the blkfront/back protocol
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott Thomas Leonard
    2.1.3
    ISC
    Used by 0 other packages
    09 May 2024
  45. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 2 other packages
    27 Jun 2019
  46. mirage-console-lwt
    Documentation
    Implementation of Mirage consoles using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 1 other packages
    27 Jun 2019
  47. mirage-runtime

    No documentation

    The base MirageOS runtime library, part of every MirageOS unikernel
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.11.1
    ISC
    Used by 10 other packages
    04 Jul 2026
  48. mirage-types
    Documentation
    Module type definitions for MirageOS applications
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    3.6.0
    ISC
    Used by 4 other packages
    03 Oct 2019
  49. mirage-types-lwt
    Documentation
    Lwt module type definitions for MirageOS applications
    org:mirage org:xapi-project
    The MirageOS team
    3.6.0
    ISC
    Used by 7 other packages
    03 Oct 2019
  50. module-graph
    Documentation
    The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
... 5 6 7 ... 13