566 search results for "tag:"C""

Showing 251 - 300
  1. 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.0
    ISC
    Used by 3 other packages
    24 May 2024
  2. maki

    No documentation

    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    26 Feb 2017
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. message-switch

    No documentation

    A simple store-and-forward message switch.
    org:xapi-project
    xen-api@lists.xen.org
    1.4.0
    Used by 1 other packages
    06 Jun 2017
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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.8.1
    ISC
    Used by 4 other packages
    15 Oct 2024
  16. 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
  17. mirage-clock-xen
    Documentation
    A Mirage-compatible Clock library for Xen
    org:mirage org:xapi-project
    The MirageOS team
    1.1
    Used by 2 other packages
    05 Jan 2016
  18. mirage-console
    Documentation
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 6 other packages
    02 Feb 2022
  19. 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 7 other packages
    27 Jun 2019
  20. mirage-console-unix
    Documentation
    Implementation of Mirage consoles for Unix
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 7 other packages
    02 Feb 2022
  21. mirage-console-xen
    Documentation
    Implementation of Mirage console for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 0 other packages
    02 Feb 2022
  22. mirage-console-xen-backend
    Documentation
    Implementation of Mirage console backend for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 1 other packages
    02 Feb 2022
  23. mirage-console-xen-cli

    No documentation

    Libraries for interacting with the Xen console command-line interface.
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.2.0
    ISC
    Used by 0 other packages
    23 Feb 2017
  24. mirage-console-xen-proto
    Documentation
    Implementation of Mirage console protocol for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 2 other packages
    02 Feb 2022
  25. mirage-http
    Documentation
    MirageOS-compatible implementation of the Cohttp interfaces
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    3.2.0
    ISC
    Used by 4 other packages
    25 Jul 2017
  26. mirage-net-direct

    No documentation

    TCP/IP networking stack in pure OCaml
    org:mirage org:xapi-project
    0.9.4
    Used by 1 other packages
    21 Nov 2013
  27. mirage-net-socket
    Documentation
    Socket-based networking stack compatible with Mirage
    org:mirage org:xapi-project
    0.9.4
    Used by 1 other packages
    21 Nov 2013
  28. 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.8.1
    ISC
    Used by 10 other packages
    15 Oct 2024
  29. 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.10.8
    ISC
    Used by 5 other packages
    22 Dec 2021
  30. mirage-types-lwt
    Documentation
    Lwt module type definitions for MirageOS applications
    org:mirage org:xapi-project
    The MirageOS team
    3.10.8
    ISC
    Used by 5 other packages
    22 Dec 2021
  31. mirror

    No documentation

    Mirror upstream OPAM package distribution files
    org:ocamllabs org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    0.0.1
    ISC
    Used by 0 other packages
    05 Aug 2015
  32. 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
  33. 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
  34. 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
  35. msgpck
    Documentation
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 5 other packages
    08 Jun 2021
  36. mtime
    Documentation
    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.1.0
    ISC
    Used by 66 other packages
    11 Sep 2024
  37. 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
  38. 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 4 other packages
    30 Sep 2022
  39. 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
  40. 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
  41. neural_nets_lib

    No documentation

    A from-scratch Deep Learning framework with an optimizing compiler, shape inference, concise syntax
    deeplearning tensor backprop jit gccjit CUDA
    Lukasz Stafiniak
    0.4.1
    BSD-2-Clause
    Used by 0 other packages
    17 Sep 2024
  42. 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
  43. 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 2 other packages
    05 Jul 2023
  44. 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
  45. 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 1 other packages
    30 Jul 2023
  46. 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
  47. OSCADml
    Documentation
    OCaml DSL for 3D solid modelling in OpenSCAD
    OCADml CAD OpenSCAD CSG
    Geoff deRosenroll<geoffderosenroll@gmail.com Masaki Nakano<namachan10777@gmail.com>
    0.2.3
    GPL-2.0-or-later
    Used by 1 other packages
    03 May 2023
  48. oasis-mirage

    No documentation

    This is a fork of OASIS with support for native output-obj.
    org:mirage org:xapi-project
    Sylvain Le Gall Anil Madhavapeddy
    0.3.0a
    Used by 3 other packages
    21 Nov 2013
  49. obi
    Documentation
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    13 Jun 2018
  50. ocaml-migrate-parsetree
    Documentation
    Convert OCaml parsetrees between different versions
    syntax org:ocamllabs
    Frédéric Bour <frederic.bour@lakaban.net> Jérémie Dimino <jeremie@dimino.org>
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    17 Jun 2022
... 5 6 7 ... 12