118 search results for "tag:"io""
-
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 -
Modern, pure OCaml socket pool for Riot0.0.5MITUsed by 2 other packages16 Apr 2024
-
binsec
No documentation
Semantic analysis of binary executables0.10.1LGPL-2.1-or-laterUsed by 0 other packages01 Jul 2025 -
0.4.2CeCILL-BUsed by 5 other packages07 Sep 2015
-
Composable byte stream readers and writers for OCaml0.1.0ISCUsed by 1 other packages29 Nov 2024
-
0.10.1MITUsed by 1 other packages12 Feb 2022
-
0.5Used by 3 other packages09 Mar 2019
-
0.5Used by 0 other packages09 Mar 2019
-
A pure OCaml library for manipulating colors across color spaces0.0.1MITUsed by 1 other packages21 Dec 2023
-
A lightweight library for combinatory logic1.0.0MITUsed by 0 other packages10 Apr 2024
-
compsort
No documentation
0.9.2GPL-3.0-or-laterUsed by 0 other packages11 Oct 2024 -
conf-opencc0
No documentation
Virtual package relying on opencc v0 (libopencc.so.1) installation1MITUsed by 1 other packages06 Dec 2018 -
conf-opencc1
No documentation
Virtual package relying on opencc v1 (libopencc.so.2) installation1MITUsed by 1 other packages06 Dec 2018 -
Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation1MITUsed by 1 other packages06 Oct 2021
-
Ergonomic, lightweight conditional compilation through attributes0.0.3MITUsed by 3 other packages05 May 2024
-
0.4.1CeCILL-BUsed by 0 other packages10 Oct 2015
-
containers-data
No documentation
3.16BSD-2-ClauseUsed by 7 other packages27 May 2025 -
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.20LGPL-3.0-or-laterUsed by 0 other packages10 Mar 2025
-
0.7BSD-2-ClauseUsed by 1 other packages18 Oct 2024
-
A linter for logic languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
A tool library for automated deduction tools0.10BSD-2-ClauseUsed by 4 other packages24 Jun 2024
-
A LSP server for automated deduction languages0.10BSD-2-ClauseUsed by 0 other packages24 Jun 2024
-
esa
No documentation
Enhanced Suffix Array0.1.0MITUsed by 0 other packages10 Jul 2025 -
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
frama-c-metacsl
No documentation
MetAcsl plugin of Frama-C for writing pervasives properties0.9~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
frama-clang
No documentation
Frama-C plug-in based on Clang for parsing C++ files0.0.18~betaLGPL-2.1-onlyUsed by 0 other packages23 Jun 2025 -
0.04restrictionless ZlibUsed by 0 other packages22 Jul 2020
-
fungi
No documentation
0.1.4MITUsed by 0 other packages08 May 2025 -
A minimal, portable, and fast API on top of the operating-system's evented I/O API0.0.9MITUsed by 1 other packages12 Apr 2024
-
Static analysis framework for C2.5.0MITUsed by 0 other packages28 Nov 2024
-
A modular gRPC library0.2.0BSD-3-ClauseUsed by 4 other packages25 Oct 2023
-
An Async implementation of gRPC0.2.0BSD-3-ClauseUsed by 1 other packages25 Oct 2023
-
Benchmarking package for gRPC0.2.0BSD-3-ClauseUsed by 0 other packages25 Oct 2023
-
Various grpc examples0.2.0BSD-3-ClauseUsed by 0 other packages25 Oct 2023
-
An Lwt implementation of gRPC0.2.0BSD-3-ClauseUsed by 1 other packages25 Oct 2023
-
A spring-physics library for OCaml0.0.1MITUsed by 0 other packages14 Dec 2023
-
HSLuv human-friendly color space implementation in OCaml0.1.0MITUsed by 0 other packages23 Dec 2023
-
hugin
No documentation
1.0.0~alpha0ISCUsed by 2 other packages05 Jul 2025 -
0.1Used by 2 other packages15 Jan 2019
-
Interfaces for common design patterns (LWT implementation)0.1Used by 0 other packages15 Jan 2019
-
0.3ISCUsed by 4 other packages13 Mar 2023
-
0.3MITUsed by 3 other packages16 Aug 2024
-
0.3MITUsed by 1 other packages16 Aug 2024
-
8.1.1MITUsed by 0 other packages16 Dec 2024
-
ip2locationio
No documentation
IP2Location.io OCaml module to get geolocation and WHOIS data1.1.0MITUsed by 0 other packages01 May 2025 -
OCaml implementation of the KDL Document Language0.2.0MPL-2.0Used by 0 other packages31 Dec 2024
-
lablgtk-extras
No documentation
A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.1.6LGPL-2.0-or-laterUsed by 0 other packages10 Apr 2017 -
Bound-constrainted optimization in many variables0.9.5LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages18 Oct 2023