582 search results for "tag:"C""

Showing 151 - 200
  1. ez_opam_file
    Documentation
    Package ez_opam_file is a simple compatibility layer on top of opam-file-format
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    07 Dec 2020
  2. ez_search
    Documentation
    The ez_search library
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Mar 2022
  3. ez_subst
    Documentation
    Ez_subst is a simple module to perform string substitutions
    org:ocamlpro
    Fabrice LE FESSANT <fabrice.le_fessant@origin-labs.com>
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Mar 2022
  4. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  5. ezcurl-lwt
    Documentation
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.4
    MIT
    Used by 2 other packages
    27 Nov 2023
  6. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  7. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 58 other packages
    13 Nov 2021
  8. ezjsonm-lwt
    Documentation
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    13 Nov 2021
  9. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 6 other packages
    02 Feb 2019
  10. FrontC
    Documentation
    Parses C programs to an abstract syntax tree
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 3 other packages
    26 May 2021
  11. farmhash
    Documentation
    Bindings for Google's farmhash library
    org:ahrefs clib:farmhash
    Ahrefs <github@ahrefs.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    21 Jan 2022
  12. fast_bitvector
    Documentation
    A bitvector library
    bitvector bitset
    Stefan Muenzel <source@s.muenzel.net>
    0.1.2.2
    MPL-2.0
    Used by 0 other packages
    23 Jun 2025
  13. 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 0 other packages
    11 Apr 2022
  14. 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.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    19 Sep 2025
  15. fehu
    Documentation
    Reinforcement learning framework for OCaml
    reinforcement-learning machine-learning ai environments agents
    Thibaut Mattio
    1.0.0~alpha1
    ISC
    Used by 1 other packages
    02 Oct 2025
  16. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    30 Sep 2024
  17. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification 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.
    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  18. 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.4
    LGPL-2.1-only
    Used by 0 other packages
    10 Jul 2025
  19. 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.4
    LGPL-2.1-only
    Used by 0 other packages
    10 Jul 2025
  20. 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.9
    LGPL-2.1-only
    Used by 0 other packages
    22 Sep 2025
  21. 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.18
    LGPL-2.1-only
    Used by 0 other packages
    22 Sep 2025
  22. 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
  23. 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
  24. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
  25. fungi
    Documentation
    A pure functional graph library
    graph functional networks
    Harry K <harryk@harryk.dev>
    0.1.4
    MIT
    Used by 0 other packages
    08 May 2025
  26. 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
  27. 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
  28. 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
  29. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  30. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    24 Nov 2023
  31. 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
  32. getopts
    Documentation
    Analyse command line arguments
    cli system
    Michael Grünewald
    0.4.0
    CeCILL-B
    Used by 0 other packages
    04 Jul 2016
  33. gg

    No 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 10 other packages
    15 Feb 2022
  34. 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.5.0
    MIT
    Used by 4 other packages
    27 Aug 2025
  35. 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.5.0
    MIT
    Used by 2 other packages
    27 Aug 2025
  36. 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.5.0
    MIT
    Used by 0 other packages
    27 Aug 2025
  37. 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.5.0
    MIT
    Used by 4 other packages
    27 Aug 2025
  38. 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
  39. gl-legacy
    Documentation
    Legacy OpenGL immediate-mode bindings for OCaml
    plot 2D 3D graphics openGL
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.1.0
    ISC
    Used by 1 other packages
    04 Oct 2025
  40. 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
  41. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  42. 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
  43. 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.6.0
    MIT
    Used by 0 other packages
    05 Sep 2025
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 3 4 5 ... 12