149 search results for "tag:"ca""
Showing 1 - 50
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages24 Sep 2024
-
2.4.3LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-onlyUsed by 1 other packages27 Apr 2023
-
1.1.0Used by 0 other packages20 Jun 2015
-
A RISC-V simulator1.0.0CeCILL-2.1Used by 0 other packages05 Oct 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 0 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 3 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
A collection of load balancing algorithms implemented in pure Ocaml1.0MITUsed by 0 other packages09 Aug 2018
-
An OCaml library for category theory and abstract algebra2.0.0BSD-3-ClauseUsed by 2 other packages20 Feb 2021
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
0.4.2CeCILL-BUsed by 7 other packages07 Sep 2015
-
bsbnative
No documentation
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt1.9.4SEE LICENSE IN LICENSEUsed by 0 other packages10 Oct 2017 -
Binding to Cairo, a 2D Vector Graphics Library0.6.5LGPL-3.0-or-laterUsed by 15 other packages12 Nov 2024
-
Rendering Cairo on Gtk2 canvas0.6.5LGPL-3.0-or-laterUsed by 1 other packages12 Nov 2024
-
Interface between Cairo and Pango (for Gtk2)0.6.5LGPL-3.0-or-laterUsed by 0 other packages12 Nov 2024
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 25 other packages12 Oct 2022
-
A portable CA Store with a global .crt and .pem files0.0.2MITUsed by 1 other packages27 Dec 2023
-
An infinity-categorical coherence typechecker1.0MITUsed by 1 other packages15 Oct 2024
-
A lightweight library for combinatory logic1.0.0MITUsed by 0 other packages10 Apr 2024
-
A Coq plugin for the catt proof-assistant1.0MITUsed by 0 other packages15 Oct 2024
-
Compile a subset of OCaml to Coq2.5.3+4.14MITUsed by 0 other packages06 Jan 2023
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.2.0+8.17LGPL-3.0-or-laterUsed by 0 other packages04 Nov 2024
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 248 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 2 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 30 other packages14 Mar 2023
-
S-expression serialisers for C-like structures6.2.0ISCUsed by 7 other packages14 Mar 2023
-
Access C-like structures directly from OCaml6.2.0ISCUsed by 12 other packages14 Mar 2023
-
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
-
Dockerfile eDSL in OCaml8.2.4ISCUsed by 5 other packages18 Nov 2024
-
Dockerfile eDSL -- generation support8.2.4ISCUsed by 1 other packages18 Nov 2024
-
Dockerfile eDSL -- opam support8.2.4ISCUsed by 1 other packages18 Nov 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
-
1.1.0LGPL-3.0-onlyUsed by 0 other packages15 Dec 2021
-
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