554 search results for "tag:"C""
-
adobe_font_metrics
No documentation
1.0.0CeCILL-CUsed by 0 other packages20 Feb 2024 -
aio
No documentation
0.0.3Used by 0 other packages21 Nov 2013 -
alt-ergo
No documentation
2.6.2LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages14 May 2025 -
alt-ergo-lib
No documentation
2.6.2LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages14 May 2025 -
alt-ergo-parsers
No documentation
2.6.2LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages14 May 2025 -
altgr-ergo
No documentation
2.4.3LicenseRef-OCamlpro-Non-Commercial; Apache-2.0; LGPL-2.1-onlyUsed by 0 other packages27 Apr 2023 -
archsat
No documentation
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019 -
argsh
No documentation
Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module0.1.0MITUsed by 0 other packages13 Dec 2023 -
arrakis
No documentation
A RISC-V simulator1.1.1CeCILL-2.1Used by 0 other packages22 Jun 2025 -
arrayjit
No documentation
An array language compiler with multiple backends (CPU, CUDA), staged compilation0.5.2BSD-2-ClauseUsed by 1 other packages08 Apr 2025 -
async-uri
No documentation
Open Async (TLS) TCP connections with Uri.t0.4.0ISCUsed by 0 other packages03 Oct 2023 -
async_graphics
No documentation
0.7.0LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Jun 2019 -
atacama
No documentation
Modern, pure OCaml socket pool for Riot0.0.5MITUsed by 2 other packages16 Apr 2024 -
autofonce
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 0 other packages16 Mar 2023 -
autofonce_config
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023 -
autofonce_core
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023 -
autofonce_lib
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023 -
autofonce_m4
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023 -
autofonce_misc
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 3 other packages16 Mar 2023 -
autofonce_patch
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023 -
autofonce_share
No documentation
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023 -
balancer
No documentation
A collection of load balancing algorithms implemented in pure Ocaml1.0MITUsed by 0 other packages09 Aug 2018 -
bare_encoding
No documentation
0.3.1MITUsed by 0 other packages07 Sep 2023 -
bastet
No documentation
An OCaml library for category theory and abstract algebra2.0.0BSD-3-ClauseUsed by 2 other packages20 Feb 2021 -
bastet_async
No documentation
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020 -
bastet_lwt
No documentation
0.1.0BSD-3-ClauseUsed by 0 other packages27 Mar 2020 -
bech32
No documentation
Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)0.1ISCUsed by 0 other packages15 Apr 2020 -
bimage
No documentation
0.6.0ISCUsed by 3 other packages19 May 2022 -
bimage-display
No documentation
0.6.0ISCUsed by 0 other packages19 May 2022 -
bimage-gtk
No documentation
Bimage_gtk allows images to be displayed in GTK windows0.2.1ISCUsed by 0 other packages12 Apr 2020 -
bimage-io
No documentation
0.6.0ISCUsed by 0 other packages19 May 2022 -
bimage-lwt
No documentation
A simple, efficient image-processing library (LWT bindings)0.4.0ISCUsed by 0 other packages19 May 2021 -
bimage-sdl
No documentation
Bimage_gtk allows images to be displayed using SDL0.2.1ISCUsed by 0 other packages12 Apr 2020 -
bimage-unix
No documentation
Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image0.6.0ISCUsed by 0 other packages19 May 2022 -
bin_tree
No documentation
0.1MITUsed by 0 other packages17 Feb 2024 -
binsec
No documentation
Semantic analysis of binary executables0.10.1LGPL-2.1-or-laterUsed by 0 other packages01 Jul 2025 -
bitgenerators
No documentation
v0.1.0BSD-3-ClauseUsed by 0 other packages02 May 2024 -
bitwuzla
No documentation
1.0.5MITUsed by 0 other packages24 Feb 2023 -
bitwuzla-bin
No documentation
1.0.0MITUsed by 0 other packages12 Jul 2021 -
bitwuzla-c
No documentation
1.0.5MITUsed by 1 other packages24 Feb 2023 -
bos
No documentation
Basic OS interaction for OCaml0.2.1ISCUsed by 88 other packages06 Oct 2021 -
broken
No documentation
0.4.2CeCILL-BUsed by 5 other packages07 Sep 2015 -
brotli
No documentation
Bindings to Google's Brotli compresion algorithm1.3.0BSD-3-ClauseUsed by 1 other packages23 Aug 2017 -
brr
No documentation
Browser programming toolkit for OCaml0.0.7ISC; BSD-3-ClauseUsed by 7 other packages10 Sep 2024 -
bytesrw
No documentation
Composable byte stream readers and writers for OCaml0.1.0ISCUsed by 1 other packages29 Nov 2024 -
bytestring
No documentation
Efficient, immutable, pattern-matchable, UTF friendly byte strings0.0.8MITUsed by 3 other packages05 Mar 2024 -
cairo2
No documentation
Binding to Cairo, a 2D Vector Graphics Library0.6.5LGPL-3.0-or-laterUsed by 15 other packages12 Nov 2024 -
cairo2-gtk
No documentation
Rendering Cairo on Gtk2 canvas0.6.5LGPL-3.0-or-laterUsed by 1 other packages12 Nov 2024 -
cairo2-pango
No documentation
Interface between Cairo and Pango (for Gtk2)0.6.5LGPL-3.0-or-laterUsed by 0 other packages12 Nov 2024 -
calculon
No documentation
Library for writing IRC bots in OCaml and a collection of plugins0.8MITUsed by 1 other packages13 Jul 2022