From 67dd91f021f875def33f0468120804cbe2a532d0 Mon Sep 17 00:00:00 2001 From: ArthurW Date: Tue, 6 Feb 2024 11:41:22 +0100 Subject: [PATCH] prepare for release --- dune-project | 2 + installable_packages | 3668 ------------------------------------------ sherlodoc.opam | 1 + 3 files changed, 3 insertions(+), 3668 deletions(-) delete mode 100644 installable_packages diff --git a/dune-project b/dune-project index 6391a984..6b85aa6f 100644 --- a/dune-project +++ b/dune-project @@ -8,6 +8,8 @@ (name sherlodoc) +(version 0.2) + (source (github art-w/sherlodoc)) (authors "Arthur Wendling" "Emile Trotignon") diff --git a/installable_packages b/installable_packages deleted file mode 100644 index 2433070c..00000000 --- a/installable_packages +++ /dev/null @@ -1,3668 +0,0 @@ -# Packages matching: installable -# Name # Installed # Synopsis -0install -- Decentralised installation system -0install-gtk -- Decentralised installation system - GTK UI -0install-solver -- Package dependency solver -ANSITerminal -- Basic control of ANSI compliant terminals and the windows shell -aacplus -- Bindings for the aacplus library which provides functions for decoding AAC audio files -abella -- Interactive theorem prover based on lambda-tree syntax -absolute 0.3 AbSolute solver -abstract_algebra -- A small library describing abstract algebra concepts -accessor v0.16.0 A library that makes it nicer to work with nested functional data structures -accessor_async -- Accessors for Async types, for use with the Accessor library -accessor_base -- Accessors for Base types, for use with the Accessor library -accessor_core -- Accessors for Core types, for use with the Accessor library -acgtk -- Abstract Categorial Grammar development toolkit -aches 1.0.0 Caches (bounded-size stores) for in-memory values and for resources -aches-lwt 1.0.0 Caches (bounded-size stores) for Lwt promises -acp4 1.0.1 ACP4: AutoCorrelation of Pharmacophore Features -acpc -- Chemoinformatics tool for ligand-based virtual screening -advi -- Active DVI Dune package! -aez -- Alt-Ergo Zero is an OCaml library for an SMT solver. -afl -- American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam -afl-persistent -- Use afl-fuzz in persistent mode -ago -- ago(1) - compute the number of days between two calendar dates -agrid -- Adjustable grid (two dimensional array) library -ahrocksdb -- A binding to RocksDB -aifad -- AIFAD - Automated Induction of Functions over Algebraic Datatypes -aio -- Linux kernel AIO access library for ocaml -alba -- Alba compiler -albatross -- Albatross - orchestrate and manage MirageOS unikernels with Solo5 -alcotest 1.7.0 Alcotest is a lightweight and colourful test framework -alcotest-async -- Async-based helpers for Alcotest -alcotest-js -- Virtual package containing optional JavaScript dependencies for Alcotest -alcotest-lwt -- Lwt-based helpers for Alcotest -alcotest-mirage -- Mirage implementation for Alcotest -alg_structs -- Interfaces and module combinators for algebraic structures -alg_structs_qcheck -- Provides qCheck generators for laws of alg_structs -aliases -- In memory indexes -alonzo -- STLC type system -alsa 0.3.0 Bindings for the ALSA library which provides functions for using soundcards -alt-ergo 2.5.2 The Alt-Ergo SMT prover -alt-ergo-free -- Alt-Ergo, an SMT Solver for Software Verification -alt-ergo-lib 2.5.2 The Alt-Ergo SMT prover library -alt-ergo-parsers 2.5.2 The Alt-Ergo SMT prover parser library -alt-ergo-plugin-ab-why3 -- An experimental Why3 frontend for Alt-Ergo -altgr-ergo -- The GUI for the Alt-Ergo SMT prover -ambient-context -- Abstraction over thread-local / continuation-local storage mechanisms for communication with transitive dependencies -ambient-context-lwt -- Storage backend for ambient-context using Lwt's sequence-associated storage -amqp-client -- Amqp client base library -amqp-client-async -- Amqp client library, async version -amqp-client-lwt -- Amqp client library, lwt version -ancient 0.9.1 Use data structures larger than available memory -anders -- Modal Homotopy Type System -angstrom 0.15.0 Parser combinators built for speed and memory-efficiency -angstrom-async -- Async support for Angstrom -angstrom-lwt-unix -- Lwt_unix support for Angstrom -angstrom-unix -- Unix support for Angstrom -ansi -- ANSI escape sequence parser -ansi-parse -- Ansiparse is a library for converting raw terminal output, replete with escape codes, into formatted HTML -ansicolor -- Simple ANSI terminal color library (deprecated in favor of ANSITerminal). -antic -- Stub of the C library Antic. Algebraic number -anycache -- Scan-resistant LRU/2Q cache -anycache-lwt -- Scan-resistant LRU/2Q cache -ao -- Bindings for the AO library which provides high-level functions for using soundcards -apron v0.9.14 APRON numerical abstract domain library -apronext 1.0.4 Apron extension -arb -- Stub of the C library Arb. Ball approximation -archetype -- Archetype language compiler -archi -- A library for managing the lifecycle of stateful components in OCaml -archi-async -- Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml -archi-lwt -- Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml -archimedes -- Extensible 2D plotting library. -archsat -- A first-order theorem prover with formal proof output -arg-complete -- Bash completion support for Stdlib.Arg -argon2 -- OCaml bindings to Argon2 -arp -- Address Resolution Protocol purely in OCaml -arp-mirage -- Address Resolution Protocol for MirageOS -arrakis 1.0.0 A RISC-V simulator -art 0.2.0 Adaptive Radix Tree -ascii85 -- ascii85 - Adobe's Ascii85 encoding as a module and a command line tool -asetmap 0.8.1 Alternative, compatible, OCaml standard library Sets and Maps -ask -- Create/Answer questionnaires -ask-integrator -- Link questionnaires to an uuid of 'a type -asl -- Bindings for the Apple System Log API -asli -- Interpreter for Arm's Architecture Specification Language (ASL) -asn1-combinators 0.2.6 Embed typed ASN.1 grammars in OCaml -assertions -- Basic assert statements -assimp -- OCaml bindings to Assimp, Open Asset Import Library -ast_generic -- Abstract Syntax Tree (AST) supporting 31 programming languages -astring 0.8.5 Alternative String module for OCaml -async v0.16.0 Monadic concurrency library -async-uri -- Open Async (TLS) TCP connections with Uri.t -async_durable -- Durable connections for use with async -async_extra -- Monadic concurrency library -async_find -- Directory traversal with Async -async_graphics -- Async wrapper for the OCaml Graphics library -async_inotify -- Async wrapper for inotify -async_interactive -- Utilities for building simple command-line based user interfaces -async_js -- A small library that provide Async support for JavaScript platforms -async_kernel v0.16.0 Monadic concurrency library -async_rpc_kernel v0.16.0 Platform-independent core of Async RPC library -async_rpc_websocket -- Library to serve and dispatch Async RPCs over websockets -async_sendfile -- Thin wrapper around [Linux_ext.sendfile] to send full files -async_shell -- Shell helpers for Async -async_smtp -- SMTP client and server -async_ssl -- An Async-pipe-based interface with OpenSSL -async_udp -- Monadic concurrency library -async_unix v0.16.0 Monadic concurrency library -async_websocket v0.16.0 A library that implements the websocket protocol on top of Async -atable -- Basic spreadsheet tool with HTML tables -atd -- Parser for the ATD data format description language -atd2cconv -- Convert ATD definitions to OCaml code that uses the CConv 0.1 library -atdd -- DLang code generation for ATD APIs -atdgen -- Generates efficient JSON serializers, deserializers and validators -atdgen-codec-runtime -- Runtime for atdgen generated bucklescript converters -atdgen-runtime -- Runtime library for code generated by atdgen -atdj -- Java code generation for ATD -atdpy -- Python/mypy code generation for ATD APIs -atds -- ATD Code generator for Scala -atdts -- TypeScript code generation for ATD APIs -atomic -- Compatibility package for OCaml's Atomic module starting from 4.12 -autofonce -- A modern runner for GNU Autoconf Testsuites -autofonce_config -- A modern runner for GNU Autoconf Testsuites -autofonce_core -- A modern runner for GNU Autoconf Testsuites -autofonce_lib -- A modern runner for GNU Autoconf Testsuites -autofonce_m4 -- A modern runner for GNU Autoconf Testsuites -autofonce_misc -- A modern runner for GNU Autoconf Testsuites -autofonce_patch -- A modern runner for GNU Autoconf Testsuites -autofonce_share -- A modern runner for GNU Autoconf Testsuites -avro -- Runtime library for encoding/decoding Avro -avro-compiler -- Schema compiler for Avro -awa -- SSH implementation in OCaml -awa-lwt -- SSH implementation in OCaml -awa-mirage -- SSH implementation in OCaml -aws -- Amazon Web Services SDK -aws-async -- Amazon Web Services SDK bindings for async -aws-autoscaling -- Amazon Web Services SDK bindings to Auto Scaling -aws-cloudformation -- Amazon Web Services SDK bindings to AWS CloudFormation -aws-cloudtrail -- Amazon Web Services SDK bindings to AWS CloudTrail -aws-cloudwatch -- Amazon Web Services SDK bindings to Amazon CloudWatch -aws-config -- Read AWS configuration in OCaml -aws-ec2 -- Amazon Web Services SDK bindings to Amazon Elastic Compute Cloud -aws-elasticache -- Amazon Web Services SDK bindings to Amazon ElastiCache -aws-elasticloadbalancing -- Amazon Web Services SDK bindings to Elastic Load Balancing -aws-lwt -- Amazon Web Services SDK bindings for lwt -aws-rds -- Amazon Web Services SDK bindings to Amazon Relational Database Service -aws-route53 -- Amazon Web Services SDK bindings to Amazon Route 53 -aws-s3 -- Ocaml library for accessing Amazon S3 -aws-s3-async -- Ocaml library for accessing Amazon S3 - Async version -aws-s3-lwt -- Ocaml library for accessing Amazon S3 - Lwt version -aws-sdb -- Amazon Web Services SDK bindings to Amazon SimpleDB -aws-sqs -- Amazon Web Services SDK bindings to Amazon Simple Queue Service -aws-ssm -- Amazon Web Services SDK bindings to Amazon Simple Systems Management Service -aws-sts -- Amazon Web Services SDK bindings to AWS Security Token Service -awsm -- AWS API base library -awsm-async -- AWS API base library Async -awsm-codegen -- AWS botocore code generator -awsm-lwt -- AWS API base library Lwt -azblob -- A trivial Azure Blob Storage interface for OCaml -azblob-async -- A trivial Azure Blob Storage interface for OCaml -azure-cosmos-db -- Azure cosmos db interface -BetterErrors -- Better compiler error output. -b0 0.0.5 Software construction and deployment kit -babel -- A library for defining Rpcs that can evolve over time without breaking backward compatibility. -backoff -- Exponential backoff mechanism for OCaml -bag -- Bags (aka multisets) -baguette_sharp -- The Baguette# Interpreter REPL -balancer -- A collection of load balancing algorithms implemented in pure Ocaml -bap -- Binary Analysis Platform -bap-abi -- BAP ABI integration subsystem -bap-analyze -- Implements the analyze command -bap-api -- A pass that adds parameters to subroutines based on known API -bap-arm -- BAP ARM lifter and disassembler -bap-beagle -- BAP obfuscated string solver -bap-beagle-strings -- Finds strings of characters using microexecution -bap-bil -- Controls the BIL transformation pipeline -bap-build -- BAP build automation tools -bap-bundle -- BAP bundler -bap-byteweight -- BAP facility for indentifying code entry points -bap-byteweight-frontend -- BAP Toolkit for training and controlling Byteweight algorithm -bap-c -- A C language support library for BAP -bap-cache -- BAP caching service -bap-callgraph-collator -- Collates programs based on their callgraphs -bap-callsites -- Inject data definition terms at callsites -bap-constant-tracker -- Constant Tracking Analysis based on Primus -bap-core -- Binary Analysis Platform -bap-core-theory -- BAP Semantics Representation -bap-cxxfilt -- A demangler that relies on a c++filt utility -bap-demangle -- Provides names service and demangling facilities -bap-dependencies -- Analyzes program dependencies -bap-disassemble -- Implements the disassemble command -bap-dump-symbols -- BAP plugin that dumps symbols information from a binary -bap-dwarf -- BAP DWARF parsing library -bap-elementary -- BAP floating point approximations of elementary functions -bap-elf -- BAP ELF parser and loader written in native OCaml -bap-emacs-dot -- Will automatically detect graph specifications in a dot syntax and display them using overlaying -bap-emacs-goodies -- A collection of useful Emacs tools for BAP -bap-emacs-mode -- Emacs major mode for reading and analyzing programs in BAP's IR -bap-extra -- Binary Analysis Platform -bap-flatten -- A BAP plugin, that translates a program into the flatten form -bap-frontc -- A C language frontend for based on FrontC library -bap-frontend -- BAP frontend -bap-future -- A library for asynchronous values -bap-ghidra -- BAP Ghidra backend -bap-glibc-runtime -- Detects the presence of glibc runtime -bap-ida-plugin -- Plugins for IDA and BAP integration -bap-knowledge -- Knowledge Representation Library -bap-llvm -- BAP LLVM backend -bap-main -- Build BAP Main Framework Configuration Library -bap-mc -- BAP machine instruction playground -bap-microx -- A micro execution framework -bap-mips -- BAP MIPS lifter -bap-objdump -- Extract symbols from binary, using binutils objdump -bap-optimization -- A BAP plugin that removes dead IR code -bap-patterns -- Applies semantic actions to the matching byte patterns -bap-phoenix -- BAP plugin that dumps information in a phoenix decompiler format -bap-piqi -- BAP plugin for serialization based on piqi library -bap-plugins -- BAP plugins support library -bap-powerpc -- BAP PowerPC lifter -bap-primus -- The BAP Microexecution Framework -bap-primus-dictionary -- BAP Primus Lisp library that provides dictionaries -bap-primus-exploring-scheduler -- Evaluates all machines, prioritizing the least visited -bap-primus-greedy-scheduler -- Evaluates all machines in the DFS order -bap-primus-limit -- Ensures termination by limiting Primus machines -bap-primus-lisp -- BAP Primus Lisp Runtime -bap-primus-loader -- Generic program loader for Primus -bap-primus-mark-visited -- Registers the bap:mark-visited component -bap-primus-powerpc -- Performs the PowerPC target specific setup -bap-primus-print -- Prints Primus states and observations -bap-primus-promiscuous -- Enables the promiscuous mode of execution -bap-primus-propagate-taint -- A compatibility layer between different taint analysis frameworks -bap-primus-random -- Provides components for Primus state randomization -bap-primus-region -- Provides a set of operations to store and manipulate interval trees -bap-primus-round-robin-scheduler -- Evaluates all machines in the BFS order -bap-primus-support -- Provides supporting components for Primus -bap-primus-symbolic-executor -- Primus Symbolic Executor -bap-primus-systems -- Loads Primus systems and registers them in the system repository -bap-primus-taint -- A taint analysis control interface -bap-primus-test -- BAP Primus Testing and Program Verification module -bap-primus-track-visited -- Tracks basic blocks visited by Primus -bap-primus-wandering-scheduler -- Evaluates all machines while -bap-primus-x86 -- The x86 CPU support package for BAP Primus CPU emulator -bap-print -- Print plugin - print project in various formats -bap-radare2 -- Extract symbols from binary using radare2 -bap-raw -- Provides a loader for raw binaries -bap-recipe -- Stores command line parameters and resources in a single file -bap-recipe-command -- Provides commands to manipulate the recipe subsystem -bap-relation -- A set of relations (bimap) -bap-relocatable -- Extracts symbolic information from the program relocations -bap-report -- A BAP plugin that reports program status -bap-riscv -- BAP RISCV lifter and disassembler -bap-run -- A BAP plugin that executes a binary -bap-signatures -- A data package with binary signatures for BAP -bap-specification -- Implements the specification command -bap-ssa -- A BAP plugin, that translates a program into the SSA form -bap-std -- The Binary Analysis Platform Standard Library -bap-strings -- Text utilities useful in Binary Analysis and Reverse Engineering -bap-stub-resolver -- Identifies and manages stub functions in a binary -bap-symbol-reader -- BAP plugin that reads symbol information from files -bap-systemz -- A target support package for the Systemz (Z9) ISA -bap-taint -- BAP Taint Analysis Framework -bap-taint-propagator -- BAP Taint propagation engine using based on microexecution -bap-term-mapper -- A BAP DSL for mapping program terms -bap-thumb -- A target support package for the Thumb instruction set -bap-toplevel -- BAP toplevel, baptop -bap-trace -- A plugin to load and run program execution traces -bap-traces -- BAP Library for loading and parsing execution traces -bap-trivial-condition-form -- Eliminates complex conditionals in branches -bap-warn-unused -- Emit a warning if an unused result may cause a bug or security issue -bap-x86 -- BAP x86 lifter -bare -- BAP Rule Engine Library -bare_encoding -- BARE encoding, see https://baremessages.org/ -bark -- Unofficial OCaml port of elm/parser (v1.1.0) -base v0.16.3 Full standard library replacement for OCaml -base-bigarray base -base-bytes base Bytes library distributed with the OCaml compiler -base-native-int63 -- Virtual package for enabling native int63 support in Base -base-threads base -base-unix base -base32 -- Base32 encoding for OCaml -base58 -- Base58 encoding and decoding -base64 3.5.1 Base64 encoding for OCaml -base_bigstring v0.16.0 String type based on [Bigarray], for use in I/O and C-bindings -base_quickcheck v0.16.0 Randomized testing framework, designed for compatibility with Base -base_trie -- Trie data structure library -bastet -- An OCaml library for category theory and abstract algebra -bastet_async -- Async implementations for bastet -bastet_lwt -- Lwt implementations for bastet -batch_jaro_winkler -- Fast batch jaro winkler distance implementation in C99 -batsat -- OCaml bindings for batsat, a SAT solver in rust -batteries 3.7.1 A community-maintained standard library extension -bdd -- Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml -bddrand -- A simple front-end to the lutin Random toss machinary -bear -- Bare essential additions to the stdlib -bech32 -- Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki) -bechamel -- Yet Another Benchmark in OCaml -bechamel-js -- HTML generator for bechamel's output -bechamel-notty -- CLI generator for bechamel's output -bechamel-perf -- Linux perf's metrics for bechamel -beluga -- Implementation of contextual modal logic for reasoning with higher-order abstract syntax -benchmark -- Benchmark running times of code -benchpress -- Tool to run one or more logic programs, on a set of files, and collect the results -benchpress-server -- Server and web UI for benchpress -bencode -- Bencode (`.torrent` file format) reader/writer in OCaml -bentov -- 1D histogram sketching -bestline -- OCaml bindings for the bestline C library -bheap 2.0.0 Priority queues -bibtex2html -- BibTeX to HTML translator -bidirectional_map -- A library for bidirectional maps and multimaps. -bigarray-compat 1.1.0 Compatibility library to use Stdlib.Bigarray when possible -bigarray-overlap 0.2.1 Bigarray.overlap -bigdecimal -- Arbitrary-precision decimal based on Zarith -bignum -- Core-flavoured wrapper around zarith's arbitrary-precision rationals -bigstring 0.3 A set of utils for dealing with `bigarrays` of `char` -bigstring-unix -- I/O functions for bigstrings using file descriptors and memory-maps -bigstringaf 0.9.1 Bigstring intrinsics and fast blits based on memcpy/memmove -bimage -- A simple, efficient image-processing library -bimage-display -- Window system for Bimage -bimage-gtk -- Bimage_gtk allows images to be displayed in GTK windows -bimage-io -- Input/output for Bimage using OpenImageIO -bimage-lwt -- A simple, efficient image-processing library (LWT bindings) -bimage-sdl -- Bimage_gtk allows images to be displayed using SDL -bimage-unix -- Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image -bimap -- An OCaml library implementing bi-directional maps and multi-maps -bin_prot v0.16.0 A binary protocol generator -binaryen -- OCaml bindings for Binaryen -binaryen_dsl -- Writing Webassembly text format in DSL -binbin -- Convenient and human-readable bitmap manipulation -bindlib -- OCaml Bindlib library for bound variables -biniou -- Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve -binning -- A datastructure to accumulate values in bins -binsec -- Semantic analysis of binary executables -bio_io -- A library for reading and writing common file formats used in bioinformatics like FASTA files -biocaml -- The OCaml Bioinformatics Library -biotk -- Bioinformatics toolkit -bip32 -- Hierarchical Deterministic Wallets -bisect -- Code coverage tool for the OCaml language (deprecated) -bisect_ppx -- Code coverage for OCaml -bisect_ppx-ocamlbuild -- Ocamlbuild plugin for Bisect_ppx, the coverage tool -bistro -- A library to build and run distributed scientific workflows -bistro-bio -- Bistro workflows for computational biology -bitcoin -- Bitcoin Client API logic-only -bitcoin-cohttp-async -- Bitcoin Client API cohttp-async interface -bitcoin-cohttp-lwt -- Bitcoin Client API cohttp-lwt interface -bitcoin-ocurl -- Bitcoin Client API ocurl interface -bitlib -- A library for writing binary files -bitmasks -- BitMasks over int and int64 exposed as sets -bitpack_serializer -- This library provides functions for encoding efficiently simple OCaml data -bitstring -- Bitstrings and bitstring matching for OCaml -bitv -- A bit vector library for OCaml -bitvec -- Fixed-size bitvectors and modular arithmetic, based on Zarith -bitvec-binprot -- Janestreet's Binprot serialization for Bitvec -bitvec-order -- Base style comparators and orders for Bitvec -bitvec-sexp -- Sexp serializers for Bitvec -bitwuzla -- SMT solver for AUFBVFP -bitwuzla-bin -- Bitwuzla SMT solver executable -bitwuzla-c -- SMT solver for AUFBVFP (C API) -bitwuzla-cxx -- SMT solver for AUFBVFP (C++ API) -bjack -- Bindings for the Jack library which provides functions for linking audio programs -blake2 -- Blake2 cryptography -blake3 -- Blake3 cryptography -bloomf -- Efficient Bloom filters for OCaml -bls12-381 18.0 Implementation of the BLS12-381 curve (wrapper for the Blst library) -bls12-381-gen -- Functors to generate BLS12-381 primitives based on stubs -bls12-381-hash -- Implementation of some cryptographic hash primitives using the scalar field of BLS12-381 -bls12-381-js -- JavaScript version of BLS12-381 primitives implementing the virtual package bls12-381 -bls12-381-js-gen -- Functors to generate BLS12-381 JavaScript primitives based on stubs -bls12-381-legacy -- UNIX version of BLS12-381 primitives. Not implementating the virtual package bls12-381 -bls12-381-signature -- Implementation of BLS signatures for the pairing-friendly curve BLS12-381 -bls12-381-unix -- UNIX version of BLS12-381 primitives implementing the virtual package bls12-381 with blst backend -blurhash -- A BlurHash encoder in OCaml -bn128 -- Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML -bnfgen -- Random text generator that takes context-free grammars from BNF files -bogue -- GUI library for ocaml, with animations, based on SDL2 -bogue-tutorials -- Bogue Tutorials -boltzgen -- Generate tests using boltzman sampling -bonsai -- A library for building dynamic webapps, using Js_of_ocaml -bookaml -- Library for retrieving information about published books -bos 0.2.1 Basic OS interaction for OCaml -boulangerie -- B# Package Manager -box -- Render boxes in the terminal -bpf -- Embedded eBPF assembler -bracetax -- Simple and deterministic text processing syntax -broken -- The Broken package is a simple testsuite framework. -brr 0.0.6 Browser programming toolkit for OCaml -brr-lwd -- Make reactive webpages in Js_of_ocaml using Brr and Lwd -bsdowl -- This collection of BSD Make directives aims at providing a highly -bst 7.0.1 Bisector tree implementation in OCaml -buffer-pool -- A pool of buffers which automatically increases in size as required -build_path_prefix_map -- An OCaml implementation of the BUILD_PATH_PREFIX_MAP specification -builder -- Scheduling and executing shell jobs -builder-web -- Web interface for builder -bun -- Simple management of afl-fuzz processes -bwd -- Backward lists -bwrap -- Use Bubblewrap to sandbox executables -bytearray -- Efficient marshaling to and from bigarrays -bytebuffer -- Extensible buffers built on top of bigarrays -ca-certs 0.2.3 Detect root CA certificates from the operating system -ca-certs-nss -- X.509 trust anchors extracted from Mozilla's NSS -cactus -- A B-Tree based index implementation -cairn -- A derivation explorer and logger for menhir parser -cairo2 -- Binding to Cairo, a 2D Vector Graphics Library -cairo2-gtk -- Rendering Cairo on Gtk2 canvas -cairo2-pango -- Interface between Cairo and Pango (for Gtk2) -caisar -- A platform for characterizing the safety and robustness of artificial intelligence based software -caisar-ir -- CAISAR's intermediate representation -caisar-nnet -- NNet parser for CAISAR -caisar-onnx -- ONNX parser for CAISAR -caisar-ovo -- OVO parser for CAISAR -caisar-xgboost -- XGBOOST parser for CAISAR -calcium -- Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development -calculon -- Library for writing IRC bots in OCaml and a collection of plugins -calculon-redis -- A redis plugin for Calculon -calculon-redis-lib -- A library to interact with Calculon via Redis -calculon-web -- A collection of web plugins for Calculon -caldav -- A CalDAV server -calendar -- Library for handling dates and times in your program -calendars -- Convert dates between gregorian/julian/french/hebrew calendars -calipso -- Rewrites C programs to remove non-structured control-flow -callipyge -- Pure OCaml implementation of Curve25519 -camelot -- An OCaml Linter / Style Checker -camels -- A game about camels -camelsnakekebab -- A Ocaml library for word case conversion -caml-mode -- Caml mode for GNU Emacs -camlbz2 -- Bindings for bzip2 -camlgpc -- Interface to Alan Murta's General Polygon Clipper -camlidl 1.11 Stub code generator for OCaml -camlimages -- Image processing library -camlix -- Simple circuit breaker -camllib -- Utility Library (including various datatypes) -camlmix -- Camlmix is a generic preprocessor which converts text with embedded -camlon -- Caml Object Notion, parsing and printing OCaml like data expressions -camlp-streams 5.0.1 The Stream and Genlex libraries for use with Camlp4 and Camlp5 -camlp4 -- Camlp4 is a system for writing extensible parsers for programming languages -camlp5 -- Preprocessor-pretty-printer of OCaml -camlp5-buildscripts -- Camlp5 Build scripts (written in OCaml) -camlpdf -- Read, write and modify PDF files -camlprime -- Primality testing with lazy lists of prime numbers -camlrack -- S-Expression parsing for OCaml -camltc -- OCaml bindings for tokyo cabinet -camlzip 1.11 Accessing compressed files in ZIP, GZIP and JAR format -camomile -- A Unicode library -camyll -- A static site generator -canary -- Capture unhandled exceptions and automatically report them through various channels -capnp -- OCaml code generation plugin for the Cap'n Proto serialization framework -capnp-rpc -- Cap'n Proto is a capability-based RPC system with bindings for many languages -capnp-rpc-lwt -- Cap'n Proto is a capability-based RPC system with bindings for many languages -capnp-rpc-mirage -- Cap'n Proto is a capability-based RPC system with bindings for many languages -capnp-rpc-net -- Cap'n Proto is a capability-based RPC system with bindings for many languages -capnp-rpc-unix -- Cap'n Proto is a capability-based RPC system with bindings for many languages -captureio -- Capture output to Stderr and Stdout -caqti 1.9.0 Unified interface to relational database libraries -caqti-async -- Async support for Caqti -caqti-driver-mariadb -- MariaDB driver for Caqti using C bindings -caqti-driver-pgx -- PostgreSQL driver for Caqti based on the pure-OCaml PGX library -caqti-driver-postgresql -- PostgreSQL driver for Caqti based on C bindings -caqti-driver-sqlite3 -- Sqlite3 driver for Caqti using C bindings -caqti-dynload -- Dynamic linking of Caqti drivers using findlib.dynload -caqti-lwt 1.9.0 Lwt support for Caqti -caqti-mirage -- MirageOS support for Caqti -caqti-type-calendar -- Date and time field types using the calendar library -carray -- Contiguous arrays in OCaml -carton -- Implementation of PACKv2 file in OCaml -carton-git -- Implementation of PACK file in OCaml -carton-lwt -- Implementation of PACK file in OCaml -catala -- Compiler and library for the literate programming language for tax code specification -catapult -- Tracing system based on the Catapult/TEF format -catapult-client -- Network client for catapult, to be paired with catapult-daemon -catapult-daemon -- Daemon for reliable multi-process logging with catapult -catapult-file -- File logger for catapult -catapult-sqlite -- Sqlite-based backend for Catapult tracing -cb-check -- Json schema checker for current-bench -cbor -- CBOR encoder/decoder (RFC 7049) - native OCaml implementation -cborl -- CBOR library -cca -- A framework for differential source code analyses -ccbg -- Wallpaper utility for Wayland -cconv -- Combinators for Type Conversion in OCaml -cdrom -- Query the state and contents of CDROM devices under Linux -certify -- CLI utilities for simple X509 certificate manipulation -cf -- OCaml bindings to macOS CoreFoundation -cf-lwt -- Lwt interface to macOS CoreFoundation -cfg -- CFG - Context-Free Grammars -cfgen -- This package was renamed to bnfgen. -cfml -- The CFML program verification tool -cfstream -- Stream operations in the style of Core's API -cgi -- Library for writing CGIs -cgroups -- An OCaml interface for the Linux control groups -chacha -- The Chacha functions, in OCaml -chalk -- Composable and simple terminal highlighting package -chamelon -- Subset of littlefs filesystem fulfilling MirageOS KV -chamelon-unix -- Command-line Unix utilities for chamelon filesystems -chamo -- A kind of emacs-like editor, using OCaml instead of lisp -charInfo_width -- Determine column width for a character -charrua -- DHCP wire frame encoder and decoder -charrua-client -- DHCP client implementation -charrua-client-lwt -- A DHCP client using lwt as effectful layer -charrua-client-mirage -- A DHCP client for MirageOS -charrua-server -- DHCP server -charrua-unix -- Unix DHCP daemon -charset -- Fast char sets -chartjs -- OCaml bindings for Chart.js -chartjs-annotation -- OCaml bindigns for Chart.js annotation plugin -chartjs-colorschemes -- OCaml bindigns for Chart.js colorschemes plugin -chartjs-datalabels -- OCaml bindigns for Chart.js datalabels plugin -chartjs-streaming -- OCaml bindings for Chart.js streaming plugin -chase -- Model finder for geometric theories using the chase -checkseum 0.5.2 Adler-32, CRC32 and CRC32-C implementation in C and OCaml -choice -- Choice monad, for easy backtracking -chrome-trace 3.11.1 Chrome trace event generation library -cid -- Content-addressed Identifiers -cinaps -- Trivial metaprogramming tool -clangml -- OCaml bindings for Clang API -clangml-transforms -- Code transformers for clangml -clap -- Command-Line Argument Parsing, imperative style with a consumption mechanism -clarity-lang -- Clarity smart contract parser and AST -class_group_vdf 0.0.4 Verifiable Delay Functions bindings to Chia's VDF -clim -- Command Line Interface Maker -cloudi -- OCaml CloudI API -clp_operations -- A Clp domain -clz -- Compression support for cohttp-lwt client using decompress -cmark -- OCaml bindings for the CMark Common Markdown parsing and rendering library. -cmarker -- Bindings for a local installation of CMark -cmarkit -- CommonMark parser and renderer for OCaml -cmdliner 1.2.0 Declarative definition of command line interfaces for OCaml -cmdliner-stdlib -- A collection of cmdliner terms to control OCaml runtime parameters -cmdtui -- Interactive command completion and execution for building REPLs -cmdtui-lambda-term -- Interactive command completion and execution for building REPLs -cmitomli -- Converts compiled interface files (.cmi) into source interface files (.mli) -cmon -- A library for printing OCaml values with sharing -coccinelle -- Coccinelle is a C source code matching and transformation engine -codept -- Alternative ocaml dependency analyzer -cohttp 5.3.0 An OCaml library for HTTP clients and servers -cohttp-async -- CoHTTP implementation for the Async concurrency library -cohttp-curl -- Shared code between the individual cohttp-curl clients -cohttp-curl-async -- Cohttp client using Curl & Async as the backend -cohttp-curl-lwt -- Cohttp client using Curl & Lwt as the backend -cohttp-lwt 5.3.0 CoHTTP implementation using the Lwt concurrency library -cohttp-lwt-jsoo -- CoHTTP implementation for the Js_of_ocaml JavaScript compiler -cohttp-lwt-unix 5.3.0 CoHTTP implementation for Unix and Windows using Lwt -cohttp-mirage -- CoHTTP implementation for the MirageOS unikernel -cohttp-server-lwt-unix -- Lightweight Cohttp + Lwt based HTTP server -cohttp-top -- CoHTTP toplevel pretty printers for HTTP types -cohttp_async_websocket -- Websocket library for use with cohttp and async -cohttp_static_handler -- A library for easily creating a cohttp handler for static files -coin -- Mapper of KOI8-{U,R} to Unicode -colibri2 -- A CP solver for smtlib -colibrics -- A CP solver proved in Why3 -colibrilib -- A library of domains and propagators proved in Why3 -colombe -- SMTP protocol in OCaml -color -- -color-brewery -- Offer colors palettes and functions to brew colors -combinaml -- Simple, customizable, dependency free parser combinator library -combinat -- Fast combinatorics for OCaml -combine -- Combine is a library for combinatorics problem solving. -comby -- A tool for structural code search and replace that supports ~every language -comby-kernel -- A match engine for structural code search and replace that supports ~every language -comby-semantic -- A match engine for structural code search and replace that supports ~every language -command_rpc -- Utilities for Versioned RPC communication with a child process over stdin and stdout -commons -- Yet another set of common utilities -conan -- Identify type of your file (such as the MIME type) -conan-cli -- Identify type of your file (such as the MIME type) -conan-database -- A database of decision trees to recognize MIME type -conan-lwt -- Identify type of your file (such as the MIME type) -conan-unix -- Identify type of your file (such as the MIME type) -conduit 6.2.0 A network connection establishment library -conduit-async -- A network connection establishment library for Async -conduit-lwt 6.2.0 A portable network connection establishment library using Lwt -conduit-lwt-unix 6.2.0 A network connection establishment library for Lwt_unix -conduit-mirage -- A network connection establishment library for MirageOS -conex -- Establishing trust in community repositories -conex-mirage-crypto -- Establishing trust in community repositories: crypto provided via mirage-crypto -conex-nocrypto -- Establishing trust in community repositories: crypto provided via nocrypto -conf-aclocal -- Virtual package relying on aclocal -conf-adwaita-icon-theme -- Virtual package relying on adwaita-icon-theme -conf-alsa 1 Virtual package relying on alsa -conf-antic -- Virtual package relying on a Antic lib system installation -conf-ao -- Virtual package relying on libao -conf-arb -- Virtual package relying on a Arb lib system installation -conf-asciidoc -- Virtual package relying on asciidoc -conf-assimp -- Check if assimp (Open Asset Import Library) is installed -conf-autoconf 0.1 Virtual package relying on autoconf installation -conf-automake -- Virtual package relying on GNU automake -conf-bap-llvm -- Checks that supported version of LLVM is installed -conf-bash -- Virtual package to install the Bash shell -conf-binutils -- Checks that binutils are installed -conf-bison -- Virtual package relying on GNU bison -conf-blas -- Virtual package for BLAS configuration -conf-bluetooth -- Virtual package for Bluetooth library -conf-bmake -- Virtual package relying on a BSD Make compatible program -conf-boost -- Virtual package relying on boost -conf-brotli -- Virtual package relying on a brotli system installation -conf-c++ -- Virtual package relying on the c++ compiler -conf-cairo -- Virtual package relying on a Cairo system installation -conf-calcium -- Virtual package relying on a Calcium lib system installation -conf-capnproto -- Virtual package relying on captnproto installation -conf-clang -- Virtual package relying on clang -conf-clang-format -- Virtual package relying on clang-format -conf-cmake 1 Virtual package relying on cmake -conf-cosmopolitan -- Virtual package relying on APE/Cosmopolitan -conf-cpio -- Virtual package relying on cpio -conf-csdp -- Virtual package relying on a CSDP binary system installation -conf-dbm -- Virtual package relying on gdbm -conf-diffutils -- Virtual package relying on diffutils -conf-dpkg -- Virtual package relying on dpkg -conf-dssi -- Virtual package relying on dssi -conf-efl -- Virtual package relying on the EFL system installation -conf-emacs -- Virtual package to install the Emacs editor -conf-env-travis -- Detect Travis CI and lift its environment to opam -conf-expat -- Virtual package relying on an expat system installation -conf-faad -- Virtual package relying on libfaad -conf-fdkaac -- Virtual package relying on fdk-aac -conf-ffmpeg -- Virtual package relying on FFmpeg -conf-fftw3 -- Virtual package relying on a FFTW3 lib system installation -conf-findutils -- Virtual package relying on findutils -conf-flex -- Virtual package relying on GNU flex -conf-flint -- Virtual package relying on a Flint lib system installation -conf-freetype -- Virtual package relying on a freetype lib system installation -conf-frei0r -- Virtual package relying on frei0r -conf-fswatch -- Virtual package relying on libfswatch installation -conf-ftgl -- Virtual package relying on an ftgl system installation -conf-fts -- Virtual package relying on the fts.h header -conf-g++ 1.0 Virtual package relying on the g++ compiler (for C++) -conf-gcc -- Virtual package relying on the gcc compiler (for C) -conf-gd -- Virtual package relying on a libgd system installation -conf-gfortran -- Virtual package relying on a gfortran system installation -conf-ghostscript -- Virtual package relying on ghostscript -conf-git -- Virtual package relying on git -conf-glade -- Virtual package relying on a libglade system installation -conf-gles2 -- Virtual package relying on a OpenGL ES 2 system installation -conf-glew -- Virtual package relying on a GLEW system installation -conf-glfw3 -- Virtual package relying on a GLFW3 system installation -conf-glib-2 -- Virtual package relying on a system GLib 2 installation -conf-glpk -- Virtual package for GLPK (GNU Linear Programming Kit) -conf-gmp 4 Virtual package relying on a GMP lib system installation -conf-gmp-powm-sec 3 Virtual package relying on a GMP lib with constant-time modular exponentiation -conf-gnome-icon-theme3 -- Virtual package relying on gnome-icon-theme -conf-gnuplot -- Virtual package relying on gnuplot installation -conf-gnutls -- Virtual package relying on a gnutls system installation -conf-gobject-introspection -- Virtual package relying on a system gobject-introspection installation -conf-goocanvas2 -- Virtual package relying on a Goocanvas-2 system installation -conf-gpiod -- C libgpiod library for GPIO on recent (>4.8) Linux kernels -conf-graphviz -- Virtual package relying on graphviz installation -conf-gsl -- Virtual package relying on a GSL lib system installation -conf-gssapi -- Virtual package relying on a krb5-gssapi system installation -conf-gstreamer -- Virtual package relying on libgstreamer -conf-gtk2 -- Virtual package relying on gtk2 -conf-gtk3 -- Virtual package relying on GTK+ 3 -conf-gtksourceview -- Virtual package relying on a GtkSourceView system installation -conf-gtksourceview3 -- Virtual package relying on a GtkSourceView-3 system installation -conf-guile -- Virtual package relying on an GNU Guile system installation -conf-haveged -- Check if havaged is installed on the system -conf-hidapi 0 Virtual package relying on a hidapi system installation -conf-ida -- Checks that IDA Pro is installed -conf-jack -- Virtual package relying on jack -conf-jq -- Virtual package relying on jq -conf-ladspa -- Virtual package relying on ladspa -conf-lame -- Virtual package relying on lame -conf-lapack -- Virtual package for LAPACK configuration -conf-leveldb -- Virtual package relying on a LevelDB lib system installation -conf-libargon2 -- Virtual package relying on libargon2 -conf-libbz2 -- Virtual package relying on libbz2 -conf-libclang -- Virtual package relying on the installation of llvm and clang libraries (<= 15.0.x) -conf-libcurl -- Virtual package relying on a libcurl system installation -conf-libdw -- Virtual package relying on libdw -conf-libev 4-12 High-performance event loop/event model with lots of features -conf-libevent -- Virtual package relying on libevent -conf-libffi 2.0.0 Virtual package relying on libffi system installation -conf-libflac -- Virtual package relying on libFLAC -conf-libfontconfig -- Virtual package relying on fontconfig -conf-libfuse -- Virtual package relying on FUSE -conf-libgif -- Virtual package relying on a libgif system installation -conf-libgsasl -- Virtual package relying on a GSASL lib system installation -conf-libjpeg -- Virtual package relying on a libjpeg system installation -conf-liblinear-tools -- Virtual package relying on liblinear-{train|predict} installation -conf-liblo -- Virtual package relying on liblo -conf-liblz4 -- Virtual package relying on liblz4 system installation -conf-liblzma -- Virtual package relying on liblzma -conf-libMagickCore -- Virtual package relying on an ImageMagick system installation -conf-libmagic -- Virtual package relying on a libmagic system installation -conf-libmaxminddb -- Virtual package relying on a libmaxminddb system installation -conf-libmosquitto -- Virtual package relying on a libmosquitto system installation -conf-libmpg123 -- Virtual package relying on libmpg123 -conf-libnl3 -- Virtual package relying on a libnl system installation -conf-libogg -- Virtual package relying on libogg -conf-libopus -- Virtual package relying on libopus -conf-libpcre -- Virtual package relying on a libpcre system installation -conf-libpcre2-8 -- Virtual package relying on a libpcre2 system installation -conf-libpng -- Virtual package relying on a libpng system installation -conf-libportmidi -- Virtual package relying on libportmidi -conf-librsvg2 -- Virtual package relying on Librsvg2 system installation -conf-libsamplerate -- Virtual package relying on libsamplerate -conf-libseccomp -- Virtual package relying on a libseccomp system installation -conf-libsodium -- Virtual package relying on a libsodium system installation -conf-libspeex -- Virtual package relying on libspeex -conf-libssl 4 Virtual package relying on an OpenSSL library system installation -conf-libsvm -- Virtual package relying on libsvm library installation -conf-libsvm-tools -- Virtual package relying on libsvm-tools installation -conf-libtheora -- Virtual package relying on libtheora -conf-libtool -- Virtual package relying on libtool installation -conf-libudev -- Virtual package relying on a libudev system installation -conf-libuv -- Virtual package relying on a libuv system installation -conf-libvorbis -- Virtual package relying on libvorbis -conf-libwayland -- Virtual package relying on libwayland -conf-libX11 -- Virtual package relying on an Xlib system installation -conf-libxcb -- Virtual package relying on xcb -conf-libxcb-image -- Virtual package relying on xcb-image -conf-libxcb-keysyms -- Virtual package relying on xcb-shm -conf-libxcb-shm -- Virtual package relying on xcb-shm -conf-libxcb-xkb -- Virtual package relying on xcb-xkb -conf-libxcursor -- Virtual package relying on an libXcursor system installation -conf-libxi -- Virtual package relying on an libXi system installation -conf-libxinerama -- Virtual package relying on an libXinerama system installation -conf-libxrandr -- Virtual package relying on an libXRandR system installation -conf-lilv -- Virtual package relying on lilv -conf-linux-libc-dev -- Virtual package relying on the installation of the Linux kernel headers files -conf-lldb -- Virtual package to check the availability of LLDB 3.5 development packages -conf-llvm -- Virtual package relying on llvm library installation -conf-lua -- Virtual package relying on a Lua system installation -conf-lz4 -- Virtual package requiring the lz4 command to be available -conf-m4 -- Virtual package relying on m4 -conf-mad -- Virtual package relying on mad -conf-mariadb -- Virtual package relying on a libmariadbclient system installation -conf-mbedtls -- Virtual package relying on an mbedtls system installation -conf-mecab -- Virtual package relying on MeCab library installation -conf-mesa -- Virtual package relying on an mesa system installation -conf-mpfr 3 Virtual package relying on library MPFR installation -conf-mpi -- Virtual package relying on a mpi system installation -conf-mysql -- Virtual package relying on a libmysqlclient system installation -conf-nanomsg -- Virtual package relying on a nanomsg system installation -conf-nauty -- Virtual package relying on nauty -conf-ncurses -- Virtual package relying on ncurses -conf-neko -- Virtual package relying on a Neko system installation -conf-netsnmp -- Package relying on net-snmp libs -conf-nlopt -- Virtual package relying on nlopt -conf-nmap -- Virtual package relying on nmap installation -conf-npm -- Virtual package relying on npm installation -conf-numa -- Package relying on libnuma -conf-ode -- Virtual package relying on a ODE system installation -conf-oniguruma -- Virtual package relying on an Oniguruma system installation -conf-openbabel -- Virtual package relying on openbabel library installation -conf-openblas -- Virtual package to install OpenBLAS and LAPACKE -conf-opencc0 -- Virtual package relying on opencc v0 (libopencc.so.1) installation -conf-opencc1 -- Virtual package relying on opencc v1 (libopencc.so.2) installation -conf-opencc1_1 -- Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation -conf-openimageio -- Virtual package relying on OpenImageIO development package installation -conf-openjdk -- Virtual package relying on OpenJDK / Javac -conf-openssl -- Virtual package relying on an OpenSSL binary system installation -conf-pam -- Virtual package relying on a system installation of PAM -conf-pandoc -- Virtual package relying on pandoc installation -conf-pango -- Virtual package relying on a Pango system installation -conf-perl 2 Virtual package relying on perl -conf-perl-ipc-system-simple -- Virtual package relying on perl's IPC::System::Simple -conf-perl-string-shellquote -- Virtual package relying on perl's String::ShellQuote -conf-pixz -- Virtual package relying on pixz -conf-pkg-config 3 Check if pkg-config is installed and create an opam switch local pkgconfig folder -conf-plplot -- Virtual package relying on plplot -conf-portaudio -- Virtual package relying on portaudio -conf-postgresql -- Virtual package relying on a PostgreSQL system installation -conf-ppl -- Virtual package relying on the Parma Polyhedra Library (PPL) system installation -conf-protoc -- Virtual package to install protoc compiler -conf-pulseaudio -- Virtual package relying on pulseaudio -conf-python-2-7 -- Virtual package relying on Python-2.7 installation -conf-python-2-7-dev -- Virtual package relying on Python-2.7 development package installation -conf-python-3 -- Virtual package relying on Python-3 installation -conf-python-3-7 -- Virtual package relying on Python >=3.7 installation -conf-python-3-dev -- Virtual package relying on Python 3 development package installation -conf-python3-yaml -- Virtual package relying on PyYAML -conf-qt -- Installation of Qt5 using APT packages or from source -conf-r -- Virtual package relying on the R interpreter -conf-r-mathlib -- Virtual package relying on a system installation of R Standalone Mathlib -conf-radare2 -- Checks that radare2 is installed -conf-rdkit -- Virtual package relying on rdkit library installation -conf-readline -- Virtual package relying on a readline system installation -conf-rocksdb -- Virtual package relying on a system installation of RocksDB -conf-ruby -- Virtual package relying on Ruby -conf-rust 0.1 Virtual package relying on cargo (rust build system) -conf-rust-2018 -- Virtual package relying on cargo (rust build system) -conf-rust-2021 1 Virtual package relying on cargo (rust build system) -conf-samplerate -- Virtual package relying on samplerate -conf-sdl-gfx -- Virtual package relying on a sdl-gfx system installation -conf-sdl-image -- Virtual package relying on a sdl-image system installation -conf-sdl-mixer -- Virtual package relying on a sdl-mixer system installation -conf-sdl-net -- Virtual package relying on a sdl-net system installation -conf-sdl-ttf -- Virtual package relying on a sdl-ttf system installation -conf-sdl2 1 Virtual package relying on a SDL2 system installation -conf-sdl2-image -- Virtual package relying on a sdl2-image system installation -conf-sdl2-mixer -- Virtual package relying on a sdl2-mixer system installation -conf-sdl2-net -- Virtual package relying on a sdl2-net system installation -conf-sdl2-ttf -- Virtual package relying on a sdl2-ttf system installation -conf-sdpa -- Virtual package relying on a SDPA binary system installation -conf-secp256k1 -- Virtual package relying on a secp256k1 lib system installation -conf-sfml2 -- Virtual package relying on a SFML2 system installation -conf-shine -- Virtual package relying on libshine -conf-snappy -- Virtual package relying on snappy -conf-soundtouch -- Virtual package relying on soundtouch -conf-sqlite3 -- Virtual package relying on an SQLite3 system installation -conf-srt -- Virtual package relying on srt -conf-srt-gnutls -- Virtual package relying on srt build with gnutls -conf-srt-openssl -- Virtual package relying on srt compiled with openssl -conf-sundials -- Virtual package relying on sundials -conf-swi-prolog -- Virtual package to install the swi-prolog interpreter -conf-taglib -- Virtual package relying on taglib -conf-tcl -- Virtual package relying on tcl -conf-texlive -- Virtual package relying on texlive / pdflatex -conf-tidy -- Virtual package relying on libtidy installation -conf-time -- Virtual package relying on the "time" command -conf-timeout -- Virtual package relying on the "timeout" command -conf-tk -- Virtual package relying on tk -conf-tree-sitter -- Check if tree-sitter is installed -conf-trexio -- Virtual package relying on trexio library installation -conf-tzdata -- Virtual package relying on tzdata -conf-unwind -- Virtual package relying on libunwind -conf-vim -- Virtual package to install the Vim editor -conf-wayland-protocols -- Virtual package relying on wayland-protocols -conf-wget -- Virtual package relying on wget -conf-which 1 Virtual package relying on which -conf-wxwidgets -- Virtual package to check the availability of wxWidgets 3.0 development packages -conf-xen -- Virtual package relying on Xen headers -conf-xkbcommon -- Virtual package relying on xkbcommon -conf-xxhash -- Virtual package relying on a xxhash system installation -conf-zig -- Virtual package relying on zig -conf-zlib 1 Virtual package relying on zlib -conf-zmq -- Virtual package relying on zmq library installation -conf-zstd -- Virtual package relying on zstd -confero -- Unicode Collation -config-file -- A library used to manage configuration files -configuration -- Analyse configuration files -conformist -- Conformist allows you to define schemas to decode, validate and sanitize input data declaratively -conjury -- Conjury library for OMake -containers -- A modular, clean and powerful extension of the OCaml standard library -containers-data -- A set of advanced datatypes for containers -containers-thread -- An extension of containers for threading -content_security_policy -- A library for building content-security policies -cookie -- Cookie handling for OCaml and ReasonML -cookies -- HTTP cookies library for OCaml -coq -- The Coq Proof Assistant -coq-core -- The Coq Proof Assistant -- Core Binaries and Tools -coq-lsp -- Language Server Protocol native server for Coq -coq-native -- Package flag enabling coq's native-compiler flag -coq-of-ocaml -- Compile a subset of OCaml to Coq -coq-serapi -- Serialization library and protocol for machine interaction with the Coq proof assistant -coq-shell -- Simplified OPAM shell for Coq -coq-stdlib -- The Coq Proof Assistant -- Standard Library -coq-waterproof -- Coq proofs in a style that resembles non-mechanized mathematical proofs -coqide -- The Coq Proof Assistant --- GTK3 IDE -coqide-server -- The Coq Proof Assistant, XML protocol server -cordova -- Binding OCaml to cordova Javascript object. -cordova-plugin-activity-indicator -- Binding OCaml to cordova-plugin-activity-indicator using gen_js_api. -cordova-plugin-background-mode -- Binding to cordova-plugin-background-mode using gen_js_api. -cordova-plugin-barcode-scanner -- Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api. -cordova-plugin-battery-status -- Binding OCaml to cordova-plugin-battery-status using gen_js_api. -cordova-plugin-camera -- Binding OCaml to cordova-plugin-camera using gen_js_api. -cordova-plugin-clipboard -- Binding OCaml to cordova-plugin-clipboard using gen_js_api. -cordova-plugin-device -- Binding OCaml to cordova-plugin-device using gen_js_api. -cordova-plugin-device-orientation -- Binding OCaml to cordova-plugin-device-orientation using gen_js_api. -cordova-plugin-dialogs -- Binding OCaml to cordova-plugin-dialogs using gen_js_api. -cordova-plugin-email-composer -- Binding OCaml to cordova-plugin-email-composer using gen_js_api. -cordova-plugin-fcm -- Binding OCaml to cordova-plugin-fcm using gen_js_api. -cordova-plugin-file -- Binding OCaml to cordova-plugin-file using gen_js_api. -cordova-plugin-file-opener -- Binding OCaml to cordova-plugin-file-opener using gen_js_api. -cordova-plugin-file-transfer -- Binding OCaml to cordova-plugin-file-transfer using gen_js_api. -cordova-plugin-geolocation -- Binding OCaml to cordova-plugin-geolocation using gen_js_api. -cordova-plugin-image-picker -- Binding OCaml to cordova-plugin-image-picker using gen_js_api. -cordova-plugin-inappbrowser -- Binding OCaml to cordova-plugin-inappbrowser using gen_js_api. -cordova-plugin-insomnia -- Binding OCaml to cordova-plugin-insomnia using gen_js_api. -cordova-plugin-keyboard -- Binding OCaml to cordova-plugin-keyboard using gen_js_api. -cordova-plugin-loading-spinner -- Binding OCaml to cordova-plugin-loading-spinner using gen_js_api. -cordova-plugin-local-notifications -- Binding to cordova-plugin-local-notifications using gen_js_api. -cordova-plugin-media -- Binding OCaml to cordova-plugin-media using gen_js_api. -cordova-plugin-media-capture -- Binding OCaml to cordova-plugin-media-capture using gen_js_api. -cordova-plugin-network-information -- Binding OCaml to cordova-plugin-network-information using gen_js_api. -cordova-plugin-progress -- Binding OCaml to cordova-plugin-progress using gen_js_api. -cordova-plugin-push-notifications -- Binding OCaml to phonegap-plugin-push using gen_js_api. -cordova-plugin-qrscanner -- Binding OCaml to cordova-plugin-qrscanner using gen_js_api. -cordova-plugin-screen-orientation -- Binding OCaml to cordova-plugin-screen-orientation using gen_js_api. -cordova-plugin-sim-card -- Binding OCaml to cordova-plugin-sim-card using gen_js_api. -cordova-plugin-sms -- Binding OCaml to cordova-plugin-sms using gen_js_api. -cordova-plugin-social-sharing -- Binding OCaml to cordova-plugin-x-socialsharing using gen_js_api. -cordova-plugin-statusbar -- Binding OCaml to cordova-plugin-statusbar using gen_js_api. -cordova-plugin-toast -- Binding OCaml to cordova-plugin-toast using gen_js_api. -cordova-plugin-touch-id -- Binding OCaml to cordova-plugin-touch-id using gen_js_api. -cordova-plugin-vibration -- Binding OCaml to cordova-plugin-vibration using gen_js_api. -cordova-plugin-videoplayer -- Binding OCaml to cordova-plugin-videoplayer using gen_js_api. -core v0.16.2 Industrial strength alternative to OCaml's standard library -core-and-more -- Includes core, and some more useful extensions -core_bench -- Benchmarking library -core_compat -- Compatibility for core 0.14 -core_extended -- Extra components that are not as closely vetted or as stable as Core -core_kernel v0.16.0 Industrial strength alternative to OCaml's standard library -core_profiler -- Profiling library -core_unix v0.16.0 Unix-specific portions of Core -corecount -- Get count of cores on machine -cosovo -- An OCaml library parsing CSV files -cow -- Caml on the Web -cpdf -- High-level PDF tools based on CamlPDF -cpm 12.2.0 The Classification and Regression Performance Metrics library -cppffigen -- A C++ foreign-function-interface generator for Ocaml based on C++ STL Containers -cppo 1.6.9 Code preprocessor like cpp for OCaml -cppo_ocamlbuild -- Plugin to use cppo with ocamlbuild -cps_toolbox -- A partial OCaml standard library replacement written with continuation passing style in mind -cpu 2.0.0 Pin current process to given core number -cpuid -- Detect CPU features -craml -- A CRAM-testing framework for testing command line applications -crc -- CRC implementation supporting strings and cstructs -crdt-ml -- CRDTs - Conflict-Free Replicated Data Types for OCaml -crlibm -- Binding to CRlibm, a correctly rounded math lib -crontab -- Interacting with cron from OCaml -crowbar -- Write tests, let a fuzzer find failing cases -crunch -- Convert a filesystem into a static OCaml module -cry -- OCaml client for the various icecast & shoutcast source protocols -crypt -- Tiny binding for the unix crypt function -cryptodbm -- Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption. -cryptohash -- hash functions for OCaml -cryptokit 1.16.1 A library of cryptographic primitives -cryptoverif -- CryptoVerif: Cryptographic protocol verifier in the computational model -csexp 1.5.2 Parsing and printing of S-expressions in Canonical form -css -- CSS parser and printer -css-parser -- A CSS parser written in OCaml -cstruct 6.2.0 Access C-like structures directly from OCaml -cstruct-async -- Access C-like structures directly from OCaml -cstruct-lwt 6.2.0 Access C-like structures directly from OCaml -cstruct-sexp -- S-expression serialisers for C-like structures -cstruct-unix -- Access C-like structures directly from OCaml -csv -- A pure OCaml library to read and write CSV files -csv-lwt -- A pure OCaml library to read and write CSV files, LWT version -csvfields -- Runtime support for ppx_xml_conv and ppx_csv_conv_deprecated -csvtool -- Command line tool for handling CSV files -ctoxml -- Parses a C program into Cabs AST and dumps as an XML document -ctypes 0.20.2 Combinators for binding to C libraries without writing any C -ctypes-build -- Support for building Ctypes bindings. -ctypes-foreign 0.18.0 Virtual package for enabling the ctypes.foreign subpackage -ctypes-zarith -- Ctypes wrapper for zarith -ctypes_stubs_js 0.1 Js_of_ocaml Javascript stubs for the OCaml ctypes library -cubicle -- SMT based model checker for parameterized systems -cucumber -- Cucumber BDD for OCaml -cudf -- CUDF library (part of the Mancoosi tools) -cue_sheet_maker -- A library to create cuesheet -cuid -- CUID generator for OCaml. -cumulus -- Differential FRP based on the React library -curly -- Curly is a brain dead wrapper around the curl command line utility -current -- Pipeline language for keeping things up-to-date -current-albatross-deployer -- An ocurrent plugin to deploy MirageOS unikernels -current-web-pipelines -- Simplify the creation of pipeline websites -current_ansi -- ANSI escape sequence parser -current_docker -- OCurrent Docker plugin -current_examples -- Example pipelines for OCurrent -current_git -- Git plugin for OCurrent -current_github -- GitHub plugin for OCurrent -current_gitlab -- GitLab plugin for OCurrent -current_incr -- Self-adjusting computations -current_ocluster -- OCurrent plugin for OCluster builds -current_rpc -- Cap'n Proto RPC plugin for OCurrent -current_slack -- Slack plugin for OCurrent -current_ssh -- SSH plugin for OCurrent -current_web -- Test web UI for OCurrent -curses -- Bindings to ncurses -curve-sampling -- Sampling of parametric and implicit curves -cviode -- Contact variational integrators - native ocaml version -DAGaml -- DAGaml : Abstract DAG manipulation in OCaml -DkSDKFFIOCaml_Std -- DkSDK FFI for OCaml -DkSDKFFIOCaml_StdExport-linux_x86_64 -- The DkSDKFFIOCaml_StdExport foreign library on 64-bit Intel/AMD Linux -daft -- DAFT Allows File Transfers -dap -- Debug adapter protocol -data-encoding 0.7.1 Library of JSON and binary encoding combinators -datakit-server -- A library to write Datakit servers -datakit-server-9p -- Build Datakit servers using the 9P filesystem protocol -datalog -- An in-memory datalog implementation for OCaml -dates_calc -- A date calculation library -daypack-lib -- A schedule, time and time slots handling library -dbf -- DBF format parsing -dbm -- Binding to the NDBM/GDBM Unix "databases" -deadlock -- Frama-C plugin for deadlock detection -debian-formats -- Parse debian files -decimal -- Arbitrary-precision floating-point decimal library -decoders -- Elm-inspired decoders for Ocaml -decoders-bencode -- Bencode backend for decoders -decoders-cbor -- CBOR backend for decoders -decoders-ezjsonm -- Ezjsonm backend for decoders -decoders-ezxmlm -- Ezxmlm backend for decoders -decoders-jsonaf -- Jsonaf backend for decoders -decoders-jsonm -- Jsonm backend for decoders -decoders-msgpck -- Msgpck backend for decoders -decoders-sexplib -- Sexplib backend for decoders -decoders-yojson -- Yojson backend for decoders -decompress 1.5.3 Implementation of Zlib and GZip in OCaml -dedent -- A library for improving redability of multi-line string constants in code. -dedukti -- An implementation of The Lambda-Pi Modulo Theory -delimcc -- Oleg's delimited continuations library for byte-code and native OCaml -delimited_parsing -- Parsing of character (e.g., comma) separated and fixed-width values -depgraph -- dot graphs out of ocamldep output -depyt -- Yet-an-other type combinator library -deriving -- Extension to OCaml for deriving functions from type declarations -devkit -- Development kit - general purpose library -diet -- Discrete Interval Encoding Trees -diffable -- An interface for diffs. -digestif 1.1.4 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5) -directories -- An OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows -dirsift -- Search for directories by type -dirsp-exchange -- Published protocols for the authenticated message exchange -dirsp-exchange-kbb2017 -- The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol -dirsp-proscript -- OCaml-ified interfaces for the ProScript Cryptography Library -dirsp-proscript-mirage -- Mirage crypto backed implementation of the ProScript Cryptography Library -dirsp-ps2ocaml -- ProScript to OCaml translator -diskuvbox -- Cross-platform basic set of script commands -dispatch -- Path-based dispatching for client- and server-side applications -dispatch-js -- Path-based dispatch: js_of_ocaml-specific support -distributed -- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell -distributed-lwt -- A library to probide a lwt based implementation of Distributed -diy -- Tool suite for testing shared memory models -dkim -- Implementation of DKIM in OCaml -dkim-bin -- Implementation of DKIM in OCaml -dkim-mirage -- Implementation of DKIM in OCaml for MirageOS -dkml-c-probe -- Cross-compiler friendly ABI and library discovery for OCaml's native C compilers -dkml-compiler-env -- Scripts to configure DKML compilation in various environments -dkml-component-offline-ocamlrun -- DKML staging component for ocamlrun -dkml-component-offline-opam -- Offline install of Opam -dkml-component-staging-ocamlrun -- DKML staging component for ocamlrun -dkml-component-staging-opam32 -- DKML component for 32-bit versions of opam -dkml-component-staging-opam64 -- DKML component for 64-bit versions of opam -dkml-component-xx-console -- Component used by the dkml-package-console Console Packager -dkml-dune-dsl -- Embedded DSL for Dune files to do syntax checking, auto-completion and generate dune.inc include files -dkml-dune-dsl-show -- An interpreter for the embedded DSL of Dune that shows the DSL as a real Dune file -dkml-install -- API and registry for DkML installation components -dkml-install-installer -- Build tools for DkML installers -dkml-install-runner -- Runner executable for DkML installation -dkml-option-vcpkg -- Configures DKML components to support vcpkg -dkml-package-console -- Console setup and uninstall executables for DkML installation -dkml-runtime-common -- Common runtime code used in DKML -dkml-runtime-common-native -- Common runtime code used in DKML -dkml-workflows -- GitLab CI/CD and GitHub Action workflows used by and with Diskuv OCaml (DKML) tooling -dlm -- Libdlm bindings -dmap -- A library that implements dependent (heterogeneous) maps -dns -- An opinionated Domain Name System (DNS) library -dns-certify -- MirageOS let's encrypt certificate retrieval -dns-cli -- Unix command line utilities using uDNS -dns-client -- DNS client API -dns-client-lwt -- DNS client API using lwt -dns-client-mirage -- DNS client API for MirageOS -dns-mirage -- An opinionated Domain Name System (DNS) library -dns-resolver -- DNS resolver business logic -dns-server -- DNS server, primary and secondary -dns-stub -- DNS stub resolver -dns-tsig -- TSIG support for DNS -dnssec -- DNSSec support for OCaml-DNS -docfd -- TUI fuzzy document finder -docker-api -- Binding to the Docker Remote API -docker_hub -- Library aiming to provide data from hub.docker.com -dockerfile -- Dockerfile eDSL in OCaml -dockerfile-cmd -- Dockerfile eDSL -- generation support -dockerfile-opam -- Dockerfile eDSL -- opam support -docout -- Functor to create (text) output functions -docteur -- A simple read-only Key/Value from Git to MirageOS -docteur-solo5 -- A simple read-only Key/Value from Git to MirageOS -docteur-unix -- A simple read-only Key/Value from Git to MirageOS -doculib -- A GUI for tagging and managing document metadata for books, textbooks, or articles -doi2bib -- Small CLI to get a bibtex entry from a DOI, an arXiv ID or a PubMed ID -dokeysto -- The dumb OCaml key-value store -dokeysto_camltc -- The dumb OCaml key-value store w/ tokyocabinet backend -dokeysto_lz4 -- The dumb OCaml key-value store w/ LZ4 compression -dolmen 0.9 A parser library for automated deduction -dolmen_bin -- A linter for logic languages -dolmen_loop 0.9 A tool library for automated deduction tools -dolmen_lsp -- A LSP server for automated deduction languages -dolmen_model -- A model checker for automated deduction languages -dolmen_type 0.9 A typechecker for automated deduction languages -dolog 6.0.0 The dumb OCaml logging library -domain-local-await -- A scheduler independent blocking mechanism -domain-local-timeout -- A scheduler independent timeout mechanism -domain-name 0.4.0 RFC 1035 Internet domain names -domain_shims -- A non-parallel implementation of Domains compatible with OCaml 4 -dose3 -- Dose library (part of Mancoosi tools) -dose3-extra -- Dose-extra libraries and tools (part of Mancoosi tools) -dot-merlin-reader -- Reads config files for merlin -dotenv -- Javascript's dotenv port to OCaml -down -- An OCaml toplevel (REPL) upgrade -dream 1.0.0~alpha5 Tidy, feature-complete Web framework -dream-accept -- Accept headers parsing for Dream -dream-cli -- Command Line Interface for Dream applications -dream-encoding -- Encoding primitives for Dream -dream-html -- HTML generator eDSL for Dream -dream-htmx -- Htmx utilities for Dream -dream-httpaf 1.0.0~alpha2 Internal: shared http/af stack for Dream (server) and Hyper (client) -dream-livereload -- Live reloading for Dream applications -dream-pure 1.0.0~alpha2 Internal: shared HTTP types for Dream (server) and Hyper (client) -dream-serve -- Static HTML website server with live reload -drom -- The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience -drom_lib -- The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience -drom_toml -- The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience -dropbox -- Binding to the Dropbox Remote API -dropbox_lwt_unix -- Binding to the Dropbox Remote API (Unix) -dryunit -- A detection tool for traditional and popular testing frameworks -dssi -- Bindings for the DSSI API which provides audio synthesizers -dtc-pb -- DTC Protocol library autogenerated from Protobuf description -dtoa -- Converts OCaml floats into strings, using the efficient Grisu3 algorithm -dtools -- Library providing various helper functions to make daemons -dual -- Dual numbers library -duff -- Rabin's fingerprint and diff algorithm in OCaml -dum -- Inspect the runtime representation of arbitrary OCaml values -dump_ocamlformat -- Dump preset configuration files for ocamlformat -dune 3.10.0 Fast, portable, and opinionated build system -dune-action-plugin -- [experimental] API for writing dynamic Dune actions -dune-build-info 3.11.1 Embed build information inside executable -dune-compiledb -- Generate compile_commands.json from dune rules -dune-configurator 3.11.1 Helper library for gathering system configuration -dune-deps -- Show dependency graph of a multi-component dune project -dune-expand -- Tool to view ppx-expanded OCaml source files -dune-glob -- Glob string matching language supported by dune -dune-private-libs 3.11.1 Private libraries of Dune -dune-release -- Release dune packages in opam -dune-rpc 3.11.1 Communicate with dune using rpc -dune-rpc-lwt -- Communicate with dune using rpc and Lwt -dune-site 3.11.1 Embed locations information inside executable and libraries -duppy -- Library providing monadic threads -duration 0.2.1 Conversions to various time units -dyn 3.11.1 Dynamic type -dyntype -- syntax extension which makes OCaml types and values easier to manipulate programmatically -earley -- Parsing library based on Earley Algorithm -earlybird -- OCaml debug adapter -easy-format -- High-level and functional interface to the Format module of the OCaml standard library -easy_logging -- Module to log messages. Aimed at being both powerful and easy to use -easy_logging_yojson -- Configuration loader for easy_logging with yojson backend -ecaml -- Library for writing Emacs plugin in OCaml -edn -- Parsing OCaml library for EDN format -efl -- An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary. -ego -- Ego (EGraphs OCaml) is extensible EGraph library for OCaml -eigen -- Owl's OCaml interface to Eigen3 C++ library -either 1.0.0 Compatibility Either module -elasticsearch-cli -- Command-line client for Elasticsearch -electrod -- Formal analysis for the Electrod formal pivot language -elina -- ETH LIBRARY FOR NUMERICAL ANALYSIS -eliom -- Client/server Web and mobile framework -elpi -- ELPI - Embeddable λProlog Interpreter -email_message -- E-mail message parser -embedded_ocaml_templates -- EML is a simple templating language that lets you generate text with plain OCaml -emile -- Parser of email address according RFC822 -emoji -- Use emojis by name -encore -- Library to generate encoder/decoder which ensure isomorphism -enumerators -- Finite lazy enumerators -env_config -- Helper library for retrieving configuration from an environment variable -epictetus -- Elegant Printer of Insanely Complex Tables Expressing Trees with Uneven Shapes -eprover -- E Theorem Prover -eqaf 0.9 Constant-time equal function on string -equinoxe -- An OCaml wrapper for the Equinix API -equinoxe-cohttp -- Equinoxe with the cohttp-lwt-unix request handler -equinoxe-hlc -- Equinoxe with the http-lwt-client request handler -eris -- Encoding for Robust Immutable Storage (ERIS) -eris-lwt -- Lwt bindings to eris -erlang -- Libraries to manipulate Erlang sources -errpy -- Errpy: An Error Recovering Python Parser implemented in Rust -erssical -- Converting RSS event feeds to ical -esgg -- Elasticsearch guided (code) generator -esperanto -- An OCaml compiler with Cosmopolitan -esperanto-cosmopolitan -- Cosmopolitan toolchain for OCaml compiler -ethernet -- OCaml Ethernet (IEEE 802.3) layer, used in MirageOS -euler -- An arithmetic library for OCaml's standard integers -exenum -- Build efficient enumerations for datatypes. Inspired by Feat for Haskell. -exn-source -- Exception backtrace for OCaml with source code printing -expect -- Simple implementation of "expect" to help building unitary testing of interactive program -expect_test_helpers_async -- Async helpers for writing expectation tests -expect_test_helpers_core v0.16.0 Helpers for writing expectation tests -extism -- Extism bindings -extism-manifest -- Extism manifest bindings -extlib -- A complete yet small extension for OCaml standard library -extprot -- Extensible binary protocols for cross-language communication and long-term serialization -extunix -- Collection of thin bindings to various low-level system API -ez_api -- Easy API library and tools -ez_cmdliner -- Easy interface to Cmdliner à la Arg.parse with sub-commands -ez_config -- Easy management of configuration files -ez_file -- Easy file manipulation (read_file, write_file, etc.) -ez_hash -- Ez hash & crypto utilities -ez_opam_file -- Package ez_opam_file is a simple compatibility layer on top of opam-file-format -ez_pgocaml -- A simple library to work with pgocaml -ez_search -- The ez_search library -ez_subst -- Ez_subst is a simple module to perform string substitutions -ezcurl -- Friendly wrapper around OCurl -ezcurl-lwt -- Friendly wrapper around OCurl, Lwt version -ezdl -- Easy dynamic linking of C functions from ocaml -ezgzip -- Simple gzip (de)compression library -ezjs_ace -- Bindings for the Ace editor -ezjs_blockies -- Bindings for Blockies -ezjs_cleave -- Bindings for Cleave -ezjs_crypto -- Bindings for SubtleCrypto -ezjs_cytoscape -- Bindings for Cytoscape -ezjs_d3pie -- Bindings for d3pie -ezjs_extension -- Binding for Chrome and Firefox extension API -ezjs_fetch -- Bindings for Fetch -ezjs_idb -- Bindings for IndexedDB -ezjs_jquery -- Bindings for JQuery -ezjs_min -- A bunch of js_of_ocaml shortcuts -ezjs_odometer -- Bindings for odometer -ezjs_push -- Bindings for Push Notification -ezjs_qrcode -- Bindings for QRCode.js -ezjs_recaptcha -- Bindings for reCAPTCHA -ezjs_timeline -- Bindings for TimelineJS -ezjsonm 1.3.0 Simple interface on top of the Jsonm JSON library -ezjsonm-lwt -- Simple Lwt-based interface to the Jsonm JSON library -ezresto -- A minimal OCaml library for type-safe HTTP/JSON RPCs -ezresto-directory -- A minimal OCaml library for type-safe HTTP/JSON RPCs -ezsqlite -- Simplified SQLite3 bindings for OCaml -ezxmlm -- Combinators for parsing and selection of XML structures -FPauth -- Easy authentication system for Dream framework -FPauth-core -- Easy authentication system for Dream framework -FPauth-responses -- Responses on basic events in FPauth-core authentication system -FPauth-strategies -- Strategies to be used with FPauth-core authentication system -FrontC -- Parses C programs to an abstract syntax tree -faad -- Bindings for the faad library which provides functions for decoding AAC audio files -facile -- A Functional Constraint Library implemented in Objective Caml. -fadbadml -- FADBAD++ for OCaml -faraday 0.8.2 A library for writing fast and memory-efficient serializers -faraday-async -- Async support for Faraday -faraday-lwt 0.8.2 Lwt support for Faraday -faraday-lwt-unix 0.8.2 Lwt_unix support for Faraday -farfadet -- A printf-like for [Faraday](https://github.com/inhabitedtype/faraday) library -farith -- Floating point numbers library extracted from the Flocq Coq Library -farmhash -- Bindings for Google's farmhash library -fasmifra -- Molecular Generation by Fast Assembly of SMILES Fragments -fat-filesystem -- Pure OCaml implementation of the FAT filesystem -fd-send-recv -- Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets -fdkaac -- Fraunhofer FDK AAC Codec Library -feat -- Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers -feat-core -- Facilities for enumerating and sampling algebraic data types -feat-num -- Facilities for enumerating and sampling algebraic data types, using Num for big numbers -feather -- A minimal shell interface -feather_async -- Async interface to Feather -febusy -- Embedded build system library -ff -- OCaml implementation of Finite Field operations -ff-bench -- Benchmark library for finite fields over the package ff-sig -ff-pbt -- Property based testing library for finite fields over the package ff-sig -ff-sig -- Minimal finite field signatures -ffmpeg -- Bindings for the ffmpeg libraries -ffmpeg-av -- Bindings for the ffmpeg libraries -- top-level helpers -ffmpeg-avcodec -- Bindings for the ffmpeg avcodec library -ffmpeg-avdevice -- Bindings for the ffmpeg avdevice library -ffmpeg-avfilter -- Bindings for the ffmpeg avfilter library -ffmpeg-avutil -- Bindings for the ffmpeg avutil libraries -ffmpeg-swresample -- Bindings for the ffmpeg swresample library -ffmpeg-swscale -- Bindings for the ffmpeg swscale library -fftw3 -- Binding to the Fast Fourier Transform library FFTW -fiat-p256 -- Primitives for Elliptic Curve Cryptography taken from Fiat -fiber 3.7.0 Dune's monadic structured concurrency library -fiber-lwt -- Compatibility layer for fibers inside Lwt -fieldslib v0.16.0 Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values -file_path -- A library for typed manipulation of UNIX-style file paths -fileutils -- API to manipulate files (POSIX like) and filenames -finch -- Simple and fast site generator -findlib_top -- Exposes findlib_top.cma without the need for using predicates -fit -- A parser for Garmin FIT data files -fix 20230505 Algorithmic building blocks for memoization, recursion, and more -flac -- Bindings to libflac -flex-array -- Flexible arrays -flint -- Stub of the C library Flint2 -flock -- Ctypes bindings to flock for OCaml -fm-simplex-plugin -- Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin -fmlib 0.5.6 Functional monadic library -fmlib_browser 0.5.6 Write web applications for the browser in elm style -fmlib_js 0.5.6 Library for easy compilation from ocaml to javascript -fmlib_parse 0.5.6 Parsing with combinators and indentation sensitivity -fmlib_pretty 0.5.6 Pretty printing support for tree like structures -fmlib_std 0.5.6 Standard datatypes of Fmlib -fmt 0.9.0 OCaml Format pretty-printer combinators -fontforge-of-ocaml -- OCaml binding of FontForge -format -- Format is a syntax extension which defines quotations for building -fpath 0.7.3 File system paths for OCaml -frama-c -- Platform dedicated to the analysis of source code written in C -frama-c-lannotate -- Lannotate plugin of Frama-C, part of the LTest suite -frama-c-luncov -- Luncov plugin of Frama-C, part of the LTest suite -frama-c-metacsl -- MetAcsl plugin of Frama-C for writing pervasives properties -frama-clang -- Frama-C plug-in based on Clang for parsing C++ files -freetds -- Binding to the FreeTDS library -frei0r -- Bindings for the frei0r API which provides video effects -frenetic -- The Frenetic Programming Language and Runtime System -fromager -- A CLI to format an ocaml codebase -fsevents -- OCaml bindings to macOS FSEvents -fsevents-lwt -- Lwt interface to macOS FSEvents -fsml -- A library for describing and describing synchronous finite state machines -fstar -- Verification system for effectful programs -fstreams -- Functional, lazy, infinite streams. -fswatch -- Bindings for libfswatch -- file change monitor -fswatch_async -- JaneStreet Async extension for fswatch -fswatch_lwt -- Lwt extension for fswatch -functoria -- A DSL to organize functor applications -functoria-runtime -- Runtime support library for functoria-generated code -functory -- Distributed computing library. -funfields -- Functional bit field library -fuzzy_compare -- Fastest bounded Levenshtein comparator over generic structures -fuzzy_match -- Libraries for fuzzy string matching -fzf -- A library for running the fzf command line tool -GT -- Generic programming with extensible transformations -GuaCaml -- GuaCaml : Generic Unspecific Algorithmic in OCaml -gadelac -- Preprocessor for the Game Description Language. -gammu -- Cell phone and SIM card access. -gapi-ocaml -- A simple OCaml client for Google Services -gappa -- Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic -gavl -- Bindings for the gavl library which provides functions for converting images formats, colorspaces, etc. -gbddml -- The Verimag bdd library -gd -- OCaml interface to the GD graphics library. -gdal -- GDAL and OGR bindings -gdbprofiler -- A profiler for native OCaml and other executables -gedcom -- GEDCOM parsing. -gen 1.1 Iterators for OCaml, both restartable and consumable -gen-bs -- generate bucklescript code from Javascript type specifications -gen_js_api -- Easy OCaml bindings for JavaScript libraries -genspio -- Typed EDSL to generate POSIX Shell scripts -genspir -- Generate almost uniformly points on a sphere -geoip -- Bindings to GeoIP database library. -geojson -- Pure OCaml library for GeoJSON -geoml -- Geoml: 2D Geometry library for OCaml -get_line -- Robustly select lines from file; can replace the head and tail shell commands and do even more -getopt -- Parsing of command line arguments (similar to GNU GetOpt) for OCaml -getopts -- Analyse command line arguments -gettext -- Internationalization library (i18n) -gettext-camomile -- Internationalization library using camomile (i18n) -gettext-stub -- Internationalization using C gettext library (i18n) -gg 1.0.0 Basic types for computer graphics in OCaml -git -- Git format and protocol in pure OCaml -git-cohttp -- A package to use HTTP-based ocaml-git with Unix backend -git-cohttp-mirage -- A package to use HTTP-based ocaml-git with MirageOS backend -git-cohttp-unix -- A package to use HTTP-based ocaml-git with Unix backend -git-http -- Client implementation of the "Smart" HTTP Git protocol in pure OCaml -git-kv -- A Mirage_kv implementation using git -git-mirage -- A package to use ocaml-git with MirageOS backend -git-paf -- A package to use HTTP-based ocaml-git with MirageOS backend -git-unix -- Virtual package to install and configure ocaml-git's Unix backend -github -- GitHub APIv3 OCaml library -github-data -- GitHub APIv3 data library -github-hooks -- GitHub API web hook listener library -github-hooks-unix -- GitHub API web hook listener library using unix functions -github-jsoo -- GitHub APIv3 JavaScript library -github-unix -- GitHub APIv3 Unix library -gitlab -- GitLab APIv4 OCaml library -gitlab-jsoo -- Gitlab APIv4 OCaml library -gitlab-unix -- GitLab APIv4 OCaml library -gitlab_pipeline_notifier -- Watches GitLab pipelines and notifies on status updates using 'send-notify' -gles3 -- OCaml GLES 3.0 bindings -glfw-ocaml -- A GLFW binding for OCaml -glical -- Glical: glancing at iCalendar data. -glicko2 -- Implementation of the Glicko2 algorithm -glMLite -- OpenGL bindings for OCaml -globlon -- A globbing library for OCaml -glpk -- Bindings for glpk -gluten -- A reusable runtime library for network protocols -gluten-async -- Async support for gluten -gluten-lwt -- Lwt-specific runtime for gluten -gluten-lwt-unix -- Lwt + Unix support for gluten -gluten-mirage -- Mirage support for gluten -gmap 0.3.0 Heterogenous maps over a GADT -gmp -- The GNU Multiple Precision Arithmetic Library -gmp-ecm -- GMP-ECM library for the Elliptic Curve Method (ECM) for integer factorization -gmp-freestanding -- The GNU Multiple Precision Arithmetic Library -gmp-xen -- The GNU Multiple Precision Arithmetic Library -gnuplot -- Simple interface to Gnuplot Gnuplot-OCaml provides a simple interface to Gnuplot from OCaml. The API supports only 2D graphs and was inspired by FnuPlot -goblint -- Static analysis framework for C -goblint-cil -- A front-end for the C programming language that facilitates program analysis and transformation -google-drive-ocamlfuse -- A FUSE filesystem over Google Drive -gopcaml-mode -- Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs -gopcaml-mode-merlin -- Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs (uses Merlin parser) -gospel -- A tool-agnostic formal specification language for OCaml -gotd -- Quickly start an OCaml project -gperftools -- Bindings to gperftools -gpiod -- A wrapper around the C libgpiod library for GPIO on recent (>4.8) Linux kernels -gpr -- GPR - Library and Application for Gaussian Process Regression -gpx -- Conversions between XML and GPX (1.1) types. -gr -- OCaml bindings to the GR plotting library -gradescope_submit -- A small script to submit to Gradescope via GitHub -grain_dypgen -- Self-extensible parsers and lexers for OCaml -graphics -- The OCaml graphics library -graphicspdf -- Version of OCaml's Graphics library which outputs PDFs. -graphlib -- Generic Graph library -graphql 0.14.0 Build GraphQL schemas and execute queries against them -graphql-async -- Build GraphQL schemas with Async support -graphql-cohttp -- Run GraphQL servers with `cohttp` -graphql-lwt 0.14.0 Build GraphQL schemas with Lwt support -graphql_parser 0.14.0 Library for parsing GraphQL queries -graphql_ppx -- GraphQL PPX rewriter for ReScript/ReasonML -graphv -- Top_level graphv package, includes all dependencies -graphv_core -- Functor for creating a new Graphv library based on a font render and backend renderer -graphv_core_lib -- Primitives for the Graphv vector graphics library -graphv_font -- Functor for generating the Graphv font library -graphv_font_js -- Javascript implementation of the font interface for Graphv -graphv_font_stb_truetype -- STB truetype implementation of the font interface for Graphv -graphv_gles2 -- Functor for creating a Graphv renderer based on GLES2 -graphv_gles2_native -- Full version of the Graphv library based on native GLES2 -graphv_gles2_native_impl -- Native GLES2 implementation of the backend renderer for the Graphv library -graphv_webgl -- Full version of the Graphv library based on WebGL -graphv_webgl_impl -- WebGL implementation of the backend renderer for the Graphv library -gremlin -- Gremlin Client Library -grenier -- A collection of various algorithms in OCaml -grib -- Bindings for the ECMWF GRIB API -grpc -- A modular gRPC library -grpc-async -- An Async implementation of gRPC -grpc-lwt -- An Lwt implementation of gRPC -gsl -- GSL - Bindings to the GNU Scientific Library -gstreamer -- Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams -guardian -- Role-based access control for OCaml -gufo -- A fonctionnal shell -guile -- Bindings to GNU Guile Scheme for OCaml -gxl-light -- Gxl parser and in-place destructive update library -h1_parser -- Parser for HTTP 1.1 -h2 -- A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml -h2-async -- Async support for h2 -h2-lwt -- Lwt support for h2 -h2-lwt-unix -- Lwt + UNIX support for h2 -h2-mirage -- Lwt support for h2 -hack_parallel -- Parallel and shared memory library -hacl -- Tezos binding for Hacl* -hacl-star 0.7.1 OCaml API for EverCrypt/HACL* -hacl-star-raw 0.7.1 Auto-generated low-level OCaml bindings for EverCrypt/HACL* -hacl_func -- Minimal Hacl bindings -hacl_x25519 -- Primitives for Elliptic Curve Cryptography taken from Project Everest -hamt -- Hash Array Mapped Tries -happy-eyeballs -- Connecting to a remote host via IP version 4 or 6 -happy-eyeballs-lwt -- Connecting to a remote host via IP version 4 or 6 using Lwt_unix -happy-eyeballs-mirage -- Connecting to a remote host via IP version 4 or 6 using Mirage -hardcaml -- RTL Hardware Design in OCaml -hardcaml_axi -- Hardcaml AXI Interface Types -hardcaml_c -- Hardcaml C Simulation Backend -hardcaml_circuits -- Hardcaml Circuits -hardcaml_fixed_point -- Hardcaml fixed point arithmetic -hardcaml_handshake -- Hardcaml Handshake -hardcaml_of_verilog -- Convert Verilog to a Hardcaml design -hardcaml_step_testbench -- Hardcaml Testbench Monad -hardcaml_verify -- Hardcaml Verification Tools -hardcaml_verilator -- Hardcaml Verilator Simulation Backend -hardcaml_waveterm -- A terminal based digital waveform viewer for Hardcaml -hardcaml_xilinx -- Hardcaml wrappers for Xilinx memory primitives -hardcaml_xilinx_components -- Hardcaml Xilinx component definitions -hardcaml_xilinx_reports -- Hardcaml Xilinx Reports -hashcons 1.3 OCaml hash-consing library -hashset -- Sets as hash tables -haxe -- Multi-target universal programming language -hdfs -- Bindings to libhdfs -hdr_histogram -- OCaml bindings to Hdr Histogram -headache -- Automatic generation of files headers -header-check -- A tool to check and update source headers, using checksums -heptagon -- Compiler for the Heptagon/BZR synchronous programming language -herdtools7 -- The herdtools suite for simulating and studying weak memory models -hevea -- A quite complete and fast LATEX to HTML translator -hex 1.5.0 Library providing hexadecimal converters -hex_encode -- Hexadecimal encoding library -hexstring -- A library to encode to and decode from hexadecimal strings -hg_lib -- A library that wraps the Mercurial command line interface -hidapi 1.1.2 Bindings to Signal11's hidapi library -higher -- Library for higher-kinded programming -higher_kinded v0.16.0 A library with an encoding of higher kinded types in OCaml -higlo -- Syntax highlighting library -hilite -- Build time syntax highlighting -hiredis -- Redis tools based on the Hiredis C library -hiredis-value -- Hiredis Value type -hkdf 1.0.4 HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869) -hlarp -- Normalize and compare HLA typing output. -hll -- -hmap 0.8.1 Heterogeneous value maps for OCaml -hockmd -- A library to access hackmd's api -hpack -- An HPACK (Header Compression for HTTP/2) implementation in OCaml -htmlfromtexbooks -- From TeX To Human-Readable HTML -htmlit 0.1.0 HTML generation combinators for OCaml -hts_shrink -- Distance-Based Boolean Applicability Domain for High Throughput Screening data -http -- Type definitions of HTTP essentials -http-cookie -- HTTP cookie library for OCaml -http-date -- HTTP Datetime encoder/decoder -http-lwt-client -- A simple HTTP client using http/af, h2, and lwt -http-mirage-client -- HTTP client for MirageOS -http-multipart-formdata -- Http multipart/formdata parser -http_async -- Async library for HTTP/1.1 servers -httpaf -- A high-performance, memory-efficient, and scalable web server for OCaml -httpaf-lwt-unix -- Lwt support for http/af -httpaf_caged -- A higher-level httpaf-async server interface -httph -- Minimal OCaml to the httpserver.h http server toolkit -huffman -- An OCaml library to manipulate Huffman trees -humane-re -- A human friendly interface to regular expressions in OCaml -hvsock -- Bindings for Hyper-V AF_VSOCK -hweak -- An hastable with weak pointer enabling the GC to collect things that are in the hashtable -hxd -- Hexdump in OCaml -hyper -- Web client with HTTP/1, HTTP/2, TLS, and WebSocket support -ISO3166 -- OCaml library for working with ISO3166 -ISO8601 -- ISO 8601 and RFC 3999 date parsing for OCaml -i2c -- i2c -i3ipc -- A pure OCaml implementation of the i3 IPC protocol -icalendar -- A library to parse and print the iCalendar (RFC 5545) format -idd -- Identity-suppressed decision diagrams (IDDs) -idds -- Identity-suppressed decision diagrams (IDDs) -igvxml -- Create IGV session files from the command-line -imagelib -- Library implementing parsing of image formats such as PNG, BMP, PPM -incr_dom -- A library for building dynamic webapps, using Js_of_ocaml -incr_dom_interactive -- A monad for composing chains of interactive UI elements -incr_dom_partial_render -- A library for simplifying rendering of large amounts of data -incr_dom_sexp_form -- A library for building forms that allow the user to edit complicated types -incr_map -- Helpers for incremental operations on map like data structures -incr_select -- Handling of large set of incremental outputs from a single input -incremental -- Library for incremental computations -indentation_buffer -- A library for building strings with indentation -index 1.6.1 A platform-agnostic multi-level index for OCaml -index-bench -- Index benchmarking suite -inferno -- A library for constraint-based Hindley-Milner type inference -influxdb -- InfluxDB client library -influxdb-async -- InfluxDB client library using async for concurrency -influxdb-lwt -- InfluxDB client library using lwt for concurrency -inotify -- Inotify bindings for OCaml -inquire -- Create beautiful interactive command line interface in OCaml -inquirer_oc -- A collection of common interactive command line user interfaces -inspect -- Inspect the runtime representation of arbitrary OCaml values. -int_repr v0.16.0 Integers of various widths -integers 0.7.0 Various signed and unsigned integer types for OCaml -integers_stubs_js 1.0 Javascript stubs for the integers library in js_of_ocaml -integration1d -- Collection of 1D numerical integration routines -interface-prime -- Interfaces for common design patterns -interface-prime-lwt -- Interfaces for common design patterns (LWT implementation) -interval -- An interval arithmetic library for OCaml (meta package) -interval-map -- An immutable interval map data structure -interval_base -- An interval library for OCaml (base package) -interval_crlibm -- An interval library for OCaml (crlibm version) -interval_intel -- An interval library for OCaml -inuit -- Make interactive text-based user-interfaces in OCaml -io -- Simple, secure and composable abstraction for efficient component -io-page -- Support for efficient handling of I/O memory pages -io-page-unix -- Support for efficient handling of I/O memory pages on Unix -iomux -- IO Multiplexer bindings -iostream -- Generic, composable IO input and output streams -ip2location -- IP2Location OCaml module to get geolocation data -ip2locationio -- IP2Location.io OCaml module to get geolocation and WHOIS data -ipaddr 5.5.0 A library for manipulation of IP (and MAC) address representations -ipaddr-cstruct -- A library for manipulation of IP address representations using Cstructs -ipaddr-sexp 5.5.0 A library for manipulation of IP address representations using sexp -ipv6-multicast -- UNIX bindings for IPv6 multicast -ipv6-multicast-lwt -- UNIX bindings for IPv6 multicast — Lwt -irc-client -- IRC client library - core functionality -irc-client-lwt -- IRC client library - Lwt implementation -irc-client-lwt-ssl -- IRC client library - Lwt SSL implementation -irc-client-tls -- IRC client library - TLS implementation -irc-client-unix -- IRC client library - Unix implementation -iri -- Implementation of Internationalized Resource Identifiers (IRIs) -irmin 3.7.2 Irmin, a distributed database that follows the same design principles as Git -irmin-bench -- Irmin benchmarking suite -irmin-chunk -- Irmin backend which allow to store values into chunks -irmin-cli -- CLI for Irmin -irmin-client -- A client for irmin-server -irmin-containers -- Mergeable Irmin data structures -irmin-fs -- Generic file-system backend for Irmin -irmin-git -- Git backend for Irmin -irmin-graphql -- GraphQL server for Irmin -irmin-http -- HTTP client and server for Irmin -irmin-indexeddb -- Irmin backend using the web-browser's IndexedDB store -irmin-layers -- Combine different Irmin stores into a single, layered store -irmin-mem -- Generic in-memory Irmin stores -irmin-mirage -- MirageOS-compatible Irmin stores -irmin-mirage-git -- MirageOS-compatible Irmin stores -irmin-mirage-graphql -- MirageOS-compatible Irmin stores -irmin-pack 3.7.2 Irmin backend which stores values in a pack file -irmin-pack-tools -- Utils for Irmin-pack -irmin-server -- A high-performance server for Irmin -irmin-test -- Irmin test suite -irmin-tezos -- Irmin implementation of the Tezos context hash specification -irmin-tezos-utils -- Utils for Irmin tezos -irmin-unix -- Unix backends for Irmin -irmin-watcher -- Portable Irmin watch backends using FSevents or Inotify -iso639 -- Language Codes for OCaml -iter -- Simple abstraction over `iter` functions, intended to iterate efficiently on collections while performing some transformations -itv-tree -- Float intervals tree library -jane-street-headers v0.16.0 Jane Street C header files -jane_rope -- String representation with cheap concatenation. -janestreet_cpuid -- A library for parsing CPU capabilities out of the `cpuid` instruction. -janestreet_csv -- Tools for working with CSVs on the command line -jasmin -- Compiler for High-Assurance and High-Speed Cryptography -javalib -- Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files -javascriptcore -- OCaml bindings to JavaScriptCore -jbuilder -- Fast, portable and opinionated build system -jekyll-format -- Jekyll post parsing library -jemalloc -- Bindings to jemalloc mallctl api -jext -- Js_of_ocaml tools to help handling web extension -jhupllib -- A collection of OCaml utilities used by the JHU PL lab -jingoo -- Template engine almost compatible with Jinja2(python template engine) -jose -- JOSE implementation for OCaml and ReasonML -js-build-tools -- Collection of tools to help building Jane Street Packages -js_of_ocaml 5.4.0 Compiler from OCaml bytecode to JavaScript -js_of_ocaml-camlp4 -- Compiler from OCaml bytecode to Javascript -js_of_ocaml-compiler 5.4.0 Compiler from OCaml bytecode to JavaScript -js_of_ocaml-lwt -- Compiler from OCaml bytecode to JavaScript -js_of_ocaml-ocamlbuild -- An ocamlbuild plugin to compile to JavaScript using js_of_ocaml -js_of_ocaml-ppx 5.4.0 Compiler from OCaml bytecode to JavaScript -js_of_ocaml-ppx_deriving_json -- Compiler from OCaml bytecode to JavaScript -js_of_ocaml-toplevel 5.4.0 Compiler from OCaml bytecode to JavaScript -js_of_ocaml-tyxml -- Compiler from OCaml bytecode to JavaScript -js_of_ocaml-webgpu -- Js_of_ocaml bindings for webgpu -js_of_ocaml-webidl -- Generate js_of_ocaml bindings from webidl definitions -js_of_ocaml_patches -- Additions to js_of_ocaml's standard library that are required by Jane Street libraries. -json-data-encoding 0.12.1 Type-safe encoding to and decoding from JSON -json-data-encoding-browser -- Type-safe encoding to and decoding from JSON (browser support) -json-data-encoding-bson 0.12.1 Type-safe encoding to and decoding from JSON (bson support) -json-derivers -- Common Derivers for Jsonm/Yjson -json-rpc -- JSON RPC -json-static -- JSON camlp4 syntax extension using json-wheel -json-wheel -- JSON parser and writer, with optional C-style comments -json_decoder -- -json_of_jsonm -- json_of_jsonm_lib is a JSON encoder and decoder library that converts text to and from a -jsonaf -- A library for parsing, manipulating, and serializing data structured as JSON -jsondiff -- JSON sensitive diffing -jsonm 1.0.2 Non-blocking streaming JSON codec for OCaml -jsonoo -- JSON library for Js_of_ocaml -jsonrpc -- Jsonrpc protocol implemenation -jsonxt -- Jsonxt - JSON parsers for files, strings and more -jsoo-react -- Bindings to ReactJS for js_of_ocaml, including JSX ppx -jsoo_broadcastchannel -- A wrapper in Js_of_ocaml to deal with BroadcastChannel -jsoo_storage -- A wrapper in Js_of_ocaml for the WebStorage API -jst-config v0.16.0 Compile-time configuration for Jane Street libraries -junit -- JUnit XML reports generation library -junit_alcotest -- JUnit XML reports generation for alcotest tests -junit_ounit -- JUnit XML reports generation for OUnit tests -jupyter -- An OCaml kernel for Jupyter notebook -jupyter-kernel -- Library to write jupyter kernels (interactive notebooks) -jwt -- Implementation of JWT in OCaml. -jwto -- JWT encoding, decoding and verification -kafka -- OCaml bindings for Kafka -kafka_async -- OCaml bindings for Kafka, Async bindings -kafka_lwt -- OCaml bindings for Kafka, Lwt bindings -kaputt -- Testing tool -kcas -- Software transactional memory based on lock-free multi-word compare-and-set -kcas_data -- Compositional lock-free data structures and primitives for communication and synchronization -kdl -- An implementation of the KDL document laguage -ke 0.6 Queue implementation -key-parsers -- Parsers for multiple key formats -kicadsch -- Library to read and convert Kicad Sch files -kind2 -- Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs -kinetic-client -- Client API for Seagate's Kinetic drives -kittyimg -- An implementation of Kitty's terminal graphics protocol -kkmarkdown -- A safe markdown engine -kmt -- Framework for deriving Kleene Algebras with Tests (KAT) -knights_tour -- Solves the 'Knights Tour' and various 'Poyomino' puzzles -kqueue -- OCaml bindings for kqueue event notification interface -krb -- A library for using Kerberos for both Rpc and Tcp communication -kyotocabinet -- OCaml bindings for Kyoto Cabinet DBM -lab -- GitLab cli -lablgl -- Interface to OpenGL -lablgtk -- OCaml interface to GTK+ -lablgtk3 -- OCaml interface to GTK+3 -lablgtk3-extras -- A collection of additional tools and libraries to develop ocaml applications based on Lablgtk3 -lablgtk3-goocanvas2 -- OCaml interface to GTK+ GooCanvas library -lablgtk3-gtkspell3 -- OCaml interface to GTK+3 -lablgtk3-sourceview3 -- OCaml interface to GTK+ gtksourceview library -lablqml -- OCamlfind package and PPX extension to interface OCaml and QtQuick -labltk -- OCaml interface to Tcl/Tk -labrys -- A toy language based on LLVM that implements the System Fω type-system -lacaml -- Lacaml - OCaml-bindings to BLAS and LAPACK -ladspa -- Bindings for the LADSPA API which provides audio effects -lambda -- λ-calculus ocaml library -lambda-runtime -- A custom runtime for AWS Lambda written in OCaml -lambda-term -- Terminal manipulation library for OCaml -lambda_streams -- Lambda-based streaming library -lambda_streams_async -- Async helpers for lambda_streams -lambda_streams_lwt -- Lwt helpers for lambda_streams -lambdapi -- Proof assistant for the λΠ-calculus modulo rewriting -lambdasoup -- Easy functional HTML scraping and manipulation with CSS selectors -lame -- MP3 encoding library -landmarks -- A simple profiling library -landmarks-ppx -- Preprocessor instrumenting code using the landmarks library -lascar -- A library for manipulating Labeled Transition Systems in OCaml -lastfm -- The lastfm library is an implementation of the API used by the last.fm to keep count of played songs -lazy-trie -- Implementation of lazy prefix trees -lbfgs -- Bound-constrainted optimization in many variables -lbvs_consent -- Chemoinformatics software for consensus fingerprint queries -ldap -- Implementation of the Light Weight Directory Access Protocol -ldp -- Library to build LDP applications -ldp_curl -- Library to build LDP applications using Curl -ldp_js -- Library to build LDP applications in JS -ldp_tls -- Library to build LDP applications using TLS -leaflet -- Bindings for the Leaflet JavaScript library -ledgerwallet 0.3.0 Ledger wallet library for OCaml -ledgerwallet-tezos 0.3.0 Ledger wallet library for OCaml: Tezos app -ledit -- Line editor, a la rlwrap -lem -- Lem is a tool for lightweight executable mathematics -lemonade -- A monad library with bubbles -lemonade-sqlite -- A monadic interface to sqlite -lens -- Functional lenses -let-if -- A let%if syntax inspired by Rust's if let syntax -letsencrypt -- ACME implementation in OCaml -letsencrypt-app -- ACME implementation in OCaml -letsencrypt-dns -- DNS solver for ACME implementation in OCaml -letsencrypt-mirage -- ACME implementation in OCaml for MirageOS -letters -- Client library for sending emails over SMTP -leveldb -- OCaml bindings for Google's LevelDB library -lib_parsing -- Small library to help writing parsers -libabsolute 0.1 Libabsolute -libbinaryen -- Libbinaryen packaged for OCaml -libdash -- Bindings to the dash shell's parser -libevent -- OCaml wrapper for the libevent API -libirmin -- C bindings for irmin -libsail -- Sail is a language for describing the instruction semantics of processors -libssh -- Bindings to libssh -libsvm -- LIBSVM bindings for OCaml -libtensorflow -- TensorFlow library package -libtorch -- LibTorch library package -libudev -- Bindings to libudev for OCaml -libwasmer -- The official Wasmer library -libwasmtime -- The libwasmtime library package -libzipperposition -- Library for Zipperposition -lilac -- Get the value of any field in a YAML file as a string -lilv -- Bindings to lilv library for using LV2 audio plugins -line-up-words -- Align words in an intelligent way -line_oriented 1.3.0 Library to operate on files made of lines of text -linenoise -- Lightweight readline alternative -linkage -- easier plugin loading -links -- The Links Programming Language -links-mysql -- MySQL database driver for the Links Programming Language -links-postgresql -- Postgresql database driver for the Links Programming Language -links-sqlite3 -- SQLite database driver for the Links Programming Language -linksem -- A formalisation of the core ELF and DWARF file formats written in Lem -linol -- LSP server library -linol-lwt -- LSP server library (with Lwt for concurrency) -lintcstubs -- OCaml C stub static analyzer -lintcstubs-arity -- Generate headers for C bindings -lintcstubs-gen -- OCaml C stub wrapper generator -linwrap -- Wrapper on top of liblinear-tools -lipsum -- lipsum - self-contained tool for literate programming in tradition of NoWeb -liquid_interpreter -- The interpreter for Liquid -liquid_ml -- Shopify's Liquid templating language in OCaml -liquid_parser -- The parser for Liquid -liquid_std -- The Standard Libarary for Liquid -liquid_syntax -- The Syntax Definitions for Liquid -liquidsoap -- Swiss-army knife for multimedia streaming -liquidsoap-core -- Liquidsoap core library and binary -liquidsoap-daemon -- Daemonization scripts for liquidsoap -liquidsoap-js -- Liquidsoap language - javascript wrapper -liquidsoap-lang -- Liquidsoap language library -liquidsoap-libs -- Liquidosap standard library -liquidsoap-libs-extra -- Liquidosap standard library -- extra functionalities -liquidsoap-mode -- Liquidosap emacs mode -little_logger -- A tiny, little logger <3 -llama -- Language for Live Audio Module Arrangement -llama-cpp-ocaml -- Ctypes bindings to llama.cpp -llama_core -- Core types and operations for the Llama synthesizer library -llama_interactive -- Visualization and live interaction for Llama synthesizer library -llama_midi -- Minimal library for parsing and representing midi data -llopt -- Just a tiny LLVM-IR optimizer for testing stuff. -llvm -- The OCaml bindings distributed with LLVM -llvmgraph -- Ocamlgraph overlay for llvm -lmdb -- Bindings for LMDB, a fast in-file database with ACID transactions -lo -- Bindings for the lo library which provides functions for communicating with input controls using the OSC protocol -lockfree -- Lock-free data structures for multicore OCaml -logger-p5 -- Camlp5 syntax extension for logging -logical -- Logical is a minimalistic logic programming inspired by microKanren -logs 0.7.0 Logging infrastructure for OCaml -logs-async -- Jane Street Async logging with Logs -logs-async-reporter -- Logs reporter compatible with Async -logs-ppx -- PPX to cut down on boilerplate when using Logs -logs-syslog -- Logs reporter to syslog (UDP/TCP/TLS) -logtk -- Core types and algorithms for logic -lp -- LP and MIP modeling in OCaml -lp-glpk -- LP and MIP modeling in OCaml (GLPK interface) -lp-glpk-js -- LP and MIP modeling in OCaml (glpk.js interface) -lp-gurobi -- LP and MIP modeling in OCaml (Gurobi interface) -lpd -- A Line Printer Daemon (LPD) server library written entirely in OCaml. -lpi -- A REPL and library for a small dependently-typed language. -lreplay -- Executes a test suite and computes test coverage -lru 0.3.1 Scalable LRU caches -lru-cache -- A simple implementation of a LRU cache. -lru_cache -- An LRU Cache implementation. -lsp -- LSP protocol implementation in OCaml -lt-code -- OCaml implementation of a Luby Transform code -lua-ml -- An embeddable Lua 2.5 interpreter implemented in OCaml -lua_parser -- A Lua 5.2 Parser -lua_pattern -- Implementation of Lua patterns -lucid -- Super simple logging library for OCaml -lun -- Optics in OCaml -lustre-v6 -- The Lustre V6 Verimag compiler -lutils -- Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg) -lutin -- Lutin: modeling stochastic reactive systems -luv -- Binding to libuv: cross-platform asynchronous I/O -luv_unix -- Helpers for interfacing Luv and Unix -lwd -- Lightweight reactive documents -lwt 5.7.0 Promises and event-driven I/O -lwt-canceler 0.3 Cancellation synchronization object -lwt-dllist -- Mutable doubly-linked list with Lwt iterators -lwt-exit 1.0 An opinionated clean-exit and signal-handling library for Lwt programs -lwt-parallel -- Lwt-enabled Parallel Processing Library -lwt-pipe -- An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer -lwt-pipeline -- Pipeline library for Lwt -lwt-watcher 0.2 One-to-many broadcast in Lwt -lwt_camlp4 -- Camlp4 syntax extension for Lwt (deprecated) -lwt_glib -- GLib integration for Lwt -lwt_log -- Lwt logging library (deprecated) -lwt_ppx 2.1.0 PPX syntax for Lwt, providing something similar to async/await from JavaScript -lwt_ppx_let -- Dummy package context for ppx_let tests -lwt_react -- Helpers for using React with Lwt -lwt_ssl 1.2.0 OpenSSL binding with concurrent I/O -lymp -- Use Python functions and objects from OCaml -lz4 -- Bindings to the LZ4 compression algorithm -lz4_chans -- LZ4-compressed binary channels -lzo -- Bindings to LZO - a portable lossless data compression library -m_tree -- An implementation of M-trees -macaddr 5.5.0 A library for manipulation of MAC address representations -macaddr-cstruct -- A library for manipulation of MAC address representations using Cstructs -macaddr-sexp -- A library for manipulation of MAC address representations using sexp -macaque -- DSL for SQL Queries in Caml -macaroons -- Macaroons for OCaml -mad -- Mad decoding library -magic -- Bindings for libmagic (to determine the type of files) -magic-mime 1.3.1 Map filenames to common MIME types -magic-trace -- Collects and displays high-resolution traces of what a process is doing -maildir -- This is a preliminary release of an OCaml library to access directories in the Maildir format. -make-random -- Helper to build a module similar to Stdlib.Random -malfunction -- Compiler back-end for functional languages, based on OCaml -man_in_the_middle_debugger -- Man-in-the-middle debugging library -mariadb -- OCaml bindings for MariaDB -markdown -- Markdown processor for Ocsigen -markup -- Error-recovering functional HTML5 and XML parsers and writers -markup-lwt -- Adapter between Markup.ml and Lwt -mastodon-archive-viewer -- View your Mastodon archive offline -matita -- An experimental, interactive theorem prover -matplotlib -- Plotting using Matplotlib through python -maxminddb -- Bindings to Maxmind.com's libmaxminddb library, like geoip2 -mbr-format -- A simple library for manipulating Master Boot Records -mc2 -- A mcsat-based SMT solver in pure OCaml -mccs -- MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project -md2mld -- Little cli tool to convert md files into mld files -mdx 2.3.1 Executable code blocks inside markdown files -mec -- Mec - Mini Elliptic Curve library -mechaml -- A functional web scraping library -mehari -- A cross-platform library for building Gemini servers -mehari-lwt-unix -- Mehari IO implementation using Lwt and Unix bindings -mehari-mirage -- Mehari IO implementation for MirageOS -mel -- Build system for Melange that defers to Dune for build orchestration -melange -- Toolchain to produce JS from Reason/OCaml -melange-compiler-libs -- Compiler libraries for Melange, a toolchain to produce JavaScript from OCaml -meldep -- Melange counterpart to `ocamldep` that understands Melange-specific constructs -mem_usage -- Cross-platform stats about memory usage -memcad -- The MemCAD analyzer -memcpy -- Safe and efficient copying between blocks of memory. -memgraph -- A small library to inspect memory representation of ocaml values -memgraph_kitty -- Display the representation of memory values in the Kitty terminal emulator -memprof-limits -- Memory limits, allocation limits, and thread cancellation -memtrace -- Streaming client for Memprof -memtrace-mirage -- Streaming client for Memprof using MirageOS API -memtrace_viewer -- Interactive memory profiler based on Memtrace -menhir 20230608 An LR(1) parser generator -menhirLib 20230608 Runtime support library for parsers generated by Menhir -menhirSdk 20230608 Compile-time library for auxiliary tools related to Menhir -merge-fmt -- Git mergetool leveraging code formatters -mergeable-vector -- Mergeable vector based on operational transformation -merlin -- Editor helper, provides completion, typing and source browsing in Vim and Emacs -merlin-extend -- A protocol to provide custom frontend to Merlin -merlin-lib 4.12-414 Merlin's libraries -merlin-of-pds -- Simple script that turns a pds.conf into a .merlin file -mesh -- Triangular mesh generation and manipulation -mesh-easymesh -- Triangular mesh generation with EasyMesh -mesh-graphics -- Triangular mesh representation using the graphics module -mesh-triangle -- Binding to the triangle mesh generator -metadata -- Read metadata from various file formats -metadb -- A database for storing and managing file metadata in JSON format -metapp -- Meta-preprocessor for OCaml -metaquot -- OCaml syntax extension for quoting code -metrics -- Metrics infrastructure for OCaml -metrics-influx -- Influx reporter for the Metrics library -metrics-lwt -- Lwt backend for the Metrics library -metrics-mirage -- Mirage backend for the Metrics library -metrics-rusage -- Resource usage (getrusage) sources for the Metrics library -metrics-unix -- Unix backend for the Metrics library -mew -- Modal editing witch -mew_vi -- Modal editing witch, VI interpreter -mikmatch -- OCaml syntax extension for regexps -mimic -- A simple protocol dispatcher -mimic-happy-eyeballs -- A happy-eyeballs integration into mimic -mindstorm -- Drive Lego Mindstorms bricks from OCaml -mindstorm-lwt -- Drive Lego Mindstorms bricks from OCaml (LWT version) -minicaml -- A simple, didactical, purely functional programming language -minicli 5.0.2 Minimalist library for command line parsing -minilight -- Minimal global illumination renderer. -minima-theme -- OCaml port of the Jekyll Minima theme -minimal -- Minima.l, a minimal Lisp -minios-xen -- A minimal OS for running under the Xen hypervisor -minisat -- Bindings to the SAT solver Minisat, with the solver included. -minivpt -- Minimalist vantage point tree implementation in OCaml. -mirage -- The MirageOS library operating system -mirage-block -- Block signatures and implementations for MirageOS -mirage-block-ccm -- AES-CCM encrypted Mirage Mirage_types.BLOCK storage -mirage-block-combinators -- Block signatures and implementations for MirageOS using Lwt -mirage-block-lwt -- Block signatures and implementations for MirageOS using Lwt -mirage-block-partition -- Mirage block device partitioning -mirage-block-ramdisk -- In-memory BLOCK device for MirageOS -mirage-block-solo5 -- Solo5 implementation of MirageOS block interface -mirage-block-unix -- MirageOS disk block driver for Unix -mirage-block-xen -- MirageOS block driver for Xen that implements the blkfront/back protocol -mirage-bootvar-solo5 -- Solo5 implementation of MirageOS Bootvar interface -mirage-bootvar-unix -- Unix implementation of MirageOS Bootvar interface -mirage-bootvar-xen -- Handle boot-time arguments for Xen platform -mirage-btrees -- An implementation of BTrees designed for use with MirageOS's BLOCK interface -mirage-channel -- Buffered channels for MirageOS FLOW types -mirage-channel-lwt -- Buffered Lwt channels for MirageOS FLOW types -mirage-clock 4.2.0 Libraries and module types for portable clocks -mirage-clock-freestanding -- Paravirtual implementation of the MirageOS Clock interface -mirage-clock-lwt -- Lwt-based implementation of the MirageOS Clock interface -mirage-clock-solo5 -- Paravirtual implementation of the MirageOS Clock interface -mirage-clock-unix -- Unix-based implementation for the MirageOS Clock interface -mirage-clock-xen -- A Mirage-compatible Clock library for Xen -mirage-console -- Implementations of Mirage console devices -mirage-console-lwt -- Implementation of Mirage consoles using Lwt -mirage-console-solo5 -- Solo5 implementation of MirageOS console interface -mirage-console-unix -- Implementation of Mirage consoles for Unix -mirage-console-xen -- Implementation of Mirage console for Xen -mirage-console-xen-backend -- Implementation of Mirage console backend for Xen -mirage-console-xen-proto -- Implementation of Mirage console protocol for Xen -mirage-crypto 0.11.2 Simple symmetric cryptography for the modern age -mirage-crypto-ec 0.11.2 Elliptic Curve Cryptography with primitives taken from Fiat -mirage-crypto-entropy -- Entropy source for MirageOS unikernels -mirage-crypto-pk 0.11.2 Simple public-key cryptography for the modern age -mirage-crypto-rng 0.11.2 A cryptographically secure PRNG -mirage-crypto-rng-async -- Feed the entropy source in an Async-friendly way -mirage-crypto-rng-lwt 0.11.2 A cryptographically secure PRNG -mirage-crypto-rng-mirage -- Entropy collection for a cryptographically secure PRNG -mirage-device -- Abstract devices for MirageOS -mirage-entropy -- Entropy source for MirageOS unikernels -mirage-flow -- Flow implementations and combinators for MirageOS -mirage-flow-combinators -- Flow implementations and combinators for MirageOS specialized to lwt -mirage-flow-lwt -- Flow implementations and combinators for MirageOS specialized to lwt -mirage-flow-rawlink -- Expose rawlink interfaces as MirageOS flows -mirage-flow-unix -- Flow implementations and combinators for MirageOS on Unix -mirage-fs -- MirageOS signatures for filesystem devices -mirage-fs-lwt -- MirageOS signatures for filesystem devices using Lwt -mirage-fs-mem -- In-memory file system for for MirageOS -mirage-fs-unix -- Passthrough filesystem for MirageOS on Unix -mirage-kv -- MirageOS signatures for key/value devices -mirage-kv-lwt -- MirageOS signatures for key/value devices -mirage-kv-mem -- In-memory key value store for MirageOS -mirage-kv-unix -- Key-value store for MirageOS backed by Unix filesystem -mirage-logs -- A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps -mirage-monitoring -- Monitoring of MirageOS unikernels -mirage-nat -- Mirage-nat is a library for network address translation to be used with MirageOS -mirage-net -- Network signatures for MirageOS -mirage-net-fd -- MirageOS network interfaces using raw sockets -mirage-net-flow -- Build MirageOS network interfaces on top of MirageOS flows -mirage-net-lwt -- Network signatures for MirageOS -mirage-net-solo5 -- Solo5 implementation of MirageOS network interface -mirage-net-unix -- Unix implementation of the Mirage_net_lwt interface -mirage-net-xen -- Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol -mirage-no-solo5 -- Virtual package conflicting with mirage-solo5 -mirage-no-xen -- Virtual package conflicting with mirage-xen -mirage-os-shim -- Portable shim for MirageOS OS API -mirage-profile -- Collect runtime profiling information in CTF format -mirage-profile-unix -- Collect runtime profiling information in CTF format -mirage-protocols -- MirageOS signatures for network protocols -mirage-protocols-lwt -- MirageOS signatures for network protocols -mirage-qubes -- Implementations of various Qubes protocols for MirageOS -mirage-qubes-ipv4 -- Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS -mirage-random -- Random-related devices for MirageOS -mirage-random-stdlib -- Random device implementation using the OCaml stdlib -mirage-random-test -- Stub random device implementation for testing -mirage-runtime -- The base MirageOS runtime library, part of every MirageOS unikernel -mirage-seal -- Serve static files over HTTPS, using Mirage+ocaml-TLS. -mirage-solo5 -- Solo5 core platform libraries for MirageOS -mirage-stack -- MirageOS signatures for network stacks -mirage-stack-lwt -- MirageOS signatures for network stacks -mirage-tc -- MirageOS type-classes -mirage-time -- Time operations for MirageOS -mirage-time-lwt -- Time operations for MirageOS with Lwt -mirage-time-unix -- Time operations for MirageOS on Unix -mirage-types -- Module type definitions for MirageOS applications -mirage-types-lwt -- Lwt module type definitions for MirageOS applications -mirage-unix -- Unix core platform libraries for MirageOS -mirage-vnetif -- Virtual network interface and software switch for Mirage -mirage-vnetif-stack -- Vnetif implementation of mirage-stack for Mirage TCP/IP -mirage-xen -- Xen core platform libraries for MirageOS -mirage-xen-minios -- Xen MiniOS guest operating system library -mirage-xen-posix -- MirageOS library for posix headers -misuja -- A library to drive the MIDI system of the Jack Audio Connection Kit. -mixture -- The Mixture package is a mixin library for the module system -mkaudio -- CLI program for generating audio files -mkocaml -- Tool to generate OCaml projects -mlbdd -- An OCaml library for Binary Decision Diagrams (BDDs) -mlcuddidl -- OCaml interface to the CUDD BDD library -mlfenv -- OCaml C bindings for fenv(3) -mlgmpidl 1.2.15 OCaml interface to the GMP library -mlmpfr -- OCaml C bindings for MPFR-4.1.1 -mlt_parser -- Parsing of top-expect files -mm -- The mm library contains high-level APIs to create and manipulate multimedia streams (audio, video, MIDI) -mmap -- File mapping functionality -mmdb -- Binding to the MaxMind DB library for GeoIP lookups -mmseg -- This is a transition package, mmseg is now named wseg. Use the wseg package instead -mnd -- A small monads library -mock -- Configurable functions to test impure code -mock-ounit -- OUnit wrapper for OCaml mock -modular-arithmetic -- A library for operations on integers modulo some integer (the modulus) -module-graph -- The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files -molenc -- Molecular encoder/featurizer using rdkit and OCaml -monaco_jsoo -- JSOO interface for Monaco-editor -monadlib -- A starter library for monads, with transformers and applicatives. -monads -- A missing monad library -monocypher -- OCaml bindings to the Monocypher cryptographic library -monolith -- A framework for testing a library using afl-fuzz -monomorphic -- A small library used to shadow polymorphic operators (and functions) contained in the stdlib -monorobot -- Notification bot for monorepos -moonpool -- Pools of threads supported by a pool of domains -morbig -- A trustworthy parser for POSIX shell -more-ocaml -- Support code for the book 'More OCaml' -morsmall -- A concise AST for POSIX shell -mosquitto -- mosquitto -moss -- A client for the MOSS plagiarism detection service -mparser -- A simple monadic parser combinator library -mparser-pcre -- MParser plugin: PCRE-based regular expressions -mparser-re -- MParser plugin: RE-based regular expressions -mperf -- Bindings to Linux perf's metrics -mpg123 -- MP3 decoding library -mpi -- OCaml binding to the Message Passing Interface (MPI) -mpp -- MPP is both a preprocessor and a meta preprocessor -mpris -- Client library for the MPRIS D-Bus media player interface -mpris-clients -- Client implementations of the MPRIS D-Bus media player interface -mrmime -- Mr. MIME -msat -- Library containing a SAT solver that can be parametrized by a theory -msat-bin -- SAT solver binary based on the msat library -msgpack -- Msgpack library for OCaml -msgpck -- Fast MessagePack (http://msgpack.org) library -msgpck-repr -- Fast MessagePack (http://msgpack.org) library -- ocplib-json-typed interface -mssql -- Async SQL Server client using FreeTDS -mstruct -- A mutable interface to Cstruct buffers -mtime 1.4.0 Monotonic wall-clock time for OCaml -mtl -- A Monad Transformers Library for OCaml -mugen -- Universe levels and universe polymorphism -mula -- ML's Universal Levenshtein Automata library -multibase -- Self-describing base encodings -multicodec -- Canonical codec of values and types used by various multiformats -multicore-magic -- Low-level multicore utilities for OCaml -multihash -- Self-describing Hash Functions -multihash-digestif -- Self-describing Hash Functions using Digestif -multipart-form-data -- Parser for multipart/form-data (RFC2388) -multipart_form 0.5.0 Multipart-form: RFC2183, RFC2388 & RFC7578 -multipart_form-cohttp-lwt -- Multipart-form for CoHTTP -multipart_form-lwt 0.5.0 Multipart-form: RFC2183, RFC2388 & RFC7578 -murmur3 -- Bindings for murmur3 hash implementation -mustache -- Mustache logic-less templates in OCaml -mutaml -- A mutation tester for OCaml -mutf8 -- The Modified UTF-8 encoding used by Java and related systems -mvar -- Threadsafe mutable variables for Unix threads -mwt -- Mediumweight thread library for OCaml via Lwt -mybuild -- Collection of ocamlbuild plugins (extprot, atdgen, ragel, etc) and utility to generate version from VCS -mysql -- Bindings to C client library for interacting with Mysql/MariaDB/Percona databases -mysql8 -- OCaml interface for mysql-connector-c -mysql_protocol -- OCaml implementation of the native MySQL/MariaDB Protocol with the Bitstring library -n_ary -- A library for N-ary datatypes and operations. -naboris -- Simple http server -nacc -- Not Another Compiler Compiler -namespaces -- Turn directories into OCaml modules (deprecated) -nanoid -- Nano ID implementation for OCaml -nanosvg -- Simple SVG parser and rasterizer -nanosvg_text -- Text rendering for NanoSVG text nodes -nbd -- Network Block Device (NBD) protocol implementation -nbd-tool -- Network Block Device (NBD) protocol implementation -nbd-unix -- Network Block Device (NBD) protocol implementation -netchannel -- Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol -netlink -- Bindings to the Netlink Protocol Library Suite (libnl) -netsnmp -- An interface to the Net-SNMP client library -nice_parser -- Nice parsers without the boilerplate -nlopt -- OCaml bindings to the NLOpt optimization library -nlopt-ocaml -- This is a transition package, nlopt-ocaml is now named nlopt -nlp -- Natural Language Processing tools for OCaml -nmea -- Nmea parser -noCanren -- Translator from subset of OCaml to OCanren -nocoiner -- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort -nocrypto -- Simpler crypto -node_of_ocaml -- An OCaml ppx to require node modules -non_empty_list -- A non empty list library for OCaml -nonstd -- Non-standard mini-library -nosetup -- An `.ocamlinit` helper to `#require` packages in an OCaml toplevels -not-ocamlfind -- A small frontend for ocamlfind that adds a few useful commands -note -- Declarative events and signals for OCaml -nottui -- UI toolkit for the terminal built on top of Notty and Lwd -nottui-lwt -- Run Nottui UIs in Lwt -nottui-pretty -- A pretty-printer based on PPrint rendering UIs -notty -- Declaring terminals -notty_async -- An Async driver for Notty -np -- Fundamental scientific computing with Numpy for OCaml -nproc -- Process pool implementation for OCaml. -npy -- Numpy npy file format reading/writing. -nsq -- A client library for the NSQ messaging platform -num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic -numalib -- Interface to Linux NUMA API -numeric_string -- A comparison function for strings that sorts numeric fragments of strings according to their numeric value, so that e.g. "abc2" < "abc10". -nuscr -- A tool to manipulate and validate Scribble-style multiparty protocols -OCADml -- Types and functions for building CAD packages in OCaml -OCanren -- Implementation of miniKanren relational (logic) EDSL -OCanren-ppx -- Implementation of miniKanren relational (logic) EDSL: PPX extensions -OSCADml -- OCaml DSL for 3D solid modelling in OpenSCAD -oasis -- Tooling for building OCaml libraries and applications -oasis2debian -- Create and maintain Debian package for an OASIS package -oasis2opam -- Tool to convert OASIS metadata to OPAM package descriptions -obandit -- Ocaml Multi-Armed Bandits -obelisk -- Pretty-printing for Menhir files -objsize -- Small library to compute sizes of OCaml heap values -obuild -- simple package build system for OCaml -obuilder -- Run build scripts for CI -obuilder-spec -- Build specification format -obus -- Pure Ocaml implementation of the D-Bus protocol -obytelib -- OCaml bytecode library tools to read, write and evaluate OCaml bytecode files -oc45 -- Pure OCaml implementation of the C4.5 algorithm. -ocal -- An improved Unix `cal` utility -ocaml 4.14.1 The OCaml compiler (virtual package) -ocaml-base-compiler 4.14.1 Official release 4.14.1 -ocaml-basics -- Implements common functionnal patterns / abstractions -ocaml-buddy -- Bindings for the Buddy BDD library. -ocaml-canvas -- The OCaml-Canvas library -ocaml-compiler-libs v0.12.4 OCaml compiler libraries repackaged -ocaml-config 2 OCaml Switch Configuration -ocaml-embed-file -- Files contents as module constants -ocaml-expat -- Write XML-Parsers using the SAX method -ocaml-freestanding -- Freestanding OCaml runtime -ocaml-http -- Library freely inspired from Perl's HTTP::Daemon module -ocaml-in-python -- Effortless Python bindings for OCaml modules -ocaml-inifiles -- An ini file parser -ocaml-lsp-server -- LSP Server for OCaml -ocaml-lua -- Lua bindings -ocaml-makefile -- Generic Makefile for building OCaml projects -ocaml-manual -- The OCaml system manual -ocaml-markdown -- This is a transition package, ocaml-markdown is now named markdown. -ocaml-migrate-parsetree 2.4.0 Convert OCaml parsetrees between different versions -ocaml-monadic -- A PPX extension to provide an OCaml-friendly monadic syntax -ocaml-options-vanilla 1 Ensure that OCaml is compiled with no special options enabled -ocaml-print-intf -- Display human-readable OCaml interface from a compiled .cmi -ocaml-probes -- USDT probes for OCaml: command line tool -ocaml-protoc -- Protobuf compiler for OCaml -ocaml-protoc-plugin -- Plugin for protoc protobuf compiler to generate ocaml definitions from a .proto file -ocaml-protoc-yojson -- JSON Runtime based on Yojson library for `ocaml-protoc` generated code -ocaml-r -- Objective Caml bindings for the R interpreter -ocaml-sat-solvers -- An abstraction layer for integrating SAT Solvers into OCaml -ocaml-secondary-compiler -- OCaml 4.08.1 Secondary Switch Compiler -ocaml-solo5 -- Freestanding OCaml compiler -ocaml-src -- Compiler sources -ocaml-syntax-shims 1.0.0 Backport new syntax to older OCaml versions -ocaml-system -- The OCaml compiler (system version, from outside of opam) -ocaml-systemd -- OCaml module for native access to the systemd facilities -ocaml-top -- The OCaml interactive editor for education -ocaml-twt -- The Whitespace Thing, a layout preprocessor for OCaml code -ocaml-vdom -- This is a transition package, ocaml-vdom is now named vdom. Use the vdom package instead -ocaml-version 3.6.2 Manipulate, parse and generate OCaml compiler version strings -ocaml-xdg-basedir -- This is a transition package, ocaml-xdg-basedir is now named xdg-basedir. Use the xdg-basedir package instead -ocaml_db_model -- An Ocaml library and utility for creating modules out of thin air that describe database tables and types, with functions for running queries and commands. Aka database modelling -ocaml_intrinsics v0.16.0 Intrinsics -ocaml_pgsql_model -- An Ocaml library and utility for creating modules out of thin air that describe database tables and types, with functions for running queries and commands; Aka database modelling -ocaml_plugin -- Automatically build and dynlink OCaml source files -ocamlbrowser -- OCamlBrowser Library Explorer -ocamlbuild 0.14.2 OCamlbuild is a build system with builtin rules to easily build most OCaml projects -ocamlbuild-atdgen -- Atdgen plugin for OCamlbuild -ocamlbuild-pkg -- An ocamlbuild plugin that helps packaging softwares. -ocamlbuild-protoc -- ocaml-protoc plugin for Ocamlbuild -ocamlc-loc 3.11.1 Parse ocaml compiler output into structured form -ocamlclean -- Reduce size of OCaml bytecode files by dead-code removing -ocamlcodoc -- Extract test code from doc-comments -ocamldap -- Transitional package for ldap (renaming) -ocamldiff -- OCamldiff is a small OCaml library providing functions to parse and display diff results -ocamldot -- Parsing and printing graphviz files in OCaml -ocamldsort -- Sorts a set of OCaml source files according to their dependencies -ocamlfind 1.9.6 A library manager for OCaml -ocamlfind-lint -- Simple tool performing checks on installed findlib META files -ocamlfind-secondary -- Adds support for ocaml-secondary-compiler to ocamlfind -ocamlformat 0.26.1 Auto-formatter for OCaml code -ocamlformat-lib 0.26.1 OCaml Code Formatter -ocamlformat-rpc -- Auto-formatter for OCaml code (RPC mode) -ocamlformat-rpc-lib 0.26.1 Auto-formatter for OCaml code (RPC mode) -ocamlfuse -- OCaml bindings for FUSE (Filesystem in UserSpacE) -ocamlgraph 2.1.0 A generic graph library for OCaml -ocamlify -- Include files in OCaml code -ocamline -- Command line interface for user input -ocamlmod -- Generate OCaml modules from source files -ocamlnet -- Internet protocols (HTTP, CGI, e-mail etc.) and helper data structures -ocamlog -- Simple Logger for OCaml -ocamlregextkit -- A regular expression toolkit for OCaml -ocamlrss -- Library providing functions to parse and print RSS 2.0 files -ocamlscript -- Tool which compiles OCaml scripts into native code -ocamlsdl -- Interface between OCaml and SDL -ocamlsdl2 -- Interface to the SDL2 library -ocamlsdl2-image -- Interface to the SDL2_image library -ocamlsdl2-ttf -- Interface to the SDL2_ttf library -ocamlwc -- Count lines in OCaml source code -ocamlyices -- Yices SMT solver binding -ocapic -- Development tools to run OCaml programs on PIC microcontrollers -ocb -- SVG badge generator -ocb-stubblr -- OCamlbuild plugin for C stubs -ocephes -- Bindings to special math functions from the Cephes library -ocf -- OCaml library to read and write configuration files in JSON syntax -ocf_ppx -- Preprocessor for Ocf library -ockt -- OCaml library for parsing ckt files into hashtables -oclock -- Oclock: Precise POSIX clock for OCaml -ocluster -- Distribute build jobs to workers -ocluster-api -- Cap'n Proto API for OCluster -ocluster-worker -- OCluster library for defining workers -ocolor -- Print with style in your terminal using Format's semantic tags -ocp-browser -- Console browser for the documentation of installed OCaml libraries -ocp-indent 1.8.1 A simple tool to indent OCaml programs -ocp-indent-nlfork -- ocp-indent library, "newline tokens" fork -ocp-index -- Lightweight completion and documentation browsing for OCaml libraries -ocp-ocamlres 0.4 Manipulation, injection and extraction of embedded resources -ocp-pack-split -- ocp-pack and ocp-split -ocp-reloc -- Relocation of OCaml bytecode executables -ocp-search -- The ocp-search tool to index/search source packages -ocp_reveal -- OCaml bindings for Reveal.js, an HTML presentation framework -ocplib-endian 1.2 Optimised functions to read and write int16/32/64 from strings and bigarrays -ocplib-json-typed -- Type-aware JSON and JSON schema utilities -ocplib-json-typed-browser -- Json_repr interface over JavaScript's objects -ocplib-json-typed-bson -- A Json_repr compatible implementation of the JSON compatible subset of BSON -ocplib-simplex 0.5 A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions -ocplib_stuff -- Basic stuff used by some OCP libraries and tools -ocsfml -- Binding to the C++ SFML gaming library. -ocsigen-i18n -- I18n made easy for web sites written with eliom -ocsigen-ppx-rpc -- This PPX adds a syntax for RPCs for Eliom and Ocsigen Start -ocsigen-start -- An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc -ocsigen-toolkit -- Reusable UI components for Eliom applications (client only, or client-server) -ocsigenserver -- A full-featured and extensible Web server -ocsipersist -- Persistent key/value storage (for Ocsigen) using multiple backends -ocsipersist-dbm -- Persistent key/value storage (for Ocsigen) using DBM -ocsipersist-lib -- Persistent key/value storage (for Ocsigen) - support library -ocsipersist-pgsql -- Persistent key/value storage (for Ocsigen) using PostgreSQL -ocsipersist-sqlite -- Persistent key/value storage (for Ocsigen) using SQLite -octavius -- Ocamldoc comment syntax parser -octez 18.0 Main virtual package for Octez, an implementation of Tezos -octez-accuser-Proxford 18.0 Tezos/Protocol: accuser binary -octez-accuser-PtKathma -- Tezos/Protocol: accuser binary -octez-accuser-PtLimaPt -- Tezos/Protocol: accuser binary -octez-accuser-PtMumbai -- Tezos/Protocol: accuser binary -octez-accuser-PtNairob 18.0 Tezos/Protocol: accuser binary -octez-alcotezt 18.0 Provide the interface of Alcotest for Octez, but with Tezt as backend -octez-baker-Proxford 18.0 Tezos/Protocol: baker binary -octez-baker-PtKathma -- Tezos/Protocol: baker binary -octez-baker-PtLimaPt -- Tezos/Protocol: baker binary -octez-baker-PtMumbai -- Tezos/Protocol: baker binary -octez-baker-PtNairob 18.0 Tezos/Protocol: baker binary -octez-bls12-381-hash -- Implementation of some cryptographic hash primitives using the scalar field of BLS12-381 -octez-bls12-381-polynomial -- Polynomials over BLS12-381 finite field - Temporary vendored version of Octez -octez-bls12-381-signature -- Implementation of BLS signatures for the pairing-friendly curve BLS12-381 -octez-client 18.0 Tezos: `octez-client` binary -octez-codec 18.0 Tezos: `octez-codec` binary to encode and decode values -octez-crawler 18.0 Octez: library to crawl blocks of the L1 chain -octez-dac-client 18.0 Tezos: `octez-dac-client` binary -octez-dac-node 18.0 Tezos: `octez-dac-node` binary -octez-distributed-internal 18.0 Fork of distributed. Use for Octez only -octez-distributed-lwt-internal 18.0 Fork of distributed-lwt. Use for Octez only -octez-injector 18.0 Octez: library for building injectors -octez-l2-libs 18.0 Octez layer2 libraries -octez-libs 18.0 A package that contains multiple base libraries used by the Octez suite -octez-mec -- Modular Experimental Cryptography library -octez-node 18.0 Tezos: `octez-node` binary -octez-node-config 18.0 Octez: `octez-node-config` library -octez-plompiler -- Library to write arithmetic circuits for Plonk -octez-plonk -- Plonk zero-knowledge proving system -octez-polynomial -- Polynomials over finite fields -octez-proto-libs 18.0 Octez protocol libraries -octez-protocol-000-Ps9mPmXa-libs 18.0 Octez protocol 000-Ps9mPmXa libraries -octez-protocol-001-PtCJ7pwo-libs 18.0 Octez protocol 001-PtCJ7pwo libraries -octez-protocol-002-PsYLVpVv-libs 18.0 Octez protocol 002-PsYLVpVv libraries -octez-protocol-003-PsddFKi3-libs 18.0 Octez protocol 003-PsddFKi3 libraries -octez-protocol-004-Pt24m4xi-libs 18.0 Octez protocol 004-Pt24m4xi libraries -octez-protocol-005-PsBabyM1-libs 18.0 Octez protocol 005-PsBabyM1 libraries -octez-protocol-006-PsCARTHA-libs 18.0 Octez protocol 006-PsCARTHA libraries -octez-protocol-007-PsDELPH1-libs 18.0 Octez protocol 007-PsDELPH1 libraries -octez-protocol-008-PtEdo2Zk-libs 18.0 Octez protocol 008-PtEdo2Zk libraries -octez-protocol-009-PsFLoren-libs 18.0 Octez protocol 009-PsFLoren libraries -octez-protocol-010-PtGRANAD-libs 18.0 Octez protocol 010-PtGRANAD libraries -octez-protocol-011-PtHangz2-libs 18.0 Octez protocol 011-PtHangz2 libraries -octez-protocol-012-Psithaca-libs 18.0 Octez protocol 012-Psithaca libraries -octez-protocol-013-PtJakart-libs 18.0 Octez protocol 013-PtJakart libraries -octez-protocol-014-PtKathma-libs 18.0 Octez protocol 014-PtKathma libraries -octez-protocol-015-PtLimaPt-libs 18.0 Octez protocol 015-PtLimaPt libraries -octez-protocol-016-PtMumbai-libs 18.0 Octez protocol 016-PtMumbai libraries -octez-protocol-017-PtNairob-libs 18.0 Octez protocol 017-PtNairob libraries -octez-protocol-018-Proxford-libs 18.0 Octez protocol 018-Proxford libraries -octez-protocol-alpha-libs 18.0 Octez protocol alpha libraries -octez-protocol-compiler 18.0 Tezos: economic-protocol compiler -octez-proxy-server 18.0 Octez: `octez-proxy-server` binary -octez-shell-libs 18.0 Octez shell libraries -octez-signer 18.0 Tezos: `octez-signer` binary -octez-smart-rollup-client-Proxford 18.0 Tezos/Protocol: Smart rollup client -octez-smart-rollup-client-PtMumbai -- Tezos/Protocol: Smart rollup client -octez-smart-rollup-client-PtNairob 18.0 Tezos/Protocol: Smart rollup client -octez-smart-rollup-node -- Octez: library for Smart Rollup node -octez-smart-rollup-node-lib 18.0 Octez: library for Smart Rollup node -octez-smart-rollup-node-Proxford 18.0 Tezos/Protocol: protocol specific Smart rollup node -octez-smart-rollup-node-PtMumbai -- Tezos/Protocol: protocol specific Smart rollup node -octez-smart-rollup-node-PtNairob 18.0 Tezos/Protocol: protocol specific Smart rollup node -octez-smart-rollup-wasm-benchmark-lib -- Smart Rollup WASM benchmark library -octez-smart-rollup-wasm-debugger 18.0 Tezos: Debugger for the smart rollups’ WASM kernels -octez-tx-rollup-client-PtKathma -- Tezos/Protocol: `octez-tx-rollup-client-alpha` client binary -octez-tx-rollup-client-PtLimaPt -- Tezos/Protocol: `octez-tx-rollup-client-alpha` client binary -octez-tx-rollup-node-PtKathma -- Tezos/Protocol: Transaction Rollup node binary -octez-tx-rollup-node-PtLimaPt -- Tezos/Protocol: Transaction Rollup node binary -octez-validator -- Tezos: `octez-validator` binary for external validation of blocks -octez-version 18.0 Tezos: version value generated from Git -ocurl -- Bindings to libcurl -ocveralls -- Generate JSON for http://coveralls.io from bisect code coverage data (deprecated). -odate -- Date & Duration Library -odbc -- Interface to various ODBC drivers -odds -- Dice formula library -odep -- Dependency graphs for OCaml modules, libraries and packages -odepack -- Binding to ODEPACK -odig 0.0.9 Lookup documentation of installed OCaml packages -odnnr -- Regressor using a Deep Neural Network -odoc 2.3.0 OCaml Documentation Generator -odoc-depgraph -- Custom OCamldoc generator to insert clickable dependency graphs in generated html page -odoc-parser 2.3.0 Parser for ocaml documentation comments -of_json -- A friendly applicative interface for Jsonaf. -offheap -- Copies OCaml objects out of the OCaml heap -ofx -- OCaml parser for OFX files -ogg -- Bindings to libogg -ogre -- Open Generic REpresentation NoSQL Database -ojo -- CLI tool to watch for change in the specified files -ojs -- Runtime Library for gen_js_api generated libraries -ojs-base -- Base library for developing OCaml web apps based on websockets and js_of_ocaml -ojs_base -- Base library for developing OCaml web apps based on websockets and js_of_ocaml -ojs_base_all -- Virtual package to install all ojs_base packages -ojs_base_ppx -- PPx extension for the Ojs_base library -ojs_ed -- Using file editor in ojs_base applications, common part -ojs_filetree -- Using filetrees in ojs_base applications, common part -ojs_list -- Using lists in ojs_base applications, common part -olinq -- LINQ inspired queries on in-memory data -ollvm -- ollvm library offers an interface to manipulate LLVM IR in pure OCaml. -ollvm-tapir -- a fork of ollvm with added LLVM-Tapir support -olmi -- Olmi provide functor to generate monadic combinators with a minimal interface -omake -- Build system designed for scalability and portability -omd -- A Markdown frontend in pure OCaml -ometrics -- OCaml analysis in a merge request changes -omigrate -- Database migrations for Reason and OCaml -oml -- Math Library -omlr -- Multiple Linear Regression model -omod -- Lookup and load installed OCaml modules -omtl -- OCaml Minimalist Testing Library -oneffs -- One-file filesystem is a filesystem for storing a single unnamed file -oniguruma -- Bindings to the Oniguruma regular expression library -oolc -- An Ocaml implementation of Open Location Code. -opaca -- A friendly OCaml project scaffolding tool -opal -- Self-contained monadic parser combinators for OCaml -opam-0install -- Opam solver using 0install backend -opam-0install-cudf -- Opam solver using 0install backend using the CUDF interface -opam-bin -- The opam-bin tool is a simple framework to use `opam` with binary packages -opam-build -- An opam plugin to build projects -opam-bundle -- A tool that creates stand-alone source bundles from opam packages -opam-check-npm-deps -- An opam plugin to check for npm depexts inside the node_modules folder -opam-client -- Client library for opam 2.2 -opam-compiler -- Plugin to create switches using custom compilers -opam-core 2.1.5 Core library for opam 2.1 -opam-custom-install -- An opam plugin to install a package using a custom command -opam-depext -- Install OS distribution packages -opam-devel -- Bootstrapped development binary for opam 2.2 -opam-dune-lint -- Ensure dune and opam dependencies are consistent -opam-ed -- Command-line edition tool for handling the opam file syntax -opam-file-format -- Parser and printer for the opam file syntax -opam-format -- Format library for opam 2.2 -opam-graph -- Graphing dependencies of opam packages -opam-grep -- An opam plugin that greps anything in the sources of every opam packages -opam-installer -- Installation of files to a prefix, following opam conventions -opam-lib -- The OPAM library -opam-lock -- Locking of development package definition dependency versions -opam-monorepo -- Assemble and manage fully vendored Dune repositories -opam-package-upgrade -- Upgrades opam package definition files to the latest format -opam-publish -- A tool to ease contributions to opam repositories -opam-repository -- Repository library for opam 2.2 -opam-solver -- Solver library for opam 2.2 -opam-spin -- Opam plugin for Spin, the OCaml project generator -opam-state -- State library for opam 2.2 -opam-test -- An opam plugin to test projects -opam_bin_lib -- The opam-bin tool is a simple framework to use `opam` with binary packages -opamconfig -- Virtual package owning parameters of opam installation. -opamfu -- Functions over OPAM Universes -opasswd -- OCaml bindings to the glibc passwd file and shadow password file interface -open -- Conveniently open files such as PDFs in their default applications. -openai -- OCaml OpenAI binding -openapi -- Openapi documentation generation for Opium -openapi_router -- Http server agnostic Openapi documentation generation -opencc -- Bindings for OpenCC (v1) - Open Chinese Convert -opencc0 -- Bindings for OpenCC (v0) - Open Chinese Convert -opencc1 -- Bindings for OpenCC (v1) - Open Chinese Convert -opencc1_1 -- Bindings for OpenCC (v1.1) - Open Chinese Convert -openQASM -- Parser for OpenQASM (Open Quantum Assembly Language) -openstellina -- A http client for Stellina smart telescope by Vaonis -opentelemetry -- Instrumentation for https://opentelemetry.io -opentelemetry-client-cohttp-lwt -- Collector client for opentelemetry, using cohttp + lwt -opentelemetry-client-ocurl -- Collector client for opentelemetry, using http + ezcurl -opentelemetry-cohttp-lwt -- Opentelemetry tracing for Cohttp HTTP servers -opentelemetry-lwt -- Lwt-compatible instrumentation for https://opentelemetry.io -operf-micro -- Simple tool for benchmarking the OCaml compiler -opine -- Python AST unparse implementation in OCaml -opium -- OCaml web framework -opium-graphql -- Run GraphQL servers with Opium -opium-testing -- Testing library for Opium -opium_kernel -- Sinatra like web toolkit based on Lwt + Cohttp -oplot -- Mathematical plotter library for ocaml -oplsr -- OCaml wrapper for the R 'pls' package -opomodoro -- A simple Pomodoro timer -optal -- A new language for optimization -opti -- DSL to generate fast incremental C code from declarative specifications -optimization1d -- Find extrema of 1D functions -optiml-transport -- Solve optimal transportation problems using the network simplex algorithm -optint 0.3.0 Efficient integer types on 64-bit architectures -opus -- Bindings to libopus -oqamldebug -- Graphical front-end to ocamldebug -oraft -- Raft consensus algorithm implemented in OCaml -orandforest -- A random forest classifier based on OC4.5. -oranger -- OCaml wrapper for the ranger (C++) random forests implementation -order-i3-xfce -- Order-i3-xfce is a small utility that allow you to keep a synchronized order between i3 tabs and the xfce pannel window buttons plugin -ordering 3.11.1 Element ordering -ordinal -- A language interpreter based on the Forth language -ordinal_abbreviation -- A minimal library for generating ordinal names of integers. -orec -- dynamic open records -orewa -- Async-friendly Redis client -orf -- OCaml Random Forests -orgeat -- Ocaml Random Generation of Arbitrary Types -orm -- The ORM library provides a storage backend to persist ML values. -orocksdb -- ctypes based bindings for rocksdb -orpie -- Curses-based RPN calculator -orrandomForest -- Classification or regression using Random Forests -orsetto -- A library of assorted structured data interchange languages -orsvm_e1071 -- OCaml wrapper to SVM R packages e1071 and svmpath -orun -- Run benchmarks and measure performance -orxgboost -- Gradient boosting for OCaml using the R xgboost package -osbx -- Implementation of SeqBox in OCaml -osc -- OpenSoundControl core library -osc-lwt -- OpenSoundControl Lwt library -osc-unix -- OpenSoundControl Unix library -osdp -- OCaml Interface to SDP solvers -oseq -- Simple list of suspensions, as a composable lazy iterator that behaves like a value -osh -- OCaml web API to generate SVG shields -oskel -- Skeleton generator for OCaml projects -osnap -- OCaml random snapshot testing -ostap -- Parser-combinator library -otf -- otf is a simple Output Test Framework -otfm -- OpenType font decoder for OCaml -otoggl -- Bindings for Toggl API in OCaml -otoml -- TOML parsing, manipulation, and pretty-printing library (1.0.0-compliant) -otr -- Off the record implementation purely in OCaml -ott -- A tool for writing definitions of programming languages and calculi -otto -- Otto is a testing / autograding library -ounit -- This is a transition package, ounit-lwt is now ounit2-lwt -ounit-lwt -- This is a transition package, ounit-lwt is now ounit2-lwt -ounit2 -- OUnit testing framework -ounit2-lwt -- OUnit testing framework -owee -- OCaml library to work with DWARF format -owi -- OCaml toolchain to work with WebAssembly, including and interpreter -owl -- OCaml Scientific and Engineering Computing -owl-base -- OCaml Scientific and Engineering Computing - Base -owl-jupyter -- Owl - Jupyter Wrappter -owl-ode -- Owl's ODE solvers -owl-ode-base -- Owl's ODE solvers -owl-ode-odepack -- Owl's ODE solvers, interface with ODEPACK -owl-ode-sundials -- Owl's ODE solvers, interface with SundialsML -owl-opt -- Owl's Optimisation Module -owl-opt-lbfgs -- Owl's Lbfgs Optimisation Module -owl-plplot -- OCaml Scientific and Engineering Computing -owl-top -- OCaml Scientific and Engineering Computing - Top -owork -- A productivity timer for focusing on work -ozulip -- OCaml bindings to Zulip API -p4pp -- P4PP: Preprocessor for P4 Language -p5scm -- Scheme via camlp5 -pa_comprehension -- Syntax extension for comprehension expressions -pa_monad_custom -- Syntactic Sugar for Monads -pa_ppx -- PPX Rewriters for Ocaml, written using Camlp5 -pa_ppx_hashcons -- A PPX Rewriter for Hashconsing -pa_ppx_migrate -- A PPX Rewriter for Migrating AST types (written using Camlp5) -pa_ppx_parsetree -- A Camlp5-based Quasi-Quotation ppx rewriter for OCaml's AST -pa_ppx_q_ast -- A PPX Rewriter for automating generation of data-conversion code for use with Camlp5's Q_ast -pa_ppx_quotation2extension -- A Camlp5 PPX Rewriter for treating PPX extensions as Camlp5 quotations -pa_ppx_regexp -- A Camlp5 PPX Rewriter for Perl Regexp Workalikes -pa_ppx_static -- A Camlp5 PPX Rewriter for static blocks -pa_ppx_string -- A Camlp5 PPX Rewriter for String Interpolation -pa_ppx_unique -- A PPX Rewriter for Uniqifying ASTs -pa_qualified -- A syntax extension that implements support for fully qualified module references -pa_solution -- A DSL for solving programming contest problems -pa_where -- Backward declaration syntax -packstream -- Packstream parses and serializes Packstream binary format -pacomb -- Parsing library based on combinators and ppx extension to write languages -paf -- HTTP/AF and MirageOS -paf-cohttp -- A CoHTTP client with its HTTP/AF implementation -paf-le -- A CoHTTP client with its HTTP/AF implementation -pam -- OCaml bindings for the Linux-PAM library -pandoc -- Library to write pandoc filters -pandoc-abbreviations -- Pandoc filter to add non-breaking spaces after abbreviations -pandoc-crossref -- Pandoc filter to have LaTeX cross-references -pandoc-include -- Pandoc filter to include other files -pandoc-inspect -- Pandoc filter to inspect pandoc's JSON -papi -- Performance Application Programming Interface (PAPI) bindings -parany 14.0.1 Parallelize any computation -pardi -- Parallel execution of command lines, pardi! -pareto -- GSL powered OCaml statistics library. -pari -- Type-safe wrapper over the PARI library -pari-bindings -- OCaml bindings to the PARI library -parmap -- Minimalistic library allowing to exploit multicore architecture -parse-argv -- Process strings into sets of command-line arguments -parsexp v0.16.0 S-expression parsing library -parsexp_io -- S-expression parsing library (IO functions) -parsley -- Parsley library -patch -- Patch library purely in OCaml -patdiff -- File Diff using the Patience Diff algorithm -path_glob -- Globbing file paths -patience_diff -- Diff library using Bram Cohen's patience diff algorithm -pattern -- Run-time patterns that explain match failures -pb -- Library for describing Protobuf messages -pb-plugin -- Plugin for generating pb protobuf message descriptions -pbkdf 1.2.0 Password based key derivation functions (PBKDF) from PKCS#5 -pbrt -- Runtime library for Protobuf tooling -pbs -- Helper library around PBS/Torque -pcap-format -- Decode and encode PCAP (packet capture) files -pci -- Ctypes bindings to libpci for OCaml -pci-db -- Library to parse and query the pci.ids database of PCI devices -pcre -- Bindings to the Perl Compatibility Regular Expressions library -pcre2 -- Bindings to the Perl Compatibility Regular Expressions library (version 2) -pds -- -pds-reachability -- A PDS reachability query library -pecu 0.6 Encoder/Decoder of Quoted-Printable (RFC2045 & RFC2047) -petrol -- Petrol's an OCaml SQL API made to go FAST -pf-qubes -- QubesOS firewall ruleset handling library -pg_query -- Bindings to libpg_query for parsing PostgreSQL -pgocaml -- Native OCaml interface to PostgreSQL databases -pgocaml_ppx -- PPX extension for PGOCaml -pgsolver -- A collection of tools for generating, manipulating and - most of all - solving parity games -pgx -- Pure-OCaml PostgreSQL client library -pgx_async -- Pgx using Async for IO -pgx_lwt -- Pgx using Lwt for IO -pgx_lwt_mirage -- Pgx using Lwt on Mirage for IO -pgx_lwt_unix -- Pgx using Lwt and Unix libraries for IO -pgx_unix -- PGX using the standard library's Unix module for IO (synchronous) -pgx_value_core -- Pgx_value converters for Core types like Date and Time -pgx_value_ptime -- Pgx_value converters for Ptime types -phantom-algebra -- A strongly-typed tensor library à la GLSL -phashtbl -- Persistent hash table library using dbm under the carpet. -phonetic -- Phonetic algorithm in OCaml -phylogenetics -- Algorithms and datastructures for phylogenetics -piaf -- An HTTP library with HTTP/2 support written entirely in OCaml -picasso 0.4.0 Abstract elements drawing library -piece_rope -- A data structure for efficiently manipulating strings -pilat -- Polynomial invariant generator -piqi -- Protocol Buffers, JSON and XML serialization system for OCaml -piqilib -- The Piqi library -- runtime support for multi-format Protobuf/JSON/XML/Piq data serialization and conversion -pkcs11 -- PKCS#11 OCaml types -pkcs11-cli -- Cmdliner arguments to initialize a PKCS#11 session -pkcs11-driver -- Bindings to the PKCS#11 cryptographic API -pkcs11-rev -- Reverse bindings to pkcs11 -pla -- Pla is a simple library and ppx syntax extension to create composable templates based on verbatim strings -plateau -- Print a table in a single line -plato -- Python Library Adapted To OCaml -plebeia -- Functional storage using Merkle Patricia tree -plist -- Create Apple Plists -plist-xml -- Reading and writing of plist files in the XML format in pure OCaml -plist-xml-lwt -- Reading of plist files in the XML format with Lwt -plotkicadsch -- Utilities to print and compare version of Kicad schematics -plotly -- Binding for Plotly Open Source Graphing Library -plplot -- Bindings for the PLplot library -podge -- Shortcuts and helpers for common tasks in OCaml ecosystem -polka -- Polka: convex polyhedron library by Bertrand Jeannet (now part of apron) -poll -- Portable OCaml interface to macOS/Linux/Windows native IO event notification mechanisms -polling_state_rpc -- An RPC which tracks state on the client and server so it only needs to send diffs across the wire. -polly -- Bindings for the Linux epoll system call -polyglot -- Filters to convert XHTML into polyglot HTML5 -polynomial -- Polynomials over finite fields -pomap -- Partially Ordered Maps for OCaml -popper -- Property-based testing at ease -portaudio -- Bindings for the portaudio library which provides high-level functions for using soundcards -portaudio_c_bindings -- Bindings to the C PortAudio library -portia -- Literate Programming Preprocessor -portmidi -- Bindings to libportmidi -posix-base -- Base module for the posix bindings -posix-bindings -- POSIX bindings -posix-clock -- POSIX clock -posix-getopt -- Bindings for posix getopt/getopt_long -posix-math -- POSIX math -posix-mqueue -- POSIX message queues -posix-semaphore -- POSIX semaphore -posix-signal -- Bindings for the types defined in -posix-socket -- Bindings for posix sockets -posix-socket-unix -- Bindings for posix sockets -posix-time -- POSIX time -posix-time2 -- Bindings for posix time functions -posix-types -- Bindings for the types defined in -posix-uname -- Bindings for posix uname -posixat -- Bindings to the posix *at functions -postgres_async -- OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq) -postgresql -- Bindings to the PostgreSQL library -pp 1.2.0 Pretty-printing library -pp-binary-ints -- Pretty Printing Binary Integers -pp_loc 2.1.0 Quote and highlight input fragments at a given source location -pprint 20230830 A pretty-printing combinator library and rendering engine -ppx-owl-opt -- Ppx tool for owl-opt -ppx_accessor -- [@@deriving] plugin to generate accessors for use with the Accessor libraries -ppx_assert v0.16.0 Assert-like extension nodes that raise useful errors on failure -ppx_bap -- The set of ppx rewriters for BAP -ppx_base v0.16.0 Base set of ppx rewriters -ppx_bench v0.16.0 Syntax extension for writing in-line benchmarks in ocaml code -ppx_bin_prot v0.16.0 Generation of bin_prot readers and writers from types -ppx_bitstring -- Bitstrings and bitstring matching for OCaml - PPX extension -ppx_blob 0.7.2 Include a file as a string at compile time -ppx_camlrack -- PPX for matching S-Expressions -ppx_catch -- A PPX rewriter to catch exceptions and wrap into options or results -ppx_cold v0.16.0 Expands [@cold] into [@inline never][@specialise never][@local never] -ppx_compare v0.16.0 Generation of comparison functions from types -ppx_compose -- Inlined function composition -ppx_const -- Compile-time "if" statement for conditional inclusion of code -ppx_conv_func -- Deprecated -ppx_counters -- Generate useful code for stats gathering from records of counters -ppx_css -- A ppx that takes in css strings and produces a module for accessing the unique names defined within -ppx_cstruct -- Access C-like structures directly from OCaml -ppx_cstubs -- Preprocessor for easier stub generation with ctypes -ppx_csv_conv -- Generate functions to read/write records in csv format -ppx_custom_printf v0.16.0 Printf-style format-strings for user-defined string conversion -ppx_decimal -- A ppx for decimal literals -ppx_default -- Generate default values for your types -ppx_defer -- Go-like [%defer later]; now syntax -ppx_demo -- PPX that exposes the source code string of an expression/module structure. -ppx_derive_at_runtime -- Define a new ppx deriver by naming a runtime module. -ppx_derivers 1.2.1 Shared [@@deriving] plugin registry -ppx_deriving 5.2.1 Type-driven code generation for OCaml -ppx_deriving_cad -- PPX Deriver for OCADml transformation functions -ppx_deriving_cmdliner -- Cmdliner.Term.t generator -ppx_deriving_encoding -- Ppx deriver for json-encoding -ppx_deriving_hardcaml -- Rewrite OCaml records for use as Hardcaml Interfaces -ppx_deriving_hash -- [@@deriving hash] -ppx_deriving_jsoo -- Ppx deriver for Js_of_ocaml -ppx_deriving_madcast -- Library deriving cast functions based on their types -ppx_deriving_popper -- A ppx deriving sample-functions for Popper -ppx_deriving_protobuf -- A Protocol Buffers codec generator for OCaml -ppx_deriving_protocol -- Migrate to ppx_protocol_conv -ppx_deriving_qcheck -- PPX Deriver for QCheck -ppx_deriving_rpc -- Ppx deriver for ocaml-rpc, a library to deal with RPCs in OCaml -ppx_deriving_scad -- PPX Deriver for Scad_ml transformation functions -ppx_deriving_yaml -- Yaml PPX Deriver -ppx_deriving_yojson -- JSON codec generator for OCaml -ppx_disable_unused_warnings v0.16.0 Expands [@disable_unused_warnings] into [@warning "-20-26-32-33-34-35-36-37-38-39-60-66-67"] -ppx_distr_guards -- Extension to distribute guards over or-patterns -ppx_enumerate v0.16.0 Generate a list containing all values of a finite type -ppx_expect v0.16.0 Cram like framework for OCaml -ppx_factory -- PPX to derive factories and default values -ppx_fail -- Add location to calls to failwiths -ppx_fields_conv v0.16.0 Generation of accessor and iteration functions for ocaml records -ppx_fixed_literal v0.16.0 Simpler notation for fixed point literals -ppx_gen_rec -- A ppx rewriter that transforms a recursive module expression into a `struct` -ppx_getenv -- A sample syntax extension using OCaml's new extension points API -ppx_globalize v0.16.0 A ppx rewriter that generates functions to copy local values to the global heap -ppx_hash v0.16.0 A ppx rewriter that generates hash functions from type expressions and definitions -ppx_here v0.16.0 Expands [%here] into its location -ppx_ignore_instrumentation v0.16.0 Ignore Jane Street specific instrumentation extensions -ppx_import 1.10.0 A syntax extension for importing declarations from interface files -ppx_inline_alcotest -- Inline tests backend for alcotest -ppx_inline_test v0.16.0 Syntax extension for writing in-line tests in ocaml code -ppx_interact -- Opens a REPL in context -ppx_irmin 3.7.2 PPX deriver for Irmin type representations -ppx_jane v0.16.0 Standard Jane Street ppx rewriters -ppx_js_style -- Code style checker for Jane Street Packages -ppx_jsobject_conv -- Ppx plugin for Typeconv to derive conversion from ocaml types to js objects to use with js_of_ocaml -ppx_jsonaf_conv -- [@@deriving] plugin to generate Jsonaf conversion functions -ppx_let v0.16.0 Monadic let-bindings -ppx_log v0.16.0 Ppx_sexp_message-like extension nodes for lazily rendering log messages -ppx_lun -- Optics with lun package and PPX -ppx_make -- [@@deriving make] -ppx_map -- A PPX rewriter to simplify the declaration of maps -ppx_matches -- Small ppx to help check if a value matches a pattern -ppx_meta_conv -- PPX for converting between OCaml values and JSON, Sexp and camlon -ppx_minidebug -- Debug logs for selected functions and let-bindings -ppx_module_timer v0.16.0 Ppx rewriter that records top-level module startup times -ppx_monad -- A Syntax Extension for all Monadic Syntaxes -ppx_monoid -- Syntax extension for building values of monoids -ppx_mysql -- Syntax extension for facilitating usage of MySQL bindings -ppx_optcomp v0.16.0 Optional compilation for OCaml -ppx_optint -- Literals for Optint integers -ppx_optional v0.16.0 Pattern matching on flat options -ppx_parser -- OCaml PPX extension for writing stream parsers -ppx_pattern_bind -- A ppx for writing fast incremental bind nodes in a pattern match -ppx_pipebang v0.16.0 A ppx rewriter that inlines reverse application operators `|>` and `|!` -ppx_protocol_conv -- Ppx for generating serialisation and de-serialisation functions of ocaml types -ppx_protocol_conv_json -- Json driver for Ppx_protocol_conv -ppx_protocol_conv_jsonm -- Jsonm driver for Ppx_protocol_conv -ppx_protocol_conv_msgpack -- MessagePack driver for Ppx_protocol_conv -ppx_protocol_conv_xml_light -- Xml driver for Ppx_protocol_conv -ppx_protocol_conv_xmlm -- Xmlm driver for Ppx_protocol_conv -ppx_protocol_conv_yaml -- Yaml driver for Ppx_protocol_conv -ppx_pyformat -- Ppxlib based string format rewriter inspired by Python string `format` -ppx_python -- [@@deriving] plugin to generate Python conversion functions -ppx_rapper -- Syntax extension for Caqti/PostgreSQL queries -ppx_rapper_async -- Async support for ppx_rapper -ppx_rapper_lwt -- Lwt support for ppx_rapper -ppx_regexp -- Matching Regular Expressions with OCaml Patterns -ppx_repr 0.7.0 PPX deriver for type representations -ppx_seq -- Seq literals ppx for OCaml -ppx_sexp_conv v0.16.0 [@@deriving] plugin to generate S-expression conversion functions -ppx_sexp_message v0.16.0 A ppx rewriter for easy construction of s-expressions -ppx_sexp_value v0.16.0 A ppx rewriter that simplifies building s-expressions from ocaml values -ppx_show -- OCaml PPX deriver for deriving show based on ppxlib -ppx_stable v0.16.0 Stable types conversions generator -ppx_stable_witness v0.16.0 Ppx extension for deriving a witness that a type is intended to be stable. In this context, stable means that the serialization format will never change. This allows programs running at different versions of the code to safely communicate. -ppx_string v0.16.0 Ppx extension for string interpolation -ppx_string_interpolation -- String interpolation PPX preprocessor -ppx_subliner -- [@@deriving subliner] and [%%subliner] for Cmdliner -ppx_system -- A ppx to know host operating system at compile time -ppx_test -- A ppx replacement of pa_ounit -ppx_tools -- Tools for authors of ppx rewriters and other syntactic tools -ppx_traverse_builtins -- Builtins for Ppx_traverse -ppx_ts -- A PPX helps binding to typescript modules -ppx_tydi v0.16.0 Let expressions, inferring pattern type from expression. -ppx_type_directed_value -- Get [@@deriving]-style generation of type-directed values without writing a ppx -ppx_typed_fields -- GADT-based field accessors and utilities -ppx_typerep_conv v0.16.0 Generation of runtime types from type declarations -ppx_units -- Generate unit types for every record field -ppx_update -- PPX library to optimize record updates -ppx_variants_conv v0.16.0 Generation of accessor and iteration functions for ocaml variant types -ppx_viewpattern -- View patterns in OCaml -ppx_xml_conv -- Generate XML conversion functions from records -ppx_yojson -- PPX extension for Yojson literals and patterns -ppx_yojson_conv -- [@@deriving] plugin to generate Yojson conversion functions -ppx_yojson_conv_lib v0.16.0 Runtime lib for ppx_yojson_conv -ppxlib 0.31.0 Standard infrastructure for ppx rewriters -ppxx -- Ppxx: a small extension library for writing PPX preprocessors -pratter -- An extended Pratt parser -prbnmcn-basic-structures 0.0.1 Base package for prbnmcn-* packages -prbnmcn-cgrph -- Incremental computation -prbnmcn-clustering -- Clustering library -prbnmcn-dagger -- Probabilistic programming library -prbnmcn-dagger-gsl -- Probabilistic programming library: GSL-based samplers -prbnmcn-dagger-stats -- Probabilistic programming library: prbnmcn-stats-based samplers -prbnmcn-dagger-test -- Probabilistic programming library: tests -prbnmcn-gnuplot -- Declarative generation of gnuplot scripts -prbnmcn-linalg 0.0.1 Functional vector and matrix manipulation -prbnmcn-mcts -- Monte-Carlo tree search based on UCB1 bandits -prbnmcn-proptest -- Property-based test helpers for prbnmcn packages -prbnmcn-stats 0.0.6 Basic statistics -prbnmcn-ucb1 -- UCB1 algorithm for multi-armed bandits -prc -- Utilities for precision-recall curves -preface -- An opinionated library for function programming (à La Haskell) -prettym 0.0.3 An memory-bounded encoder according to RFC 822 -primes -- A small library for dealing with primes. -pringo 1.3 Pseudo-random, splittable number generators -printbox -- Allows to print nested boxes, lists, arrays, tables in several formats -printbox-html -- Printbox unicode handling -printbox-text -- Text renderer for printbox, using unicode edges -proc-smaps -- Proc-smaps: An ocaml parser of /proc/[pid]/smaps -process -- Easy process control -process_limits -- Setting time and memory limits for your program -processor -- Processor Topology & Affinity for ocaml -producer -- Accumulate results using monadic dependency graphs -profiler-plugin -- Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin -profiling -- Small library to help profile code -profunctor -- A library providing a signature for simple profunctors and traversal of a record -progress 0.2.1 User-definable progress bars -proj4 -- Bindings to the PROJ.4 projection library -prom -- Types and pretty printer for Prometheus text-based exposition format -prometheus 1.2 Client library for Prometheus monitoring -prometheus-app 1.2 Client library for Prometheus monitoring -prometheus-liquidsoap -- Virtual package installing liquidsoap dependencies for prometheus optional features -promise -- Native implementation of a JS promise binding -promise_jsoo -- Js_of_ocaml bindings to JS Promises with supplemental functions -protocell -- A Protobuf plugin for OCaml -protocol-9p -- An implementation of the 9p protocol in pure OCaml -protocol-9p-tool -- An implementation of the 9p protocol in pure OCaml -protocol-9p-unix -- A Unix implementation of the 9p protocol in pure OCaml -protocol_version_header v0.16.0 Protocol versioning -proverif -- ProVerif: Cryptographic protocol verifier in the symbolic model -proverifdoc -- Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model -prr -- A fork of brr, sans browser-only APIs -psmt2-frontend 0.4.0 The psmt2-frontend project -psq 0.2.1 Functional Priority Search Queues -psyche -- A WASM-friendly lightweight programming language implemented in OCaml -ptime 1.1.0 POSIX time for OCaml -ptmap -- Maps of integers implemented as Patricia trees -ptset -- Sets of integers implemented as Patricia trees -publish -- opam-publish transition package -pulseaudio -- Bindings to Pulseaudio client library -pure-splitmix 0.3 Purely functional splittable PRNG -pvec -- Persistent vectors -pvem -- Polymorphic-Variants-based Error Monad -pxp -- Polymorphic XML Parser -py -- Ctypes bindings to Python 3.5 or greater -pyast -- Python AST -pyml 20220905 OCaml bindings for Python -pyml_bindgen -- Generate pyml bindings from OCaml value specifications -pyre-ast -- Full-fidelity Python parser in OCaml -pythonlib -- A library to help writing wrappers around ocaml code for python -qbf -- QBF solving in OCaml, including bindings to solvers -qcheck -- Compatibility package for qcheck -qcheck-alcotest 0.21.2 Alcotest backend for qcheck -qcheck-core 0.21.2 Core qcheck library -qcheck-lin -- A multicore testing library for OCaml -qcheck-multicoretests-util -- Various utility functions for property-based testing of multicore programs -qcheck-ounit -- OUnit backend for qcheck -qcheck-stm -- State-machine testing library for sequential and parallel model-based tests -qcow -- Support for Qcow2 images -qcow-tool -- A command-line tool for manipulating qcow2-formatted data -qcstm -- A simple state-machine framework for OCaml based on QCheck -qfs -- Bindings to libqfs - client library to access QFS -qinap -- A (very small) monadic parsing library -qiskit -- Qiskit for OCaml -qmp -- OCaml implementation of a Qemu Message Protocol (QMP) client -qrc -- QR code encoder for OCaml -qrencode -- Binding to libqrencode (QR-code encoding library) -qtest -- Lightweight inline test extraction from comments -queenshead -- British pub name generator -quest -- quest - generates C code for testing a C compiler's calling convention -quests -- HTTP/1.1 client library like Python requests -quick_print -- Quick and easy printing for lists, arrays, etc -r2pipe -- Deprecated: use radare2 instead -radamsa -- Radamsa bindings for OCaml -radare2 -- OCaml interface to r2 -randii -- A pure OCaml port of the Random123 counter based random number generator from DEShaw Research -randomconv -- Convert from random byte vectors (Cstruct.t) to random native numbers -randoml -- Generating cryptographically-secure random numbers -range -- Fold on integer range -ranger -- A consecutive range slice library for strings, arrays, etc. -rangeSet -- RangeSet: a library for sets over ordered ranges -rankers -- Vanishing Ranking Kernels (VRK) -rawlink -- Portable library to read and write raw packets -rawlink-lwt -- Portable library to read and write raw packets with Lwt bindings -raygui -- OCaml bindings for raygui -raygun4ocaml -- Client for the Raygun error reporting API -raylib -- OCaml bindings for raylib -rdbg -- RDBG: a reactive programs debugger -rdf -- OCaml library to manipulate RDF graphs; implements SPARQL -rdf_json_ld -- Json-ld -rdf_lwt -- Sparql HTTP with Lwt -rdf_mysql -- Mysql backend for rdf -rdf_postgresql -- Postgresql backend for rdf -rdf_ppx -- Syntax extension for rdf -rdr -- Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis. -re 1.11.0 RE is a regular expression library for OCaml -re2 -- OCaml bindings for RE2, Google's regular expression library -re2_stable -- Re2_stable adds an incomplete but stable serialization of Re2 -re_parser -- Typed parsing using regular expressions. -rea -- Effectful OCaml with Objects and Variants -react -- Declarative events and signals for OCaml -reactiveData -- Declarative events and signals for OCaml -reactjs-jsx-ppx -- ReactJS JSX PPX -readline -- OCaml bindings for GNU readline -reanalyze -- Dead values/types, exception, and termination analysis for OCaml/ReScript -reason -- Reason: Syntax & Toolchain for OCaml -reason-react -- Reason bindings for React.js -reason-react-ppx -- React.js JSX PPX -received -- Received field according RFC5321 -record_builder -- A library which provides traversal of records with an applicative -records -- Dynamic records -reddit_api_async -- Async connection and utility functions for Reddit's API -reddit_api_kernel -- OCaml types for Reddit's API -redirect -- Redirect channels -redis 0.7.1 Redis client -redis-async -- Redis client for Async applications -redis-lwt -- Redis client (lwt interface) -redis-sync -- Redis client (blocking) -reedsolomon -- Reed-Solomon Error Correction CODEC -refl -- PPX deriver for reflection -regenerate -- Regenerate is a tool to generate test-cases for regular expression engines -regex_parser_intf -- Interface shared by Re_parser and Re2.Parser -regular -- Library for regular data types -remu_ts -- External type infer -reparse -- Recursive descent parsing library for ocaml -reparse-lwt -- Reparse Lwt_stream.t input support -reparse-lwt-unix -- Reparse lwt-unix based input support -reparse-unix -- Provides support for parsing files as source of input for reparse library -repr 0.7.0 Dynamic type representations. Provides no stability guarantee -repr-bench -- Benchmarks for the `repr` package -repr-fuzz -- Fuzz tests for the `repr` package -res -- RES - Library for resizable, contiguous datastructures -res_tailwindcss -- PPX validates the tailwindcss class names -rescript-syntax -- ReScript syntax packaged as an opam library -resource-pooling -- Library for pooling resources like connections, threads, or similar -resource_cache -- General resource cache -resp -- Redis serialization protocol library -resp-client -- Redis serialization protocol client library -resp-mirage -- Redis serialization protocol for MirageOS -resp-server -- Redis serialization protocol server -resp-unix -- Redis serialization protocol for Unix -resto 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs -resto-acl 1.2 Access Control Lists for Resto -resto-cohttp 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs -resto-cohttp-client 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs -resto-cohttp-self-serving-client 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs -resto-cohttp-server 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs - server library -resto-directory 1.2 A minimal OCaml library for type-safe HTTP/JSON RPCs -resto-json -- A minimal OCaml library for type-safe HTTP/JSON RPCs -result 1.5 Compatibility Result module -revops -- Reversible operations -rfc1951 -- Implementation of RFC1951 in OCaml -rfc6287 -- OCRA (OATH Challenge-Response Algorithm) implementation in OCaml -rfc7748 -- Edwards Curves X25519 and X448 from RFC 7748 -rfsm -- A toolset for describing and simulating StateChart-like state diagrams -rhythm -- Data Structures and Algorithms implemented in Reason -ringo 1.0.0 Bounded-length collections -ringo-lwt -- Lwt-wrappers for Ringo caches -river -- RSS2 and Atom feed aggregator for OCaml -rlp -- RLP: Recursive Length Prefix Encoding -rml -- ReactiveML: a programming language for implementing interactive systems -rmlbuild -- rmlbuild is a fork of ocamlbuild that handles ReactiveML projets -rock -- Minimalist framework to build extensible HTTP servers and clients -roman -- Manipulate roman numerals (ocaml.org dune/opam tutorial) -root1d -- Find roots of 1D functions -rope -- Ropes (heavyweight strings) -rosa -- String manipulation library -rosetta -- Universal mapper to Unicode -routes -- Typed routing for OCaml applications -rpc -- A library to deal with RPCs in OCaml - meta-package -rpc_parallel -- Type-safe parallel library built on top of Async_rpc -rpclib -- A library to deal with RPCs in OCaml -rpclib-async -- A library to deal with RPCs in OCaml - Async interface -rpclib-html -- A library to deal with RPCs in OCaml - html documentation generator -rpclib-js -- A library to deal with RPCs in OCaml - Bindings for js_of_ocaml -rpclib-lwt -- A library to deal with RPCs in OCaml - Lwt interface -rresult 0.7.0 Result value combinators for OCaml -rsdd -- Bindings for RSDD -rss -- Library to read and write RSS files -rtop -- Reason toplevel -rtree -- A pure OCaml R-Tree implementation -rungen -- Generates dune files to run benchmarks from centralised config -rusage 1.0.0 Bindings to the GETRUSAGE(2) syscall -Snowflake -- Snowflake : A Generic Symbolic Dynamic Programming framework -SZXX -- Streaming ZIP XML XLSX parser -safa -- Symbolic Algorithms for Finite Automata -safemoney -- A type safe money manipulation library -safepass -- Facilities for the safe storage of user passwords -sail -- Sail is a language for describing the instruction semantics of processors -sail_c_backend -- Sail to C translation -sail_coq_backend -- Sail to Coq translation -sail_doc_backend -- Sail documentation generator -sail_latex_backend -- Sail to LaTeX formatting -sail_lem_backend -- Sail to Lem translation -sail_manifest -- Helper tool for compiling Sail -sail_ocaml_backend -- Sail to OCaml translation -sail_output -- Example Sail output plugin -sail_smt_backend -- Sail to C translation -salsa20 -- Salsa20 family of encryption functions, in pure OCaml -salsa20-core -- The Salsa20 core functions, in OCaml -samplerate -- Samplerate audio conversion library -sanddb -- A simple immutable database for the masses -sarek -- GPGPU kernel DSL for OCaml -satML-plugin -- Alt-Ergo, an SMT Solver for Software Verification: satML Plugin -sattools -- Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat -saturn -- Parallelism-safe data structures for multicore OCaml -saturn_lockfree -- Lock-free data structures for multicore OCaml -satyrographos -- A package manager for SATySFi -sawja -- Sawja provides a high level representation of Java bytecode programs and static analysis tools -scad_ml -- OCaml DSL for 3D solid modelling in OpenSCAD -scfg -- OCaml library and executable to work with the scfg configuration file format -scgi -- Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers -schroedinger -- Bindings for the schroedinger library to decode video files in Dirac format -scid -- Sierra Chart's Intraday Data File Format library -scipy -- SciPy scientific computing library for OCaml -scrypt -- C bindings and a high level interface to the official scrypt distribution. -scrypt-kdf -- The scrypt Password-Based Key Derivation Function -sd_logic -- Functionality for time-based finite state machine -sdl-liquidsoap -- Virtual package installing liquidsoap dependencies for SDL optional features -search -- Simple, in-memory search library in pure OCaml -searchTree -- A module to easily implement search trees -secp256k1 -- Elliptic curve library secp256k1 wrapper for Ocaml -secp256k1-internal 0.4.0 Bindings to secp256k1 internal functions (generic operations on the curve) -sedlex 3.2 An OCaml lexer generator for Unicode -sek -- An efficient implementation of ephemeral and persistent sequences -sel -- Simple Event Library -semantic_version -- Semantic versioning -semaphore-compat 1.0.1 Compatibility Semaphore module -semver -- Semantic Versioning (semver) library -semver2 -- Semantic version handling for OCaml -sendmail -- Implementation of the sendmail command -sendmail-lwt -- Implementation of the sendmail command over LWT -sendmsg -- π-calculus? In _my_ kernel? -sentry -- Unofficial Async Sentry error monitoring client -seq base Compatibility package for OCaml's standard iterator type starting from 4.07. -seqes 0.2 Seq with monads -sequence -- Simple sequence abstract datatype. -sequencer_table -- A table of [Async.Sequencer]'s, indexed by key -serde -- A serialization framework for OCaml -serde_debug -- A human-friendly format for Serde that helps you debug any data during development -serde_derive -- Derive-macros for the Serde serialization framework -serde_json -- JSON format support for Serde -serde_sexpr -- S-expression format support for Serde -serde_xml -- XML format support for Serde -serial -- Serial communication module -session -- A session manager for your everyday needs -session-cohttp -- A session manager for your everyday needs - Cohttp-specific support -session-cohttp-async -- A session manager for your everyday needs - Cohttp-specific support for Async -session-cohttp-lwt -- A session manager for your everyday needs - Cohttp-specific support for Lwt -session-cookie -- Session handling for OCaml and ReasonML -session-cookie-async -- Session handling for OCaml and ReasonML -session-cookie-lwt -- Session handling for OCaml and ReasonML -session-postgresql -- A session manager for your everyday needs - Postgresql-specific support -session-postgresql-async -- A session manager for your everyday needs - Postgresql-specific support for Async -session-postgresql-lwt -- A session manager for your everyday needs - Postgresql-specific support -session-redis-lwt -- A session manager for your everyday needs - Redis-specific support for Lwt -session-webmachine -- A session manager for your everyday needs - Webmachine-specific support -sessions -- Library to provide session types to allow for static verification of protocols between concurrent computations -setcore -- Pin current process to given core number -setr -- Abstract domain library for sets -sexp -- S-expression swiss knife -sexp_decode -- A library to decode S-expression into structured data -sexp_diff -- Code for computing the diff of two sexps -sexp_diff_kernel -- Code for computing the diff of two sexps -sexp_grammar -- Sexp grammar helpers -sexp_macro -- Sexp macros -sexp_pretty v0.16.0 S-expression pretty-printer -sexp_select -- A library to use CSS-style selectors to traverse sexp trees -sexp_string_quickcheck -- Quickcheck helpers for strings parsing to sexps -sexplib v0.16.0 Library for serializing OCaml values to and from S-expressions -sexplib0 v0.16.0 Library containing the definition of S-expressions and some base converters -sfml -- Bindings to the SFML multimedia library -sgf -- Parser and pretty printer for SGF files -sha -- Binding to the SHA cryptographic functions -shapefile -- A small library to read ESRI shapefiles -shared-block-ring -- A single-consumer single-producer queue on a block device -shared-memory-ring -- Shared memory rings for RPC and bytestream communications -shared-memory-ring-lwt -- Shared memory rings for RPC and bytestream communications using Lwt -shared-secret -- Exceptions are shared secrets -shcaml -- Library for Unix shell programming -shell -- Yet another implementation of fork&exec and related functionality -shexp -- Process library and s-expression based shell -shine -- Fixed-point MP3 encoder -shuttle -- Reasonably performant non-blocking channels for async -shuttle_http -- Async library for HTTP/1.1 servers and clients -shuttle_ssl -- Async_ssl support for shuttle -shuttle_websocket -- Websocket support for HTTP/1.1 servers using Async -sid -- Handle security identfiers -sifun -- Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher Rank Polymorphism) -sihl -- The Sihl web framework -sihl-cache -- Cache service implementations for Sihl -sihl-contract -- Sihl serivce interfaces -sihl-core -- The core of the Sihl web framework -sihl-email -- Email service implementations for Sihl -sihl-facade -- Sihl service facade that uses the facade pattern to hide service implementations -sihl-persistence -- Sihl services to deal with data persistence -sihl-queue -- Queue service implementations for Sihl -sihl-session -- Sihl service to deal with sessions -sihl-storage -- Storage service implementations for Sihl -sihl-token -- Token service implementations for Sihl -sihl-type -- Contains Sihl types that are returned by Sihl services -sihl-user -- User service implementations for Sihl -sihl-web -- Sihl HTTP service and middlewares -simlog -- A simple OCaml logging library -simple-diff -- Simple_diff is a pure OCaml diffing algorithm. -simple63 -- Integer compression and decompression module -simple_pam -- Tiny binding around PAM -sklearn -- Scikit-learn machine learning library for OCaml -slacko -- Type-safe binding to the Slack API -slug -- Url safe slug generator -smart-print -- A pretty-printing library in OCaml -smbc -- Experimental model finder/SMT solver for functional programming -smol -- Small Math Ocaml Library -smol-helpers -- Test helpers for smol -smtlib-utils -- Parser for SMTLIB2 -smtp -- SMTP library with Unix and Lwt backends -snappy -- Bindings to snappy - fast compression/decompression library -snoke -- Snóke is a good old Snake game with new ideas -socketcan -- socketcan -sodium -- Binding to libsodium UNAUDITED -sodium-fmt -- Fmt formatters for Sodium -solid -- Library to build SOLID applications -solid_server -- SOLID server under development -solid_tools -- Library to build SOLID tools -solidity-alcotest -- The ocaml-solidity project -solidity-common -- The ocaml-solidity project -solidity-parser -- The ocaml-solidity project -solidity-test -- The ocaml-solidity project -solidity-typechecker -- The ocaml-solidity project -solo5 -- Solo5 sandboxed execution environment -solo5-bindings-hvt -- Solo5 sandboxed execution environment (hvt target) -solo5-bindings-muen -- Solo5 sandboxed execution environment (muen target) -solo5-bindings-spt -- Solo5 sandboxed execution environment (spt target) -solo5-bindings-virtio -- Solo5 sandboxed execution environment (virtio target) -solo5-bindings-xen -- Solo5 sandboxed execution environment (xen target) -solo5-elftool -- OCaml Solo5 elftool for querying solo5 manifests -solo5-kernel-muen -- Solo5 sandboxed execution environment (muen target) -solo5-kernel-ukvm -- Solo5 sandboxed execution environment (ukvm target) -solo5-kernel-virtio -- Solo5 sandboxed execution environment (virtio target) -sortedseq_intersect -- A divide-and-conquer algorithm to intersect sorted sequences -sosa -- Sane OCaml String API -soundtouch -- Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data -soupault -- Static website generator based on HTML rewriting -spawn v0.15.1 Spawning sub-processes -spdx_licenses -- A library providing a strict SPDX License Expression parser -spectrum -- Library for colour and formatting in the terminal -speex -- Bindings to libspeex -spelll 0.4 Fuzzy string searching, using Levenshtein automaton -spf -- OCaml bindings for libspf2 -spin -- OCaml project generator -spirv -- SPIR-V Compiler Library -splay_tree -- A splay tree implementation -splittable_random v0.16.0 PRNG that can be split into independent streams -spoc -- High-level GPGPU programming library for OCaml -spoc_ppx -- PPX to declare external GPGPU kernels written in CUDA or OpenCL -spoke -- SPAKE+EE implementation in OCaml -spotify-web-api -- OCaml bindings to the Spotify web API -spotlib -- Useful functions for OCaml programming used by @camlspotter -spreadsheet -- Functor for parsing and building spreadsheets. -sqlgg -- SQL Guided (code) Generator -sqlite3 -- SQLite3 bindings for OCaml -sqlite3_utils -- High-level wrapper around ocaml-sqlite3 -squirrel -- The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model -srs -- OCaml bindings for libsrs2 -srt -- Binding for the Secure, Reliable, Transport protocol library -ssh-agent -- Ssh-agent protocol parser and serialization implementation -ssh-agent-unix -- Ssh-agent protocol parser and serialization implementation for unix platforms -ssl 0.7.0 Bindings for OpenSSL -statverif -- StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif -stb_image -- OCaml bindings to stb_image, a public domain image loader -stb_image_write -- OCaml bindings to stb_image_write, a public domain image writer -stb_truetype -- OCaml bindings to stb_truetype, a public domain font rasterizer -stdcompat 19 Compatibility module for OCaml standard library -stdint 0.7.2 Signed and unsigned integer types having specified widths -stdint-literals -- Small PPX for fixed size integer literals -stdio v0.16.0 Standard IO library for OCaml -stdlib-diff -- Symmetric Diffs for OCaml stdlib and ReasonML -stdlib-random -- Versioned Random module from the OCaml standard library -stdlib-shims 0.3.0 Backport some of the new stdlib features to older compiler -stdune 3.11.1 Dune's unstable standard library -stemmer -- Porter stemming algorithm in pure OCaml -stemming -- Collection of stemmers -stitch -- Refactoring framework -stk -- SDL-based GUI toolkit -stk_iconv -- Bindings to GNU libiconv -stone -- Simple static website generator, useful for a portfolio or documentation pages -stored_reversed -- A library for representing a list temporarily stored in reverse order. -stramon-lib -- Process behavior monitoring library based on strace -streamable -- A collection of types suitable for incremental serialization -streaming -- Fast, safe and composable streaming abstractions -string_dict -- Efficient static string dictionaries -stringCodepointSplitter -- Split a string to a list of strings of a character by the unicode codepoint -stringext 1.6.0 Extra string functions for OCaml -sturgeon -- A toolkit for communicating with Emacs -subscriptions-transport-ws -- Websocket protocol for exchanging GraphQL requests and responses -subtype-refinement -- Refinement types encoded with private types in OCaml -sugar -- Monadic library for error aware expressions -sun -- Take screenshot under Wayland -sundialsml -- Interface to the Sundials suite of numerical solvers -svmwrap -- Wrapper on top of libsvm-tools -swagger -- Swagger 2.0 code generator for OCaml -swhid -- OCaml library to work with Software Heritage identifiers -swhid_compute -- OCaml library to work with Software Heritage identifiers, compute library used in swhid -swhid_core -- OCaml library to work with swhids -swhid_types -- OCaml library to work with Software Heritage identifiers, types library used in swhid -swipl -- Bindings to SWI-Prolog for OCaml -syguslib-utils -- SyGuS Lib parser and utils -symkat -- Symbolic Algorithms for Kleene algebra with Tests (KAT) -syncweb -- Syncweb, Literate Programming meets Unison -syndic -- RSS1, RSS2, Atom and OPML1 parsing -sys-socket -- Ctypes bindings to system-specific low-level socket structure and data-types -sys-socket-unix -- Ctypes bindings to unix-specific low-level socket structure and data-types -syslog -- syslog(3) routines for ocaml (RFC 3164) -syslog-message -- Syslog message parser -syslog-rfc5424 -- Syslog Protocol (RFC5424) parser and pretty-printer -systemverilog -- SystemVerilog for OCaml -TCSLib -- A multi-purpose library for OCaml. -tablecloth-native -- Native OCaml library implementing Tablecloth, a cross-platform standard library for OCaml, Bucklescript and ReasonML -taglib -- Bindings for the taglib library -talaria-bibtex -- A parser for bibtex files -tar 2.6.0 Decode and encode tar format files in pure OCaml -tar-mirage -- Read and write tar format files via MirageOS interfaces -tar-unix 2.6.0 Decode and encode tar format files from Unix -tcalc -- Minimal desktop calculator for timestamps -tcpip -- OCaml TCP/IP networking stack, used in MirageOS -tcx -- OCaml library for parsing and formatting Training Center XML files. -tdigest -- OCaml implementation of the T-Digest algorithm -tdk -- The Decision Kit is a collection of data structures that are useful -telegraml -- Telegram Bot API for OCaml -telltime -- Cli tool for interacting with Daypack-lib components -tensorboard -- -termbox -- Bindings for the termbox library, minimalistic API for creating text-based interfaces -terminal 0.2.1 Basic utilities for interacting with terminals -terminal_size -- Get the dimensions of the terminal -terminus -- A generic client to interact with Rest API -terminus-cohttp -- Terminus with the cohttp-lwt-unix request handler -terminus-hlc -- Terminus with the http-lwt-client request handler -testu01 -- OCaml bindings for TestU01 1.2.3 -text -- Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way -text-tags -- A library for rich formatting using semantics tags -textmate-language -- Tokenizing code with TextMate grammars for syntax highlighting -textrazor -- An OCaml wrapper for the TextRazor API -textutils v0.16.0 Text output utilities -textutils_kernel v0.16.0 Text output utilities -textwrap -- Text wrapping and filling for OCaml -tezos -- Tezos meta package installing all active binaries -tezos-012-Psithaca-test-helpers -- Tezos/Protocol: protocol testing framework -tezos-013-PtJakart-test-helpers -- Tezos/Protocol: protocol testing framework -tezos-014-PtKathma-test-helpers -- Tezos/Protocol: protocol testing framework -tezos-accuser-012-Psithaca -- Tezos/Protocol: accuser binary -tezos-accuser-013-PtJakart -- Tezos/Protocol: accuser binary -tezos-accuser-014-PtKathma -- Tezos/Protocol: accuser binary -tezos-accuser-alpha -- Tezos/Protocol: accuser binary -tezos-alpha-test-helpers -- Tezos/Protocol: protocol testing framework -tezos-baker-012-Psithaca -- Tezos/Protocol: baker binary -tezos-baker-013-PtJakart -- Tezos/Protocol: baker binary -tezos-baker-014-PtKathma -- Tezos/Protocol: baker binary -tezos-baker-alpha -- Tezos/Protocol: baker binary -tezos-baking-012-Psithaca -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-012-Psithaca-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-013-PtJakart -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-013-PtJakart-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-014-PtKathma -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-014-PtKathma-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-015-PtLimaPt -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-015-PtLimaPt-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-016-PtMumbai -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-016-PtMumbai-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-017-PtNairob -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-017-PtNairob-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-baking-alpha -- Tezos/Protocol: base library for `tezos-baker/accuser` -tezos-baking-alpha-commands -- Tezos/Protocol: protocol-specific commands for baking -tezos-base -- Tezos: meta-package and pervasive type definitions for Tezos -tezos-base-test-helpers -- Tezos: Tezos base test helpers -tezos-base58 -- Base58 encoding for Tezos -tezos-benchmark 18.0 Tezos: library for writing benchmarks and performing simple parameter inference -tezos-bls12-381-polynomial -- Polynomials over BLS12-381 finite field -tezos-clic -- Tezos: library of auto-documented command-line-parsing combinators -tezos-client -- Tezos: `tezos-client` binary -tezos-client-000-Ps9mPmXa -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-001-PtCJ7pwo -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-002-PsYLVpVv -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-003-PsddFKi3 -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-004-Pt24m4xi -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-005-PsBabyM1 -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-006-PsCARTHA -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-007-PsDELPH1 -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-008-PtEdo2Zk -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-009-PsFLoren -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-010-PtGRANAD -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-011-PtHangz2 -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-012-Psithaca -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-013-PtJakart -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-014-PtKathma -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-015-PtLimaPt -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-016-PtMumbai -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-017-PtNairob -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-alpha -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-base -- Tezos: common helpers for `tezos-client` -tezos-client-base-unix -- Tezos: common helpers for `tezos-client` (unix-specific fragment) -tezos-client-commands -- Tezos: protocol agnostic commands for `tezos-client` -tezos-client-demo-counter -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-client-genesis -- Tezos/Protocol: protocol specific library for `tezos-client` -tezos-codec -- Tezos: `tezos-codec` binary to encode and decode values -tezos-context -- Tezos: on-disk context abstraction for `octez-node` -tezos-context-hash -- Specification of the Tezos context hash -tezos-context-hash-irmin -- Irmin implementation of the Tezos context hash specification -tezos-context-ops -- Tezos: backend-agnostic operations on contexts -tezos-crypto -- Tezos: library with all the cryptographic primitives used by Tezos -tezos-crypto-dal -- DAL cryptographic primitives -tezos-dac-client-lib 18.0 Tezos: `tezos-dac-client` library -tezos-dac-lib 18.0 Tezos: `tezos-dac` library -tezos-dac-node-lib 18.0 Tezos: `tezos-dac-node` library -tezos-dal-node-lib 18.0 Tezos: `tezos-dal-node` library -tezos-dal-node-services 18.0 Tezos: `tezos-dal-node` RPC services -tezos-embedded-protocol-000-Ps9mPmXa -- Tezos/Protocol: 000-Ps9mPmXa (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-001-PtCJ7pwo -- Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-002-PsYLVpVv -- Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-003-PsddFKi3 -- Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-004-Pt24m4xi -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-005-PsBABY5H -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-005-PsBabyM1 -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-006-PsCARTHA -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-007-PsDELPH1 -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-008-PtEdo2Zk -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-008-PtEdoTez -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-009-PsFLoren -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-010-PtGRANAD -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-011-PtHangz2 -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-012-Psithaca -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-013-PtJakart -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-014-PtKathma -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-015-PtLimaPt -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-016-PtMumbai -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-017-PtNairob -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-alpha -- Tezos/Protocol: economic-protocol definition, embedded in `octez-node` -tezos-embedded-protocol-demo-counter -- Tezos/Protocol: demo_counter (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-demo-noops -- Tezos/Protocol: demo_noops (economic-protocol definition, embedded in `octez-node`) -tezos-embedded-protocol-genesis -- Tezos/Protocol: genesis (economic-protocol definition, embedded in `octez-node`) -tezos-error-monad -- Tezos: error monad -tezos-event-logging -- Tezos event logging library -tezos-event-logging-test-helpers -- Tezos: test helpers for the event logging library -tezos-hacl -- Tezos: thin layer around hacl-star -tezos-hacl-glue -- Tezos: thin layer of glue around hacl-star (virtual package) -tezos-hacl-glue-unix -- Tezos: thin layer of glue around hacl-star (unix implementation) -tezos-injector-013-PtJakart -- Tezos/Protocol: protocol specific library building injectors -tezos-injector-014-PtKathma -- Tezos/Protocol: protocol specific library building injectors -tezos-injector-015-PtLimaPt -- Tezos/Protocol: protocol specific library building injectors -tezos-injector-016-PtMumbai -- Tezos/Protocol: protocol specific library building injectors -tezos-injector-alpha -- Tezos/Protocol: protocol specific library building injectors -tezos-layer2-store -- Tezos: layer2 storage utils -tezos-layer2-utils-016-PtMumbai -- Tezos/Protocol: protocol specific library for Layer 2 utils -tezos-layer2-utils-017-PtNairob -- Tezos/Protocol: protocol specific library for Layer 2 utils -tezos-lazy-containers -- A collection of lazy containers whose contents is fetched from arbitrary backend on-demand -tezos-lmdb -- Legacy Tezos OCaml binding to LMDB (Consider ocaml-lmdb instead) -tezos-lwt-result-stdlib 17.3 Tezos: error-aware stdlib replacement -tezos-micheline -- Tezos: internal AST and parser for the Michelson language -tezos-micheline-rewriting -- Tezos: library for rewriting Micheline expressions -tezos-mockup -- Tezos: library of auto-documented RPCs (mockup mode) -tezos-mockup-commands -- Tezos: library of auto-documented RPCs (commands) -tezos-mockup-proxy -- Tezos: local RPCs -tezos-mockup-registration -- Tezos: protocol registration for the mockup mode -tezos-node -- Tezos: `tezos-node` binary -tezos-p2p -- Tezos: library for a pool of P2P connections -tezos-p2p-services -- Tezos: descriptions of RPCs exported by `tezos-p2p` -tezos-plompiler -- Library to write arithmetic circuits for Plonk -tezos-plonk -- Plonk zero-knowledge proving system -tezos-protocol-000-Ps9mPmXa 18.0 Tezos protocol 000-Ps9mPmXa package -tezos-protocol-001-PtCJ7pwo 18.0 Tezos protocol 001-PtCJ7pwo package -tezos-protocol-002-PsYLVpVv 18.0 Tezos protocol 002-PsYLVpVv package -tezos-protocol-003-PsddFKi3 18.0 Tezos protocol 003-PsddFKi3 package -tezos-protocol-004-Pt24m4xi 18.0 Tezos protocol 004-Pt24m4xi package -tezos-protocol-005-PsBABY5H 18.0 Tezos protocol 005-PsBABY5H package -tezos-protocol-005-PsBabyM1 18.0 Tezos protocol 005-PsBabyM1 package -tezos-protocol-006-PsCARTHA 18.0 Tezos protocol 006-PsCARTHA package -tezos-protocol-007-PsDELPH1 18.0 Tezos protocol 007-PsDELPH1 package -tezos-protocol-008-PtEdo2Zk 18.0 Tezos protocol 008-PtEdo2Zk package -tezos-protocol-008-PtEdoTez 18.0 Tezos protocol 008-PtEdoTez package -tezos-protocol-009-PsFLoren 18.0 Tezos protocol 009-PsFLoren package -tezos-protocol-010-PtGRANAD 18.0 Tezos protocol 010-PtGRANAD package -tezos-protocol-011-PtHangz2 18.0 Tezos protocol 011-PtHangz2 package -tezos-protocol-012-Psithaca 18.0 Tezos protocol 012-Psithaca package -tezos-protocol-013-PtJakart 18.0 Tezos protocol 013-PtJakart package -tezos-protocol-014-PtKathma 18.0 Tezos protocol 014-PtKathma package -tezos-protocol-015-PtLimaPt 18.0 Tezos protocol 015-PtLimaPt package -tezos-protocol-016-PtMumbai 18.0 Tezos protocol 016-PtMumbai package -tezos-protocol-017-PtNairob 18.0 Tezos protocol 017-PtNairob package -tezos-protocol-018-Proxford 18.0 Tezos protocol 018-Proxford package -tezos-protocol-alpha 18.0 Tezos protocol alpha package -tezos-protocol-compiler -- Tezos: economic-protocol compiler -tezos-protocol-demo-counter -- Tezos protocol demo-counter package -tezos-protocol-demo-noops -- Tezos protocol demo-noops package -tezos-protocol-environment -- Interface layer between the protocols and the shell -tezos-protocol-environment-packer -- Tezos: sigs/structs packer for economic protocol environment -tezos-protocol-environment-sigs -- Tezos: restricted typing environment for the economic protocols -tezos-protocol-environment-structs -- Tezos: restricted typing environment for the economic protocols -tezos-protocol-genesis -- Tezos protocol genesis package -tezos-protocol-plugin-007-PsDELPH1 -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-007-PsDELPH1-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-008-PtEdo2Zk -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-008-PtEdo2Zk-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-009-PsFLoren -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-009-PsFLoren-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-010-PtGRANAD -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-010-PtGRANAD-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-011-PtHangz2 -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-011-PtHangz2-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-012-Psithaca -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-012-Psithaca-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-012-Psithaca-tests -- Tezos/Protocol: protocol plugin tests -tezos-protocol-plugin-013-PtJakart -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-013-PtJakart-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-013-PtJakart-tests -- Tezos/Protocol: protocol plugin tests -tezos-protocol-plugin-014-PtKathma -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-014-PtKathma-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-015-PtLimaPt -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-015-PtLimaPt-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-016-PtMumbai -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-016-PtMumbai-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-017-PtNairob -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-017-PtNairob-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-alpha -- Tezos/Protocol: protocol plugin -tezos-protocol-plugin-alpha-registerer -- Tezos/Protocol: protocol plugin registerer -tezos-protocol-plugin-alpha-tests -- Tezos/Protocol: protocol plugin tests -tezos-protocol-updater -- Tezos: economic-protocol dynamic loading for `octez-node` -tezos-proxy -- Tezos: proxy -tezos-proxy-server -- Tezos: `tezos-proxy-server` binary -tezos-proxy-server-config 18.0 Tezos: proxy server configuration -tezos-requester -- Tezos: generic resource fetching service -tezos-rpc -- Tezos: library of auto-documented RPCs (service and hierarchy descriptions) -tezos-rpc-http -- Tezos: library of auto-documented RPCs (http server and client) -tezos-rpc-http-client -- Tezos: library of auto-documented RPCs (http client) -tezos-rpc-http-client-unix -- Tezos: unix implementation of the RPC client -tezos-rpc-http-server -- Tezos: library of auto-documented RPCs (http server) -tezos-rust-libs 1.6 Tezos: all rust dependencies and their dependencies -tezos-sapling -- OCaml library for the Sapling protocol, using librustzcash -tezos-sapling-parameters 1.1.0 Sapling parameters used in Tezos -tezos-scoru-wasm -- Protocol environment dependency providing WASM functionality for SCORU -tezos-scoru-wasm-fast -- WASM functionality for SCORU Fast Execution -tezos-scoru-wasm-helpers -- Helpers for the smart rollup wasm functionality and debugger -tezos-shell -- Tezos: core of `octez-node` (gossip, validation scheduling, mempool, ...) -tezos-shell-context -- Tezos: economic-protocols environment implementation for `octez-node` -tezos-shell-context-test -- Testing the Shell Context -tezos-shell-services -- Tezos: descriptions of RPCs exported by `tezos-shell` -tezos-shell-services-test-helpers -- Tezos: Tezos shell_services test helpers -tezos-signer -- Tezos: `tezos-signer` binary -tezos-signer-backends -- Tezos: remote-signature backends for `tezos-client` -tezos-signer-services -- Tezos: descriptions of RPCs exported by `tezos-signer` -tezos-smart-rollup-016-PtMumbai -- Tezos/Protocol: protocol specific library of helpers for `tezos-smart-rollup` -tezos-smart-rollup-017-PtNairob -- Tezos/Protocol: protocol specific library of helpers for `tezos-smart-rollup` -tezos-smart-rollup-alpha -- Tezos/Protocol: protocol specific library of helpers for `tezos-smart-rollup` -tezos-smart-rollup-layer2-016-PtMumbai -- Tezos/Protocol: protocol specific library for `tezos-smart-rollup` -tezos-smart-rollup-layer2-017-PtNairob -- Tezos/Protocol: protocol specific library for `tezos-smart-rollup` -tezos-stdlib -- Tezos: yet-another local-extension of the OCaml standard library -tezos-stdlib-unix -- Tezos: yet-another local-extension of the OCaml standard library (unix-specific fragment) -tezos-store -- Tezos: store for `octez-node` -tezos-test-helpers -- Tezos-agnostic test helpers -tezos-test-helpers-extra -- Test helpers dependent on tezos-base -tezos-test-services -- Tezos: Alcotest-based test services -tezos-tree-encoding -- A general-purpose library to encode arbitrary data in Merkle trees -tezos-tx-rollup-013-PtJakart -- Tezos/Protocol: protocol specific library for `tezos-tx-rollup` -tezos-tx-rollup-014-PtKathma -- Tezos/Protocol: protocol specific library for `tezos-tx-rollup` -tezos-tx-rollup-015-PtLimaPt -- Tezos/Protocol: protocol specific library for `tezos-tx-rollup` -tezos-tx-rollup-alpha -- Tezos/Protocol: protocol specific library for `tezos-tx-rollup` -tezos-tx-rollup-client-013-PtJakart -- Tezos/Protocol: `tezos-tx-rollup-client-alpha` client binary -tezos-tx-rollup-client-014-PtKathma -- Tezos/Protocol: `tezos-tx-rollup-client-alpha` client binary -tezos-tx-rollup-client-alpha -- Tezos/Protocol: `tezos-tx-rollup-client-alpha` client binary -tezos-tx-rollup-node-013-PtJakart -- Tezos/Protocol: Transaction Rollup node binary -tezos-tx-rollup-node-014-PtKathma -- Tezos/Protocol: Transaction Rollup node binary -tezos-tx-rollup-node-alpha -- Tezos/Protocol: Transaction Rollup node binary -tezos-validation -- Tezos: library for block validation -tezos-validator -- Tezos: `tezos-validator` binary for external validation of blocks -tezos-version -- Tezos: version information generated from Git -tezos-wasmer -- Wasmer bindings for SCORU WASM -tezos-webassembly-interpreter -- WebAssembly reference interpreter with tweaks for Tezos -tezos-webassembly-interpreter-extra -- Additional modules from the WebAssembly REPL used in testing -tezos-workers -- Tezos: worker library -tezt 3.1.1 Test framework for unit tests, integration tests, and regression tests -tezt-performance-regression -- Performance regression test framework based on Tezt -tezt-tezos 18.0 Octez test framework based on Tezt -tgls 0.8.6 Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml -theora -- Bindings to libtheora -thread-table -- A lock-free thread-safe integer keyed hash table -thrift -- OCaml bindings for the Apache Thrift RPC system -tidy -- Bindings for libtidy5 -- HTML/XML syntax checker and reformatter -tidy_email -- An OCaml library that simplifies connecting to email services -tidy_email_mailgun -- An OCaml library that simplifies connecting to Mailgun's REST API -tidy_email_sendgrid -- An OCaml library that simplifies connecting to Sendgrid's REST API -tidy_email_smtp -- An OCaml library that simplifies connecting to SMTP servers -tilde_f -- Provides a let-syntax for continuation-passing style. -time_now v0.16.0 Reports the current time -timed -- Timed references for imperative state -timedesc -- OCaml date time handling library -timedesc-json -- Timedesc JSON backend -timedesc-sexp -- Timedesc Sexp backend -timedesc-tzdb -- Virtual library for Timedesc time zone database backends -timedesc-tzlocal -- Virtual library for Timedesc local time zone detection backends -timedesc-tzlocal-js -- JS implementation for timedesc-tzlocal -timere -- OCaml date time reasoning library -timere-parse -- OCaml date time and duration natural language parsing library -timezone v0.16.0 Time-zone handling -timmy -- Time and calendar library -timmy-jsoo -- Js_of_ocaml bindings for Timmy -timmy-unix -- Unix clock implementation for Timmy -tiny_httpd -- Minimal HTTP server using good old threads -tiny_httpd_camlzip -- Interface to camlzip for tiny_httpd -tiny_json -- A small Json library from OCAMLTTER -tip-parser -- Parser for https://tip-org.github.io/format.html -tjr_simple_earley -- An implementation of an Earley-like algorithm, designed for simplicity. -tldr -- An ocaml tldr client -tls 0.17.1 Transport Layer Security purely in OCaml -tls-async -- Transport Layer Security purely in OCaml, Async layer -tls-liquidsoap -- Virtual package install liquidosap dependencies for TLS optional features -tls-lwt 0.17.1 Transport Layer Security purely in OCaml, Lwt layer -tls-mirage -- Transport Layer Security purely in OCaml, MirageOS layer -toc -- A generator of table of contents for Github Markdown files -tofn -- Typed ordered fuzzy numbers -togglelog -- A ppx for compile-time-optional logging -toml -- Library for TOML with a parser, a serializer and a printer -toml-cconv -- Interface between cconv and toml -toml_cconv -- Interface between cconv and toml -tophide -- Hides toplevel values whose name starts with an underscore -topiary -- A formatter for OCaml based on the Topiary universal formatting engine -topkg 1.0.7 The transitory OCaml software packager -topkg-care -- The transitory OCaml software packager -topkg-jbuilder -- Helpers for using topkg with jbuilder -toplevel_backend -- Shared backend for setting up toplevels -toplevel_expect_test -- Expectation tests for the OCaml toplevel -topojson -- A pure OCaml library for working with the TopoJSON format -topological_sort -- Topological sort algorithm -torch -- Torch bindings for OCaml -touist -- The solver for the Touist language -tplib -- TPLib: Tropical Polyhedra Library -tptp -- Library for reading and writing FOF and CNF formulas in TPTP format -tqdm -- OCaml library for progress bars -trace -- A stub for tracing/observability, agnostic in how data is collected -trace-tef -- A simple backend for trace, emitting Catapult/TEF JSON into a file -tracing -- Tracing library -tracy-client -- Client bindings to the Tracy profiler (v0.9.1) -traildb -- OCaml bindings for TrailDB. -traits -- Common traits for generic functionality -trampoline -- A trampoline library enabling deep recursions that don't fit into stack memory -transept -- Generalized parser combinator library -traverse -- Traversable data structures with applicative functors -travesty -- Traversable containers, monad extensions, and more -travis-opam -- Scripts for OCaml projects -trax -- Stack-independent exception tracing -tree_layout -- Algorithms to layout trees in a pretty manner -treeprint -- Printing combinator library with automatic parenthese -trexio -- Binding for the TREXIO Input/Output library -trie -- Strict impure trie tree -tsdl 1.0.0 Thin bindings to SDL for OCaml -tsdl-image -- SDL2_Image bindings to go with Tsdl -tsdl-mixer -- SDL2_Mixer bindings to go with Tsdl -tsdl-ttf -- SDL2_Ttf bindings to go with Tsdl -tsort -- Easy to use and user-friendly topological sort -ttweetnacl -- Thin bindings to TweetNaCl cryptography for OCaml -tuareg -- OCaml mode for GNU Emacs -tube -- Typesafe abstraction on top of Lwt_io channels -tuntap -- OCaml library for handling TUN/TAP devices -twostep -- HOTP and TOTP algorithms for 2-step verification (for OCaml) -tyabt -- Strongly typed many-sorted abstract binding trees (ABTs) -type_conv -- Library for building type-driven syntax extensions -typebeat -- Agnostic parser of the `Content-Type` in OCaml -typerep v0.16.0 Typerep is a library for runtime types -typeset -- An embedded DSL for defining source code pretty printers -tyre -- Typed Regular Expressions -tyxml 4.6.0 A library for building correct HTML and SVG documents -tyxml-jsx -- JSX syntax to write TyXML documents -tyxml-lwd -- Make reactive webpages in Js_of_ocaml using Tyxml and Lwd -tyxml-ppx -- PPX to write TyXML documents with the HTML syntax -tyxml-syntax -- Common layer for the JSX and PPX syntaxes for Tyxml -u2f -- Universal Second Factor (U2F) implementation in OCaml -ubase -- Remove diacritics from latin utf8 strings -ubpf -- OCaml bindings for userspace eBPF VM -ucaml -- Translate OCaml code into C code -uchar -- Compatibility library for OCaml's Uchar module -uecc -- Bindings for ECDH and ECDSA for 8-bit, 32-bit, and 64-bit processors -uint -- Deprecated: An unsigned integer library -ulex -- lexer generator for Unicode and OCaml -ulex-camlp5 -- A lexer generator for Unicode (backported to camlp5) -ulid -- ULIDs for OCaml -um-abt -- An OCaml library implementing unifiable abstract binding trees (UABTs) -unidecode -- Convert unicode strings into its ASCII representation -unionFind -- Implementations of the union-find data structure -unisim_archisec -- UNISIM-VP DBA decoder -unison -- File-synchronization tool for Unix and Windows -universo -- A tool for Dedukti to play with universes -unix-dirent -- ocaml-unix-dirent provides access to the features exposed in dirent.h -unix-errno -- Unix errno types, maps, and support -unix-sys-resource -- Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends) -unix-sys-stat -- ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h -unix-time -- Unix time.h types, maps, and support -unix-type-representations -- Functions that expose the underlying types of some abstract types in the Unix module -unix-unistd -- Host-independent unistd.h bindings -unstrctrd 0.3 Unstructured parser -uri 4.4.0 An RFC3986 URI/URL parsing library -uri-bench -- Benchmarking package for ocaml-uri -uri-re -- An RFC3986 URI/URL parsing library -uri-sexp 4.4.0 An RFC3986 URI/URL parsing library -uring -- OCaml bindings for Linux io_uring -uritemplate -- OCaml implementation of URI templates (RFC6570) -usb -- OCaml bindings for libusb-1.0 -user-agent-parser -- OCaml implementation of the user agent parse rules of uap-core -user-setup -- Helper for the configuration of editors for the use of OCaml tools -username_kernel -- An identifier for a user -uspf -- SPF implementation in OCaml -uspf-lwt -- SPF implementation in OCaml (with LWT) -uspf-unix -- SPF implementation in OCaml -utop -- Universal toplevel for OCaml -uucd 15.1.0 Unicode character database decoder for OCaml -uucp 15.1.0 Unicode character properties for OCaml -uuidm 0.9.8 Universally unique identifiers (UUIDs) for OCaml -uunf 15.1.0 Unicode text normalization for OCaml -uuseg 15.1.0 Unicode text segmentation for OCaml -uutf 1.0.3 Non-blocking streaming Unicode codec for OCaml -uuuu -- Mapper of ISO-8859-* to Unicode -valentine -- Validate HTML from command line -validator -- Create a record validator via composable sub-validators -variantslib v0.16.0 Part of Jane Street's Core library -varint -- A simple varint implementation modeled after the one found in Go's standard library. -varray -- Resizable arrays with fast insertion/deletion -vcaml -- OCaml bindings for the Neovim API -vcardgen -- Simple OCaml library for generating VCards per RFC-6350 -vchan -- Xen Vchan implementation -vchan-unix -- Xen Vchan implementation -vchan-xen -- Xen Vchan implementation -vdom -- DOM and VDOM for OCaml -vec -- Fast, safe mutable dynamic arrays -vecosek -- -vecosek-engine -- -vecosek-scene -- -vector 1.0.0 Resizable Arrays -vector3 1.0.0 Module for 3D vectors (implemented as records of x, y and z floats) -vendredi -- Tool for generating dune projects which vendor given packages for the purpose of testing that their dependencies are vendor-friendly -vercel -- A custom runtime for Vercel.com (Now v2) written in OCaml -vg 0.9.4 Declarative 2D vector graphics for OCaml -vhd-format -- Pure OCaml library to read/write VHD format data -vhd-format-lwt -- Lwt interface to read/write VHD format data -vhdlib -- Bindings to libvhd -virtual_dom -- OCaml bindings for the virtual-dom library -visitors -- An OCaml syntax extension for generating visitor classes -vlq -- A simple library for encoding variable-length quantities -vlt -- A variant of Bolt logging tool -voaacenc -- Bindings for the voaacenc library to encode audio files in AAC format -vocal -- VOCaL -- The Verified OCaml Library -volt -- Volt is a variant of Bolt OCaml Logging Tool -voqc -- A verified optimizer for quantum circuits (VOQC) -vorbis -- Bindings to libvorbis -vpt -- Vantage point tree implementation in OCaml -vscoq-language-server -- VSCoq language server -vue-jsoo -- Binding of Vue_js -vue-ppx -- Ppx to make Vue.js application -wall -- Realtime Vector Graphics with OpenGL -wamp -- Web Application Messaging Protocol (WAMP) library — Core library -wamp-msgpck -- Web Application Messaging Protocol (WAMP) library — Msgpck support -wamp-yojson -- Web Application Messaging Protocol (WAMP) library — Yojson support -wasm -- Library to read and write WebAssembly (Wasm) files and manipulate their AST -wasmer -- OCaml bindings for Wasmer -wasmtime -- Wasmtime bindings for OCaml -wayland -- Pure OCaml Wayland protocol library -waylaunch -- Waylaunch is a program launcher for Wayland -wcs-lib -- SDK for Watson Conversation Service -webauthn -- WebAuthn - authenticating users to services using public key cryptography -webbrowser 0.6.1 Open and reload URIs in browsers from OCaml -weberizer -- Compile HTML templates into OCaml modules -webidl -- Web IDL parser -webmachine -- A REST toolkit for OCaml -websocket -- Websocket library -websocket-async -- Websocket library (Async) -websocket-lwt -- Websocket library (Lwt) -websocket-lwt-unix -- Websocket library (Lwt) -websocketaf -- Websocket implementation for use with http/af -websocketml -- A simple websocket library for OCaml with no dependency -webtest -- An in-browser js_of_ocaml testing framework - core library -webtest-js -- An in-browser js_of_ocaml testing framework - js_of_ocaml integration -weevil -- Tezos: `weevil` binary - a tool for debugging Michelson code -why3 -- Why3 environment for deductive program verification -why3-coq -- Why3 environment for deductive program verification -why3-ide -- Why3 environment for deductive program verification -wikitext -- Wikitext parser -win-error -- Manipulate Windows system errors -win-eventlog -- Log via the Windows event log from OCaml programs -wiringpi -- WiringPi for OCaml, low level Raspberry Pi hardware access -ws-server -- WebSocket server -wseg -- A word identification system -wtf8 -- Encoder and decoder for WTF-8 -wtr -- Well Typed Router -wtr-ppx -- Ppx to create routers -wu-manber-fuzzy-search -- Wu-Manber approximate string matching -wyrd -- Text-based front-end to Remind, a sophisticated calendar and alarm program -x509 0.16.5 Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml -xapi-backtrace -- A simple library for recording and managing backtraces -xapi-inventory -- Library for accessing the xapi toolstack inventory file -xapi-rrd -- RRD library for use with xapi -xapi-stdext-date -- Xapi's standard library extension, Dates -xapi-stdext-encodings -- Xapi's standard library extension, Encodings -xapi-stdext-pervasives -- Xapi's standard library extension, Pervasives -xapi-stdext-std -- Xapi's standard library extension, Stdlib -xapi-stdext-threads -- Xapi's standard library extension, Threads -xapi-stdext-unix -- Xapi's standard library extension, Unix -xapi-stdext-zerocheck -- Xapi's standard library extension, Zerocheck -xcursor -- A pure implementation of Xcursor in OCaml -xdg 3.11.1 XDG Base Directory Specification -xdg-basedir -- XDG basedir location for data/cache/configuration files -xen-evtchn -- Xen event channel interface for MirageOS -xen-evtchn-unix -- Xen event channel interface for Linux -xen-gnt -- Xen grant table bindings for OCaml -xen-gnt-unix -- Xen grant table bindings for OCaml -xenstore -- Xenstore protocol in pure OCaml -xenstore_transport -- Low-level libraries for connecting to a xenstore service on a xen host -xmelly -- Simplest way to do simple parsing of simple XML files in OCaml -xml-light -- Xml-Light is a minimal XML parser & printer for OCaml -xmldiff -- Computing and applying diffs on XML trees -xmldiff_js -- Using Xmldiff on DOM -xmlm 1.4.0 Streaming XML codec for OCaml -xmlplaylist -- Library to parse various file playlists in XML format -xoshiro -- Xoshiro PRNGs as drop-in replacements for Stdlib.Random -xtmpl -- Xml templating library -xtmpl_js -- Xml templating library, javascript library -xtmpl_ppx -- Xml templating library, ppx extension -xxhash -- Bindings for xxHash, an extremely fast hash algorithm -yajl -- Bindings to the YAJL streaming JSON library -yaml 3.1.0 Parse and generate YAML 1.1/1.2 files -yaml-sexp -- Parse and generate YAML 1.1 files -yices2 -- Yices2 SMT solver binding -yices2_bindings -- Ocaml bindings for yices2 -yojson 2.1.1 Yojson is an optimized parsing and printing library for the JSON format -yojson-bench -- Run Yojson benchmarks -yurt -- An HTTP framework for OCaml -yuscii -- Mapper of UTF-7 to Unicode -yuujinchou -- Name pattern combinators -z3 -- Z3 solver -z3_tptp -- TPTP front end for Z3 solver -zanuda -- OCaml linter experiment -zar -- Formally verified sampling from discrete probability distributions -zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers -zarith-freestanding -- Implements arithmetic and logical operations over arbitrary-precision integers -zarith-xen -- Implements arithmetic and logical operations over arbitrary-precision integers -zarith_stubs_js v0.16.0 Javascripts stubs for the Zarith library -zed -- Abstract engine for text edition in OCaml -zeit -- -zelus -- A synchronous language with ODEs -zelus-gtk -- Zelus GTK library -zenon -- An Extensible Automated Theorem Prover Producing Checkable Proofs -zipperposition -- A fully automatic theorem prover for typed higher-order and beyond -zipperposition-tools -- Support tools for Zipperposition -zlib -- Bindings to the zlib compression library -zlist -- Lazy lists for OCaml -zmq -- OCaml bindings for ZeroMQ 4.x -zmq-async -- Async-aware bindings to ZMQ -zmq-lwt -- Lwt-aware bindings to ZMQ -zstandard -- OCaml bindings to Zstandard -zstd -- Bindings to zstd compression library -zxcvbn -- Bindings for the zxcvbn password strength estimation library diff --git a/sherlodoc.opam b/sherlodoc.opam index 63134b8f..c3b67571 100644 --- a/sherlodoc.opam +++ b/sherlodoc.opam @@ -1,5 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" +version: "0.2" synopsis: "Search engine for OCaml documentation" maintainer: ["art.wendling@gmail.com"] authors: ["Arthur Wendling" "Emile Trotignon"]