566 search results for "tag:"C""
Showing 101 - 150
-
A pure OCaml library to read and write CSV files2.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 22 other packages10 Dec 2019
-
A pure OCaml library to read and write CSV files, LWT version2.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages10 Dec 2019
-
2.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages10 Dec 2019
-
Parses a C program into Cabs AST and dumps as an XML document4.1.0LGPL-2.0-onlyUsed by 0 other packages26 May 2021
-
cudajit
No documentation
Bindings to the `cuda` and `nvrtc` libraries with a unified interface0.5.0MITUsed by 0 other packages04 Oct 2024 -
0.2.0-1MPL-2.0Used by 0 other packages01 Aug 2023
-
Contact variational integrators - native ocaml version0.0.4MITUsed by 0 other packages07 Oct 2020
-
Delimited control primitives on top of effect handlers0.1ISCUsed by 0 other packages22 Jun 2023
-
disml
No documentation
An OCaml library for interfacing with the Discord API0.2.5MITUsed by 0 other packages12 Feb 2019 -
DNS implementation using the Async concurrency framework1.1.3ISCUsed by 0 other packages15 Jul 2019
-
DNS implementation in portable Lwt1.1.3ISCUsed by 3 other packages15 Jul 2019
-
DNS implementation for Unix and Windows using Lwt_unix1.1.3ISCUsed by 0 other packages15 Jul 2019
-
Extract documentation from OCaml files1.2.1ISCUsed by 3 other packages07 Apr 2018
-
1.2.1ISCUsed by 1 other packages07 Apr 2018
-
XML printer and parser for Doc-Ock1.2.1ISCUsed by 1 other packages07 Apr 2018
-
3.0.0MITUsed by 0 other packages15 Mar 2024
-
Dockerfile eDSL in OCaml8.2.3ISCUsed by 5 other packages31 Oct 2024
-
Dockerfile eDSL -- generation support8.2.3ISCUsed by 1 other packages31 Oct 2024
-
Dockerfile eDSL -- opam support8.2.3ISCUsed by 1 other packages31 Oct 2024
-
A parser library for automated deduction0.10BSD-2-ClauseUsed by 8 other packages24 Jun 2024
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
A tool library for automated deduction tools0.10BSD-2-ClauseUsed by 4 other packages24 Jun 2024
-
A LSP server for automated deduction languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
The Dolmen library for verifying models generated by automated theorem provers and SMT solvers0.10BSD-2-ClauseUsed by 2 other packages24 Jun 2024
-
The Dolmen library for typechecking languages0.10BSD-2-ClauseUsed by 5 other packages24 Jun 2024
-
Tidy, feature-complete Web framework1.0.0~alpha7MITUsed by 19 other packages03 Sep 2024
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
Binding to the Dropbox Remote API0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages13 Sep 2019
-
Binding to the Dropbox Remote API (Unix)0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages13 Sep 2019
-
syntax extension which makes OCaml types and values easier to manipulate programmatically0.9.0ISCUsed by 2 other packages21 Nov 2013
-
0.2.0BSD-2-ClauseUsed by 0 other packages07 Nov 2016
-
1.1.0LGPL-3.0-onlyUsed by 0 other packages15 Dec 2021
-
1.3.0BSD-3-ClauseUsed by 0 other packages24 Jun 2024
-
1.3.0BSD-3-ClauseUsed by 1 other packages24 Jun 2024
-
Easy interface to Cmdliner à la Arg.parse with sub-commands0.4.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 6 other packages08 Mar 2022
-
Easy management of configuration files0.2.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages08 Mar 2022
-
Easy file manipulation (read_file, write_file, etc.)0.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 13 other packages08 Mar 2022
-
Package ez_opam_file is a simple compatibility layer on top of opam-file-format0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages07 Dec 2020
-
0.2.2LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages08 Mar 2022
-
Ez_subst is a simple module to perform string substitutions0.2.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages08 Mar 2022
-
0.2.4MITUsed by 5 other packages27 Nov 2023
-
0.2.4MITUsed by 2 other packages27 Nov 2023
-
2.71.15CECILL-2.1Used by 1 other packages03 Nov 2022
-
1.3.0ISCUsed by 58 other packages13 Nov 2021
-
1.3.0ISCUsed by 0 other packages13 Nov 2021
-
1.1.0ISCUsed by 8 other packages02 Feb 2019
-
4.1.0LGPL-2.0-onlyUsed by 3 other packages26 May 2021
-
0.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages21 Jan 2022