591 search results for "tag:"C""
Showing 251 - 300
-
Just a tiny LLVM-IR optimizer for testing stuff.1.0.0MITUsed by 0 other packages12 Mar 2018
-
0.2MITUsed by 0 other packages21 Apr 2015
-
Bindings for LMDB, a fast in-file database with ACID transactions1.0MITUsed by 0 other packages22 Apr 2020
-
0.2.2MITUsed by 7 other packages04 Dec 2024
-
1.4ISCUsed by 1 other packages14 Jul 2025
-
1.4ISCUsed by 1 other packages14 Jul 2025
-
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021
-
Unbounded loops with continues and breaks0.0.1MITUsed by 0 other packages13 Nov 2023
-
0.3.0BSD-3-ClauseUsed by 1 other packages04 Apr 2017
-
Lutin: modeling stochastic reactive systems2.71.15CECILL-2.1Used by 1 other packages03 Nov 2022
-
An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer0.1Used by 0 other packages30 Jan 2020
-
Bindings to the LZ4 compression algorithm1.3.0BSD-3-clauseUsed by 4 other packages07 Sep 2023
-
A library for manipulation of MAC address representations5.6.1ISCUsed by 21 other packages03 Aug 2025
-
A library for manipulation of MAC address representations using Cstructs5.6.1ISCUsed by 2 other packages03 Aug 2025
-
A library for manipulation of MAC address representations using sexp5.6.1ISCUsed by 3 other packages03 Aug 2025
-
0.4.0MITUsed by 0 other packages28 Oct 2022
-
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023
-
Bindings to Maxmind.com's libmaxminddb library, like geoip20.6BSD-3-ClauseUsed by 1 other packages14 Sep 2015
-
0.1ApacheUsed by 0 other packages18 Nov 2020
-
A functional web scraping library1.2.1LGPL-3.0-or-laterUsed by 0 other packages06 May 2021
-
A Melange-focused fork of Bastet for category theory and abstract algebra1.0.0BSD-3-ClauseUsed by 1 other packages04 Aug 2025
-
1.4.0MITUsed by 0 other packages24 Oct 2023
-
menhir-lsp
No documentation
0.1.2GPL-2.0-onlyUsed by 0 other packages31 Dec 2025 -
0.9.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Mar 2019
-
metal
No documentation
OCaml bindings to selected parts of Apple Metal, for general compute applications0.1.1MITUsed by 1 other packages24 Jul 2025 -
Composable stacked functions, which can respond to inner calls0.0.1MITUsed by 0 other packages24 Jan 2024
-
Drive Lego Mindstorms bricks from OCaml0.8.1LGPL-2.1Used by 1 other packages12 Nov 2021
-
Drive Lego Mindstorms bricks from OCaml (LWT version)0.8.1LGPL-2.1Used by 0 other packages12 Nov 2021
-
1.0.0ISCUsed by 0 other packages14 Dec 2016
-
The MirageOS library operating system4.10.4ISCUsed by 4 other packages25 Nov 2025
-
MirageOS block driver for Xen that implements the blkfront/back protocol2.1.3ISCUsed by 0 other packages09 May 2024
-
2.4.3ISCUsed by 2 other packages27 Jun 2019
-
Implementation of Mirage consoles using Lwt2.4.3ISCUsed by 1 other packages27 Jun 2019
-
The base MirageOS runtime library, part of every MirageOS unikernel4.10.4ISCUsed by 10 other packages25 Nov 2025
-
Module type definitions for MirageOS applications3.6.0ISCUsed by 4 other packages03 Oct 2019
-
3.6.0ISCUsed by 7 other packages03 Oct 2019
-
The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files0.2.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages28 Apr 2023
-
A small library used to shadow polymorphic operators (and functions) contained in the stdlib2.1.0MITUsed by 1 other packages01 Nov 2022
-
Library containing a SAT solver that can be parametrized by a theory0.9.1Apache-2.0Used by 5 other packages24 Mar 2021
-
Fast MessagePack (http://msgpack.org) library1.7ISCUsed by 4 other packages08 Jun 2021
-
2.1.0ISCUsed by 59 other packages11 Sep 2024
-
1.0.3MITUsed by 1 other packages16 May 2024
-
0.1MITUsed by 3 other packages12 May 2025
-
0.1MITUsed by 2 other packages12 May 2025
-
Use mtime+iomux (posix compliant) as a backend for nanoev0.1MITUsed by 0 other packages12 May 2025
-
Network Block Device (NBD) protocol implementation6.0.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages30 Sep 2022
-
Network Block Device (NBD) protocol implementation6.0.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages30 Sep 2022
-
Network Block Device (NBD) protocol implementation6.0.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages30 Sep 2022
-
A from-scratch Deep Learning framework with an optimizing compiler, shape inference, concise syntax0.6.1BSD-2-ClauseUsed by 0 other packages12 Sep 2025
-
1.0.0GPL-3.0-or-laterUsed by 0 other packages26 Apr 2024