553 search results for "tag:"C""

Showing 201 - 250
  1. 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
  2. iostream
    Documentation
    Generic, composable IO input and output streams
    topics io channels streams
    Simon Cruanes
    0.2.2
    MIT
    Used by 2 other packages
    03 Apr 2024
  3. iostream-camlzip
    Documentation
    Stream (de)compression using deflate
    topics io channels streams zip deflate
    Simon Cruanes
    0.2.2
    MIT
    Used by 1 other packages
    03 Apr 2024
  4. 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
  5. 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
  6. 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 94 other packages
    24 May 2024
  7. 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
  8. 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
  9. 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
  10. 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
  11. jemalloc
    Documentation
    Bindings to jemalloc mallctl api
    org:ahrefs clib:jemalloc
    joris giovannangeli
    0.2
    MIT
    Used by 0 other packages
    16 Sep 2019
  12. jsonm
    Documentation
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 30 other packages
    08 Mar 2023
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. llvmgraph
    Documentation
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    21 Apr 2015
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. melange-react-dates

    No documentation

    Melange bindings for react-dates
    melange react-js org:ahrefs
    Ahrefs
    1.4.0
    MIT
    Used by 0 other packages
    24 Oct 2023
... 4 5 6 ... 12