565 search results for "tag:"C""

Showing 251 - 300
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. lz4
    Documentation
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.3.0
    BSD-3-clause
    Used by 3 other packages
    07 Sep 2023
  7. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.1
    ISC
    Used by 21 other packages
    03 Aug 2025
  8. 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.1
    ISC
    Used by 2 other packages
    03 Aug 2025
  9. 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.1
    ISC
    Used by 3 other packages
    03 Aug 2025
  10. 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
  11. matita
    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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. mirage
    Documentation
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard et al.
    4.9.0
    ISC
    Used by 4 other packages
    05 Mar 2025
  24. 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
  25. 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
  26. 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
  27. mirage-runtime
    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.9.0
    ISC
    Used by 10 other packages
    05 Mar 2025
  28. 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
  29. 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
  30. 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
  31. monomorphic
    Documentation
    A small library used to shadow polymorphic operators (and functions) contained in the stdlib
    polymorphic compare equal equality monomorphic unsafe safe
    Kate <kit.ty.kate@disroot.org>
    2.1.0
    MIT
    Used by 1 other packages
    01 Nov 2022
  32. msat
    Documentation
    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 5 other packages
    24 Mar 2021
  33. msgpck
    Documentation
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 4 other packages
    08 Jun 2021
  34. mtime
    Documentation
    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.1.0
    ISC
    Used by 56 other packages
    11 Sep 2024
  35. multicont
    Documentation
    Multi-shot continuations in OCaml
    multi-shot continuations effect handlers
    Daniel Hillerström
    1.0.3
    MIT
    Used by 1 other packages
    16 May 2024
  36. nanoev
    Documentation
    Tiny event loop abstraction
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 3 other packages
    12 May 2025
  37. nanoev-picos
    Documentation
    Use nanoev from picos
    unix select async
    Simon Cruanes
    0.1
    MIT
    Used by 2 other packages
    12 May 2025
  38. nanoev-posix
    Documentation
    Use mtime+iomux (posix compliant) as a backend for nanoev
    unix select async iomux nanoev
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    12 May 2025
  39. nbd
    Documentation
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    30 Sep 2022
  40. nbd-tool
    Documentation
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    30 Sep 2022
  41. nbd-unix
    Documentation
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    30 Sep 2022
  42. neural_nets_lib
    Documentation
    A from-scratch Deep Learning framework with an optimizing compiler, shape inference, concise syntax
    deeplearning tensor backprop jit CUDA Metal
    Lukasz Stafiniak
    0.6.0
    BSD-2-Clause
    Used by 0 other packages
    20 Aug 2025
  43. niru
    Documentation
    A similarity file comparator
    file-comparator
    EruEri <ndiayeyves@gmail.com>
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    26 Apr 2024
  44. nlopt
    Documentation
    OCaml bindings to the NLOpt optimization library
    clib:nlopt
    Michał Kurcewicz <michal.kurcewicz@gmail.com> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    05 Jul 2023
  45. nomad
    Documentation
    A Web server for Trail applications
    riot trail http https websocket ws web server suri
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    24 Apr 2024
  46. note
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp org:erratique browser
    The note programmers
    0.0.3
    ISC
    Used by 0 other packages
    30 Jul 2023
  47. nx
    Documentation
    High-performance N-dimensional array library for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 6 other packages
    05 Jul 2025
  48. nx-datasets
    Documentation
    Common datasets for machine learning
    datasets machine-learning data-science image-classification regression
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 3 other packages
    05 Jul 2025
  49. nx-text
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha0
    ISC
    Used by 2 other packages
    05 Jul 2025
  50. OCADml
    Documentation
    Types and functions for building CAD packages in OCaml
    OCADml CAD
    Geoff deRosenroll<geoffderosenroll@gmail.com
    0.6.0
    GPL-2.0-or-later
    Used by 2 other packages
    01 May 2023
... 5 6 7 ... 12