609 search results for "tag:"C""

Showing 101 - 150
  1. corecount
    Documentation
    Get count of cores on machine
    clib:stdc
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    15 Dec 2016
  2. corosync
    Documentation
    OCaml Corosync binding
    corosync binding
    Shuntian Liu
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Aug 2024
  3. 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
  4. 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
  5. crs
    Documentation
    A tool for managing code review comments embedded in source code
    code-review
    Mathieu Barbin
    0.0.20250914
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    15 Sep 2025
  6. 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 28 other packages
    21 Feb 2025
  7. cstruct

    No 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 199 other packages
    14 Mar 2023
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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 22 other packages
    10 Dec 2019
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 5 other packages
    15 May 2025
  19. curl_lwt
    Documentation
    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 1 other packages
    15 May 2025
  20. 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
  21. 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
  22. 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
  23. diffast-core
    Documentation
    Core functions of Diff/AST
    abstract syntax tree differencing
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.3.6
    Apache-2.0
    Used by 14 other packages
    25 Nov 2025
  24. 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
  25. 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
  26. docfd
    Documentation
    TUI fuzzy document finder
    fuzzy document finder
    Darren Ldl
    0.6.1
    MIT
    Used by 0 other packages
    19 Apr 2023
  27. dockerfile
    Documentation
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.3.4
    ISC
    Used by 4 other packages
    04 Dec 2025
  28. dockerfile-cmd
    Documentation
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.3.4
    ISC
    Used by 1 other packages
    04 Dec 2025
  29. dockerfile-opam
    Documentation
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor et al.
    8.3.4
    ISC
    Used by 1 other packages
    04 Dec 2025
  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. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. erssical
    Documentation
    Converting RSS event feeds to ical
    rss xml ical http
    Zoggy <zoggy@bat8.org>
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    15 Dec 2021
  49. esa
    Documentation
    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    18 Jul 2025
  50. ez_cmdliner
    Documentation
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
2 3 4 ... 13