4511 search results for ""
Showing 551 - 600
-
An infinity-categorical coherence typechecker1.0MITUsed by 1 other packages15 Oct 2024
-
Json schema checker for current-bench0.1Apache-2.0Used by 0 other packages13 Jun 2023
-
0.5MITUsed by 4 other packages23 Oct 2021
-
CBOR library0.1.0AGPL-3.0-or-laterUsed by 0 other packages04 Aug 2022
-
cca
No documentation
A framework for differential source code analyses0.7Apache-2.0Used by 0 other packages31 Mar 2023 -
Wallpaper utility for Wayland0.1ISCUsed by 0 other packages13 Feb 2023
-
0.5Used by 3 other packages09 Mar 2019
-
0.5Used by 0 other packages09 Mar 2019
-
CDB implementation in OCaml1.0.1MITUsed by 0 other packages09 Jul 2024
-
Query the state and contents of CDROM devices under Linux0.9.4Used by 0 other packages23 Dec 2020
-
20240106LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Aug 2024
-
0.3.3ISCUsed by 0 other packages17 Jul 2021
-
OCaml bindings to macOS CoreFoundation0.5.0ISCUsed by 2 other packages05 Apr 2022
-
Lwt interface to macOS CoreFoundation0.5.0ISCUsed by 3 other packages05 Apr 2022
-
CFG - Context-Free Grammars2.3.1LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages25 Nov 2024
-
This package was renamed to bnfgen.1.0MITUsed by 0 other packages03 Jan 2017
-
The CFML program verification tool20220112CC-BY-4.0Used by 0 other packages13 Jan 2022
-
Stream operations in the style of Core's API1.3.2LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages10 Feb 2023
-
Library for writing CGIs0.10Used by 0 other packages22 Feb 2020
-
0.1BSD-3-ClauseUsed by 0 other packages29 Jul 2015
-
The Chacha functions, in OCaml1.1.0BSD-2-ClauseUsed by 0 other packages05 Aug 2021
-
Composable and simple terminal highlighting package1.0MITUsed by 0 other packages08 Feb 2018
-
Subset of littlefs filesystem fulfilling MirageOS KV0.1.2ISCUsed by 1 other packages04 Aug 2022
-
Command-line Unix utilities for chamelon filesystems0.1.2ISCUsed by 0 other packages04 Aug 2022
-
A kind of emacs-like editor, using OCaml instead of lisp4.2.0GPL-3.0-onlyUsed by 0 other packages19 Dec 2024
-
Determine column width for a character2.0.0MITUsed by 0 other packages09 Aug 2023
-
DHCP wire frame encoder and decoder2.0.0ISCUsed by 3 other packages12 Feb 2025
-
2.0.0ISCUsed by 0 other packages12 Feb 2025
-
2.0.0ISCUsed by 2 other packages12 Feb 2025
-
Unix DHCP daemon2.0.0ISCUsed by 0 other packages12 Feb 2025
-
Fast char sets0.2.0MITUsed by 0 other packages06 May 2025
-
OCaml bindings for Chart.js0.2.2MITUsed by 4 other packages06 Sep 2019
-
OCaml bindigns for Chart.js annotation plugin0.2.2MITUsed by 0 other packages06 Sep 2019
-
OCaml bindigns for Chart.js colorschemes plugin0.2.2MITUsed by 0 other packages06 Sep 2019
-
OCaml bindigns for Chart.js datalabels plugin0.2.2MITUsed by 0 other packages06 Sep 2019
-
OCaml bindings for Chart.js streaming plugin0.2.2MITUsed by 0 other packages06 Sep 2019
-
Model finder for geometric theories using the chase1.5BSD-3-ClauseUsed by 0 other packages27 Jan 2023
-
An OCaml library for checked integer arithmetic1.0.0UnlicenseUsed by 0 other packages15 May 2025
-
Adler-32, CRC32 and CRC32-C implementation in C and OCaml0.5.2MITUsed by 14 other packages18 Sep 2023
-
Choice monad, for easy backtracking0.4Used by 0 other packages11 Nov 2019
-
Chrome trace event generation library3.19.1MITUsed by 1 other packages12 Jun 2025
-
Content-addressed Identifiers0.1.0MITUsed by 1 other packages23 Mar 2023
-
Trivial metaprogramming toolv0.15.1MITUsed by 6 other packages12 Feb 2021
-
OCaml bindings for Clang API4.8.0BSD-2-ClauseUsed by 2 other packages07 Sep 2022
-
Code transformers for clangml0.26BSD-2-ClauseUsed by 1 other packages17 Jul 2020
-
Command-Line Argument Parsing, imperative style with a consumption mechanism0.3.0MITUsed by 3 other packages27 Mar 2023
-
Clarity smart contract parser and AST0.1.0UnlicenseUsed by 0 other packages03 Oct 2020
-
Verifiable Delay Functions bindings to Chia's VDF0.0.5MITUsed by 2 other packages18 Oct 2024
-
Command Line Interface Maker0.3.0Apache-2.0Used by 1 other packages25 Sep 2020
-
Derivates cmdliner terms from type definitions0.3.0Apache-2.0Used by 0 other packages25 Sep 2020