566 search results for "tag:"C""

Showing 151 - 200
  1. fat-filesystem
    Documentation
    Pure OCaml implementation of the FAT filesystem
    org:mirage org:xapi-project
    Dave Scott Anil Madhavapeddy
    0.15.1
    ISC
    Used by 2 other packages
    11 Apr 2022
  2. fd-send-recv
    Documentation
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    07 Dec 2022
  3. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0~beta
    LGPL-2.1-only
    Used by 3 other packages
    12 Nov 2024
  4. frama-c-base

    No documentation

    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  5. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  6. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.3
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  7. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  8. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.8~beta
    LGPL-2.1-only
    Used by 0 other packages
    18 Nov 2024
  9. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.16
    LGPL-2.1-only
    Used by 0 other packages
    18 Sep 2024
  10. fred
    Documentation
    API binding for Federal Reserve Economic Data
    api binding federal reserve ecomonic data
    Geoffrey Borough
    0.1.0
    MIT
    Used by 0 other packages
    17 Apr 2024
  11. freetds
    Documentation
    Binding to the FreeTDS library
    clib:ct clib:sybdb
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Kenn Knowles <kenn.knowles@gmail.com>
    0.7
    LGPL-2.1-only
    Used by 1 other packages
    07 Feb 2019
  12. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
  13. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  14. gammu
    Documentation
    Cell phone and SIM card access
    SMS phone clib:gammu
    Christophe Troestler Noémie Meunier Pierre Hauweele
    0.9.4
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Feb 2018
  15. gasoline
    Documentation
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    04 Jul 2016
  16. gccjit
    Documentation
    Bindings to libgccjit, the GCC JIT compiler
    gcc jit gccjit
    Nicolas Ojeda Bar <n.oje.bar@gmail.com>
    0.3.2
    MIT
    Used by 1 other packages
    26 Jan 2024
  17. genet

    No documentation

    Genet is tool to build a continuous integration platform.
    continuous integration test execution chains rdf sparql
    Maxence Guesdon
    0.6
    GPL-3.0-only
    Used by 0 other packages
    21 Jan 2014
  18. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  19. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  20. getopt
    Documentation
    Parsing of command line arguments (similar to GNU GetOpt) for OCaml
    topics command-line
    Alain Frisch
    20230213
    MIT
    Used by 2 other packages
    16 Feb 2023
  21. getopts
    Documentation
    Analyse command line arguments
    cli system
    Michael Grünewald
    0.4.0
    CeCILL-B
    Used by 1 other packages
    04 Jul 2016
  22. gg
    Documentation
    Basic types for computer graphics in OCaml
    matrix vector color data-structure graphics org:erratique
    The gg programmers
    1.0.0
    ISC
    Used by 11 other packages
    15 Feb 2022
  23. github
    Documentation
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 6 other packages
    27 Jan 2022
  24. github-data
    Documentation
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 2 other packages
    27 Jan 2022
  25. github-jsoo
    Documentation
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 0 other packages
    27 Jan 2022
  26. github-unix
    Documentation
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 5 other packages
    27 Jan 2022
  27. gitlab_pipeline_notifier
    Documentation
    Watches GitLab pipelines and notifies on status updates using 'send-notify'
    topics gitlab
    Arvid Jakobsson
    0.1
    MIT
    Used by 0 other packages
    15 Sep 2022
  28. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  29. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  30. gluon
    Documentation
    A minimal, portable, and fast API on top of the operating-system's evented I/O API
    async io tcp udp multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 1 other packages
    12 Apr 2024
  31. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.4.0
    MIT
    Used by 0 other packages
    06 Aug 2024
  32. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    20 Feb 2024
  33. gradescope_submit
    Documentation
    A small script to submit to Gradescope via GitHub
    topics git gradescope https api
    Nikhil Mittu
    2.0.2
    MIT
    Used by 0 other packages
    04 Jun 2023
  34. graphql_jsoo_client
    Documentation
    GrpahQL over WebSocket client
    graphql jsoo websockets
    Hans Ole Rafaelsen
    0.1.1
    MIT
    Used by 0 other packages
    30 Apr 2024
  35. grib

    No documentation

    Bindings for the ECMWF GRIB API
    clib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib
    Hezekiah M. Carty
    0.11.0
    MIT
    Used by 0 other packages
    06 Sep 2015
  36. grpc
    Documentation
    A modular gRPC library
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 4 other packages
    25 Oct 2023
  37. grpc-async
    Documentation
    An Async implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  38. grpc-bench
    Documentation
    Benchmarking package for gRPC
    network rpc serialisation benchmark
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  39. grpc-examples
    Documentation
    Various grpc examples
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    25 Oct 2023
  40. grpc-lwt
    Documentation
    An Lwt implementation of gRPC
    network rpc serialisation
    Andrew Jeffery <dev@jeffas.io> Daniel Quernheim <quernd@users.noreply.github.com> Michael Bacarella <m@bacarella.com> Sven Anderson <sven@anderson.de> Tim McGilchrist <timmcgil@gmail.com> et al.
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    25 Oct 2023
  41. hdfs

    No documentation

    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Oct 2021
  42. hdr_histogram
    Documentation
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.4
    MIT
    Used by 1 other packages
    24 Jan 2024
  43. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    28 Apr 2023
  44. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 17 other packages
    05 Oct 2017
  45. hooke
    Documentation
    A spring-physics library for OCaml
    physics springs animation
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    14 Dec 2023
  46. hsluv
    Documentation
    HSLuv human-friendly color space implementation in OCaml
    color hsluv hpluv rgb xyz lch luv color space color conversion perceptually uniform colors
    Sabine Schmaltz
    0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  47. http_async
    Documentation
    Async library for HTTP/1.1 servers
    http-server http http1.1 async
    Anurag Soni <anurag@sonianurag.com>
    0.2.0
    MIT
    Used by 0 other packages
    10 Nov 2022
  48. hyper
    Documentation
    Web client with HTTP/1, HTTP/2, TLS, and WebSocket support
    http web client websocket http2 tls dream
    Anton Bachin
    1.0.0~alpha2
    MIT
    Used by 0 other packages
    29 Mar 2023
  49. i3ipc
    Documentation
    A pure OCaml implementation of the i3 IPC protocol
    i3 ipc window-manager
    Armaël Guéneau
    0.4
    MIT
    Used by 1 other packages
    16 May 2021
  50. imguiml

    No documentation

    ImGUI bindings to OCaml
    graphics imgui ctypes bindings
    Emilien Lemaire <emilien.lem@icloud.com>
    v1.90.6
    MIT
    Used by 0 other packages
    10 Jul 2024
... 3 4 5 ... 12