562 search results for "tag:"C""
Showing 1 - 50
-
1.0.0CeCILL-CUsed by 0 other packages20 Feb 2024
-
0.0.3Used by 0 other packages21 Nov 2013
-
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 first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module0.1.0MITUsed by 0 other packages13 Dec 2023
-
A RISC-V simulator1.0.0CeCILL-2.1Used by 0 other packages05 Oct 2023
-
arrayjit
No documentation
An array language compiler with multiple backends (CPU, CUDA), staged compilation0.4.1BSD-2-ClauseUsed by 1 other packages17 Sep 2024 -
Open Async (TLS) TCP connections with Uri.t0.4.0ISCUsed by 0 other packages03 Oct 2023
-
0.7.0LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Jun 2019
-
Modern, pure OCaml socket pool for Riot0.0.5MITUsed by 2 other packages16 Apr 2024
-
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
-
0.3.1MITUsed by 0 other packages07 Sep 2023
-
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
-
Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)0.1ISCUsed by 0 other packages15 Apr 2020
-
Benchmark running times of code1.6LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 15 other packages09 Sep 2018
-
0.6.0ISCUsed by 3 other packages19 May 2022
-
0.6.0ISCUsed by 0 other packages19 May 2022
-
Bimage_gtk allows images to be displayed in GTK windows0.2.1ISCUsed by 0 other packages12 Apr 2020
-
0.6.0ISCUsed by 0 other packages19 May 2022
-
A simple, efficient image-processing library (LWT bindings)0.4.0ISCUsed by 0 other packages19 May 2021
-
Bimage_gtk allows images to be displayed using SDL0.2.1ISCUsed by 0 other packages12 Apr 2020
-
Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image0.6.0ISCUsed by 0 other packages19 May 2022
-
0.1MITUsed by 0 other packages17 Feb 2024
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
v0.1.0BSD-3-ClauseUsed by 0 other packages02 May 2024
-
1.0.5MITUsed by 0 other packages24 Feb 2023
-
1.0.0MITUsed by 0 other packages12 Jul 2021
-
1.0.5MITUsed by 1 other packages24 Feb 2023
-
Basic OS interaction for OCaml0.2.1ISCUsed by 87 other packages06 Oct 2021
-
0.4.2CeCILL-BUsed by 7 other packages07 Sep 2015
-
Bindings to Google's Brotli compresion algorithm2.0.3BSD-3-ClauseUsed by 1 other packages21 Dec 2017
-
Browser programming toolkit for OCaml0.0.7ISC; BSD-3-ClauseUsed by 5 other packages10 Sep 2024
-
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 -
Efficient, immutable, pattern-matchable, UTF friendly byte strings0.0.8MITUsed by 3 other packages05 Mar 2024
-
Binding to Cairo, a 2D Vector Graphics Library0.6.4LGPL-3.0Used by 15 other packages03 Oct 2022
-
Rendering Cairo on Gtk2 canvas0.6.4LGPL-3.0Used by 1 other packages03 Oct 2022