630 search results for "tag:"C""

Showing 101 - 150
  1. cow
    Documentation
    Caml on the Web
    org:mirage org:xapi-project www html xml css json markdown
    Anil Madhavapeddy Thomas Gazagnaire David Sheets Rudi Grinberg Timothy Bourke
    2.5.0
    ISC
    Used by 5 other packages
    12 Dec 2023
  2. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  3. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    07 Mar 2026
  4. crunch
    Documentation
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    4.0.0
    ISC
    Used by 29 other packages
    21 Feb 2025
  5. cstruct
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 200 other packages
    14 Mar 2023
  6. cstruct-async
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 1 other packages
    14 Mar 2023
  7. cstruct-lwt
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 16 other packages
    14 Mar 2023
  8. cstruct-sexp
    Documentation
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 6 other packages
    14 Mar 2023
  9. cstruct-unix
    Documentation
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper et al.
    6.2.0
    ISC
    Used by 9 other packages
    14 Mar 2023
  10. csv
    Documentation
    A pure OCaml library to read and write CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    10 Dec 2019
  11. csv-lwt
    Documentation
    A pure OCaml library to read and write CSV files, LWT version
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  12. csvtool
    Documentation
    Command line tool for handling CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Dec 2019
  13. ctoxml
    Documentation
    Parses a C program into Cabs AST and dumps as an XML document
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  14. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    cuda jit nvrtc
    Lukasz Stafiniak
    0.7.2
    MIT
    Used by 0 other packages
    20 Aug 2025
  15. cue_sheet_maker
    Documentation
    A library to create cuesheet
    cuesheet
    EruEri <nayinayu@mailo.com>
    0.2.0-1
    MPL-2.0
    Used by 0 other packages
    01 Aug 2023
  16. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 7 other packages
    15 May 2025
  17. curl_lwt
    Documentation
    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 2 other packages
    15 May 2025
  18. cviode
    Documentation
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  19. dbase4
    Documentation
    A DBF/DBT files reader library
    xBASE DBF data access
    Mykhayl Puzanov <pum@example.com>
    0.2.0
    GPL-3.0-or-later
    Used by 0 other packages
    04 Aug 2025
  20. deepseek

    No documentation

    Deepseek v4 LLM
    org:blacksun deepseek llm
    Anil Madhavapeddy
    0.1.0
    ISC
    Used by 0 other packages
    15 Jun 2026
  21. delimcc_of_fxhandler
    Documentation
    Delimited control primitives on top of effect handlers
    effect handlers delimited control
    KC Sivaramakrishnan
    0.1
    ISC
    Used by 0 other packages
    22 Jun 2023
  22. diffast-core

    No documentation

    Core functions of Diff/AST
    abstract syntax tree differencing
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.4
    Apache-2.0
    Used by 14 other packages
    15 Jun 2026
  23. disml

    No documentation

    An OCaml library for interfacing with the Discord API
    discord
    Adelyn Breedlove <tenseiken595@gmail.com>
    0.2.5
    MIT
    Used by 0 other packages
    12 Feb 2019
  24. dns-lwt
    Documentation
    DNS implementation in portable Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets et al.
    1.1.3
    ISC
    Used by 1 other packages
    15 Jul 2019
  25. docfd

    No documentation

    TUI multiline fuzzy document finder
    fuzzy document finder
    Darren Li
    13.0.0
    MIT
    Used by 0 other packages
    15 Jun 2026
  26. dockerfile

    No documentation

    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.1
    ISC
    Used by 4 other packages
    11 Jun 2026
  27. dockerfile-cmd

    No documentation

    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.1
    ISC
    Used by 1 other packages
    11 Jun 2026
  28. dockerfile-opam

    No documentation

    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.4.1
    ISC
    Used by 1 other packages
    11 Jun 2026
  29. doctor

    No documentation

    Diagnostic CLI for OCaml development environments
    cli diagnostics developer-tools opam dune lsp windows
    Thomas B.
    0.4.0
    MIT
    Used by 0 other packages
    12 Jun 2026
  30. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    24 Jun 2024
  31. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  32. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  33. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  34. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  35. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  36. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha8
    MIT
    Used by 22 other packages
    05 Dec 2024
  37. dream-inertia
    Documentation
    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    05 May 2025
  38. drom
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  39. drom_lib
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  40. drom_toml
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> redianthus <leo@ocaml.pro>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  41. dropbox
    Documentation
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    13 Sep 2019
  42. dropbox_lwt_unix
    Documentation
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Sep 2019
  43. dune-ai-context
    Documentation
    Extract dune external dependencies and generate interface context for AI tools
    ocaml dune cmi interfaces ai
    ZFY <zf.yuan.y@gmail.com>
    0.1.2
    MIT
    Used by 0 other packages
    17 Mar 2026
  44. duras

    No documentation

    Daily notes as plain text files with optional encryption
    note-taking note-keeping plain-text sigline encryption
    Sergiy Duras <sergiy@duras.org>
    2.1.1
    ISC
    Used by 0 other packages
    25 Jun 2026
  45. dynamic_gc
    Documentation
    Dynamically adjust GC behavior based on memory usage
    garbage collector gc
    Nat Mote <nat@semgrep.com>
    0.2.0
    MIT
    Used by 0 other packages
    28 Apr 2025
  46. dyntype
    Documentation
    syntax extension which makes OCaml types and values easier to manipulate programmatically
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    0.9.0
    ISC
    Used by 1 other packages
    21 Nov 2013
  47. echo
    Documentation
    A minimal interop OCaml + C logging solution
    logging console
    Zachary Deak <deakodev@outlook.com>
    0.0.5
    MIT
    Used by 0 other packages
    15 Jul 2025
  48. emoji
    Documentation
    Use emojis by name
    emoji unicode
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    3.0.1
    BSD-3-Clause
    Used by 0 other packages
    29 Sep 2025
  49. enumerators
    Documentation
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    07 Nov 2016
  50. ephemeral

    No documentation

    Visualize spacecraft trajectories
    NASA Space Spacecraft Moon Plotting Trajectory
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    10 Apr 2026
2 3 4 ... 13