567 search results for "tag:"C""

Showing 251 - 300
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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.7.0
    ISC
    Used by 4 other packages
    05 Sep 2024
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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.7.0
    ISC
    Used by 10 other packages
    05 Sep 2024
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. ocaml-migrate-parsetree-ocamlbuild
    Documentation
    Ocamlbuild plugin for ocaml-migrate-parsetree
    syntax org:ocamllabs
    Jérémie Dimino <jeremie@dimino.org>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    11 Jan 2019
  49. ocaml-protoc
    Documentation
    Pure OCaml compiler for .proto files
    protoc protobuf codegen
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.1.1
    MIT
    Used by 5 other packages
    22 Jul 2024
  50. ocaml-r
    Documentation
    Objective Caml bindings for the R interpreter
    R statistics
    Guillaume Yzyquel Maxence Guesdon Philippe Veber
    0.6.0
    GPL-3.0-only
    Used by 0 other packages
    19 Jan 2023
... 5 6 7 ... 12