567 search results for "tag:"C""

Showing 201 - 250
  1. interface-prime
    Documentation
    Interfaces for common design patterns
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 2 other packages
    15 Jan 2019
  2. interface-prime-lwt
    Documentation
    Interfaces for common design patterns (LWT implementation)
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    15 Jan 2019
  3. interval
    Documentation
    An interval arithmetic library for OCaml (meta package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 0 other packages
    09 Dec 2022
  4. interval_base
    Documentation
    An interval library for OCaml (base package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 3 other packages
    09 Dec 2022
  5. interval_crlibm
    Documentation
    An interval library for OCaml (crlibm version)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022
  6. interval_intel
    Documentation
    An interval library for OCaml
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    09 Dec 2022
  7. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.3
    MIT
    Used by 2 other packages
    16 Aug 2024
  8. iostream-camlzip
    Documentation
    Stream (de)compression using deflate
    topics io channels streams zip deflate
    Simon Cruanes
    0.3
    MIT
    Used by 1 other packages
    16 Aug 2024
  9. ip2location
    Documentation
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.1.0
    MIT
    Used by 0 other packages
    28 Apr 2023
  10. ip2locationio
    Documentation
    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.0.0
    MIT
    Used by 0 other packages
    20 Sep 2023
  11. ipaddr
    Documentation
    A library for manipulation of IP (and MAC) address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 98 other packages
    24 May 2024
  12. ipaddr-cstruct
    Documentation
    A library for manipulation of IP address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 2 other packages
    24 May 2024
  13. ipaddr-sexp
    Documentation
    A library for manipulation of IP address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 8 other packages
    24 May 2024
  14. iri
    Documentation
    Implementation of Internationalized Resource Identifiers (IRIs)
    iri web rfc3987
    Zoggy <zoggy@bat8.org>
    1.0.0
    LGPL-3.0-only
    Used by 3 other packages
    04 Feb 2024
  15. javascriptcore

    No documentation

    OCaml bindings to JavaScriptCore
    clib:javascriptcoregtk clib:c
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 0 other packages
    27 Oct 2016
  16. jemalloc
    Documentation
    Bindings to jemalloc mallctl api
    org:ahrefs clib:jemalloc
    joris giovannangeli
    0.2
    MIT
    Used by 0 other packages
    16 Sep 2019
  17. jsonm
    Documentation
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 31 other packages
    08 Mar 2023
  18. junit_alcotest
    Documentation
    JUnit XML reports generation for alcotest tests
    junit jenkins alcotest
    Louis Roché <louis@louisroche.net>
    2.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    13 Feb 2020
  19. kdl
    Documentation
    An implementation of the KDL document laguage
    configuration-language serialization-language
    github.com/Bannerets <comonoid@protonmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    03 Oct 2022
  20. lablgtk-extras

    No documentation

    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
    gtk utils configuration
    Maxence Guesdon
    1.6
    LGPL-2.0-or-later
    Used by 4 other packages
    10 Apr 2017
  21. labrys

    No documentation

    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    09 Aug 2018
  22. lacaml
    Documentation
    Lacaml - OCaml-bindings to BLAS and LAPACK
    clib:lapack clib:blas
    Egbert Ammicht <eammicht@lucent.com> Patrick Cousot <Patrick.Cousot@ens.fr> Sam Ehrlichman <sehrlichman@janestreet.com> Florent Hoareau <h.florent@gmail.com> Markus Mottl <markus.mottl@gmail.com> et al.
    11.0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    31 May 2023
  23. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    18 Oct 2023
  24. ldp
    Documentation
    Library to build LDP applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.2.0
    LGPL-3.0-only
    Used by 4 other packages
    01 Jun 2024
  25. leaflet
    Documentation
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> Léo Andrès <contact@ndrs.fr>
    0.1
    BSD-2-Clause
    Used by 0 other packages
    16 Jun 2022
  26. 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
  27. 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
  28. libra-tk

    No documentation

    Learning and inference with discrete probabilistic models
    clib:expat
    Daniel Lowd <lowd@cs.uoregon.edu> Amirmohammad (Pedram) Rooshenas <pedram@cs.uoregon.edu>
    1.1.2
    BSD-2-clause
    Used by 0 other packages
    17 Jun 2015
  29. 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
  30. libvhd

    No documentation

    OCaml bindings for the C library 'libvhd' which allows the manipulation
    org:mirage org:xapi-project
    Jon Ludlam
    0.9.0
    Used by 0 other packages
    21 Nov 2013
  31. libvirt

    No documentation

    Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
    org:mirage org:xapi-project
    Richard W.M. Jones
    0.6.1.4
    Used by 2 other packages
    11 Nov 2015
  32. 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
  33. 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
  34. lilis
    Documentation
    Library to Interpret Lindenmayer Systems
    lsystem grammar graphics logo
    Gabriel Radanne
    0.2.1
    MIT
    Used by 0 other packages
    25 Oct 2014
  35. 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
  36. llvmgraph
    Documentation
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  37. lmdb
    Documentation
    Bindings for LMDB, a fast in-file database with ACID transactions
    clib:lmdb database
    Gabriel Radanne Christopher Zimmermann <christopher@gmerlin.de>
    1.0
    MIT
    Used by 0 other packages
    22 Apr 2020
  38. logs-async
    Documentation
    Jane Street Async logging with Logs
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  39. logs-async-reporter
    Documentation
    Logs reporter compatible with Async
    async logs
    Vincent Bernardoff <vb@luminar.eu.org>
    1.3
    ISC
    Used by 1 other packages
    03 Oct 2023
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. macaddr
    Documentation
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.6.0
    ISC
    Used by 23 other packages
    24 May 2024
  47. 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.0
    ISC
    Used by 2 other packages
    24 May 2024
  48. 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
  49. 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
  50. 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 5 6 ... 12