OCaml Documentation: Main Index

OCaml Distribution


2165 packages


  1. 0install.2.17 Decentralised installation system
  2. 0install-gtk.2.17 Decentralised installation system - GTK UI
  3. 0install-solver.2.17 Package dependency solver


  1. ANSITerminal.0.8.2 Basic control of ANSI compliant terminals and the windows shell
  2. abella.2.0.7 Interactive theorem prover based on lambda-tree syntax
  3. absolute.0.1 AbSolute solver
  4. accessor.v0.14.1 A library that makes it nicer to work with nested functional data structures
  5. accessor_async.v0.14.1 Accessors for Async types, for use with the Accessor library
  6. accessor_base.v0.14.1 Accessors for Base types, for use with the Accessor library
  7. accessor_core.v0.14.1 Accessors for Core types, for use with the Accessor library
  8. acgtk.1.5.2 Abstract Categorial Grammar development toolkit
  9. aez.0.3 Alt-Ergo Zero is an OCaml library for an SMT solver.
  10. afl.2.52b American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam.
  11. afl-persistent.1.3 Use afl-fuzz in persistent mode
  12. agrid.0.1 Adjustable grid (two dimensional array) library
  13. ahrocksdb.0.2.2 A binding to RocksDB
  14. aifad.2.2.2 AIFAD - Automated Induction of Functions over Algebraic Datatypes
  15. alba.0.4.4 Alba compiler
  16. alcotest.1.3.0 Alcotest is a lightweight and colourful test framework
  17. alcotest-async.1.3.0 Async-based helpers for Alcotest
  18. alcotest-lwt.1.3.0 Lwt-based helpers for Alcotest
  19. alcotest-mirage.1.3.0 Mirage implementation for Alcotest
  20. alg_structs.0.1.3 Interfaces and module combinators for algebraic structures
  21. alg_structs_qcheck.0.1.3 Provides qCheck generators for laws of alg_structs
  22. aliases.0.0.5 In memory indexes
  23. alsa.0.2.3 Bindings for the ALSA library which provides functions for using soundcards
  24. alt-ergo.1.01 Alt-Ergo, an SMT Solver for Software Verification
  25. alt-ergo-lib.2.4.0 The Alt-Ergo SMT prover library
  26. alt-ergo-parsers.2.4.0 The Alt-Ergo SMT prover parser library
  27. altgr-ergo.2.4.0 The GUI for the Alt-Ergo SMT prover
  28. amqp-client.2.2.2 Amqp client base library
  29. amqp-client-async.2.2.2 Amqp client library, async version
  30. amqp-client-lwt.2.2.2 Amqp client library, lwt version
  31. ancient.0.9.1 Use data structures larger than available memory
  32. angstrom.0.15.0 Parser combinators built for speed and memory-efficiency
  33. angstrom-async.0.15.0 Async support for Angstrom
  34. angstrom-lwt-unix.0.15.0 Lwt_unix support for Angstrom
  35. angstrom-unix.0.15.0 Unix support for Angstrom
  36. ansicolor.0.5 Simple ANSI terminal color library (deprecated in favor of ANSITerminal).
  37. anthill.0.1 Word search library and utility
  38. ao.0.2.3 Bindings for the AO library which provides high-level functions for using soundcards
  39. apron.v0.9.13 APRON numerical abstract domain library
  40. apronext.1.0.4 Apron extension
  41. archetype.1.2.2 Archetype language compiler
  42. archi.0.1.0 A library for managing the lifecycle of stateful components in OCaml
  43. archi-async.0.1.0 Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
  44. archi-lwt.0.1.0 Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
  45. archimedes.0.4.19 Extensible 2D plotting library
  46. argon2.1.0.1 OCaml bindings to Argon2
  47. arp.2.2.1 Address Resolution Protocol purely in OCaml
  48. arp-mirage.2.2.1 Address Resolution Protocol for MirageOS
  49. art.0.1.0 Adaptive Radix Tree
  50. asetmap.0.8.1 Alternative, compatible, OCaml standard library Sets and Maps
  51. asl.0.11 Bindings for the Apple System Log API
  52. asli.0.2.0 Interpreter for Arm's Architecture Specification Language (ASL)
  53. asn1-combinators.0.2.5 Embed typed ASN.1 grammars in OCaml
  54. assertions.0.1 Basic assert statements
  55. astring.0.8.5 Alternative String module for OCaml
  56. async.v0.14.0 Monadic concurrency library
  57. async-uri.0.2.1 Open Async (TLS) TCP connections with Uri.t
  58. async_durable.v0.14.0 Durable connections for use with async
  59. async_extra.v0.14.0 Monadic concurrency library
  60. async_find.v0.14.0 Directory traversal with Async
  61. async_graphics.0.7.0 Async wrapper for the OCaml Graphics library
  62. async_inotify.v0.14.0 Async wrapper for inotify
  63. async_interactive.v0.14.0 Utilities for building simple command-line based user interfaces
  64. async_js.v0.14.0 A small library that provide Async support for JavaScript platforms
  65. async_kernel.v0.14.0 Monadic concurrency library
  66. async_rpc_kernel.v0.14.0 Platform-independent core of Async RPC library
  67. async_sendfile.v0.14.0 Thin wrapper around [Linux_ext.sendfile] to send full files
  68. async_ssl.v0.14.0 An Async-pipe-based interface with OpenSSL
  69. async_udp.v0.14.0 Monadic concurrency library
  70. async_unix.v0.14.0 Monadic concurrency library
  71. async_websocket.v0.14.0 A library that implements the websocket protocol on top of Async
  72. atd.2.2.1 Parser for the ATD data format description language
  73. atdgen.2.2.1 Generates efficient JSON serializers, deserializers and validators
  74. atdgen-runtime.2.2.1 Runtime library for code generated by atdgen
  75. aws.1.2 Amazon Web Services SDK
  76. aws-async.1.2 Amazon Web Services SDK bindings for async
  77. aws-autoscaling.1.2 Amazon Web Services SDK bindings to Auto Scaling
  78. aws-cloudformation.1.2 Amazon Web Services SDK bindings to AWS CloudFormation
  79. aws-cloudtrail.1.2 Amazon Web Services SDK bindings to AWS CloudTrail
  80. aws-cloudwatch.1.2 Amazon Web Services SDK bindings to Amazon CloudWatch
  81. aws-ec2.1.2 Amazon Web Services SDK bindings to Amazon Elastic Compute Cloud
  82. aws-elasticache.1.2 Amazon Web Services SDK bindings to Amazon ElastiCache
  83. aws-elasticloadbalancing.1.2 Amazon Web Services SDK bindings to Elastic Load Balancing
  84. aws-lwt.1.2 Amazon Web Services SDK bindings for lwt
  85. aws-rds.1.2 Amazon Web Services SDK bindings to Amazon Relational Database Service
  86. aws-route53.1.2 Amazon Web Services SDK bindings to Amazon Route 53
  87. aws-s3.4.5.1 Ocaml library for accessing Amazon S3
  88. aws-s3-async.4.5.1 Ocaml library for accessing Amazon S3 - Async version
  89. aws-s3-lwt.4.5.1 Ocaml library for accessing Amazon S3 - Lwt version
  90. aws-sdb.1.2 Amazon Web Services SDK bindings to Amazon SimpleDB
  91. aws-sqs.1.2 Amazon Web Services SDK bindings to Amazon Simple Queue Service
  92. aws-ssm.1.2 Amazon Web Services SDK bindings to Amazon Simple Systems Management Service
  93. aws-sts.1.2 Amazon Web Services SDK bindings to AWS Security Token Service
  94. azblob.0.1.0 A trivial Azure Blob Storage interface for OCaml
  95. azblob-async.0.1.0 A trivial Azure Blob Storage interface for OCaml
  96. azure-cosmos-db.0.1.6 Azure cosmos db interface


  1. BetterErrors.0.0.1 Better compiler error output.
  2. b0.0.0.2 Software construction and deployment kit
  3. balancer.1.0 A collection of load balancing algorithms implemented in pure Ocaml
  4. bap.2.2.0 Binary Analysis Platform
  5. bap-abi.2.2.0 BAP ABI integration subsystem
  6. bap-analyze.2.2.0 Implements the analyze command
  7. bap-api.2.2.0 A pass that adds parameters to subroutines based on known API
  8. bap-arm.2.2.0 BAP ARM lifter and disassembler
  9. bap-beagle.2.2.0 BAP obfuscated string solver
  10. bap-beagle-strings.2.2.0 Finds strings of characters using microexecution
  11. bap-bil.2.2.0 Controls the BIL transformation pipeline
  12. bap-build.2.2.0 BAP build automation tools
  13. bap-bundle.2.2.0 BAP bundler
  14. bap-byteweight.2.2.0 BAP facility for indentifying code entry points
  15. bap-byteweight-frontend.2.2.0 BAP Toolkit for training and controlling Byteweight algorithm
  16. bap-c.2.2.0 A C language support library for BAP
  17. bap-cache.2.2.0 BAP caching service
  18. bap-callgraph-collator.2.2.0 Collates programs based on their callgraphs
  19. bap-callsites.2.2.0 Inject data definition terms at callsites
  20. bap-constant-tracker.2.2.0 Constant Tracking Analysis based on Primus
  21. bap-core-theory.2.2.0 BAP Semantics Representation
  22. bap-cxxfilt.2.2.0 A demangler that relies on a c++filt utility
  23. bap-demangle.2.2.0 Library for name demangling
  24. bap-disassemble.2.2.0 Implements the disassemble command
  25. bap-dump-symbols.2.2.0 BAP plugin that dumps symbols information from a binary
  26. bap-dwarf.2.2.0 BAP DWARF parsing library
  27. bap-elementary.2.2.0 BAP floating point approximations of elementary functions
  28. bap-elf.2.2.0 BAP ELF parser and loader written in native OCaml
  29. bap-emacs-dot.0.1 Will automatically detect graph specifications in a dot syntax and display them using overlaying
  30. bap-emacs-goodies.0.1 A collection of useful Emacs tools for BAP
  31. bap-emacs-mode.0.1 Emacs major mode for reading and analyzing programs in BAP's IR
  32. bap-frontc.2.2.0 A C language frontend for based on FrontC library
  33. bap-frontend.2.2.0 BAP frontend
  34. bap-future.2.2.0 A library for asynchronous values
  35. bap-glibc-runtime.2.2.0 Detects the presence of glibc runtime
  36. bap-ida-plugin.2.2.0 Plugins for IDA and BAP integration
  37. bap-knowledge.2.2.0 Knowledge Representation Library
  38. bap-llvm.2.2.0 BAP LLVM backend
  39. bap-main.2.2.0 Build BAP Main Framework Configuration Library
  40. bap-mc.2.2.0 BAP machine instruction playground
  41. bap-microx.2.2.0 A micro execution framework
  42. bap-mips.2.2.0 BAP MIPS lifter
  43. bap-objdump.2.2.0 Extract symbols from binary, using binutils objdump
  44. bap-optimization.2.2.0 A BAP plugin that removes dead IR code
  45. bap-phoenix.2.2.0 BAP plugin that dumps information in a phoenix decompiler format
  46. bap-piqi.2.2.0 BAP plugin for serialization based on piqi library
  47. bap-plugins.2.2.0 BAP plugins support library
  48. bap-powerpc.2.2.0 BAP PowerPC lifter
  49. bap-primus.2.2.0 The BAP Microexecution Framework
  50. bap-primus-dictionary.2.2.0 BAP Primus Lisp library that provides dictionaries
  51. bap-primus-exploring-scheduler.2.2.0 Evaluates all machines, prioritizing the least visited
  52. bap-primus-greedy-scheduler.2.2.0 Evaluates all machines in the DFS order
  53. bap-primus-limit.2.2.0 Ensures termination by limiting Primus machines
  54. bap-primus-lisp.2.2.0 BAP Primus Lisp Runtime
  55. bap-primus-loader.2.2.0 Generic program loader for Primus
  56. bap-primus-mark-visited.2.2.0 Registers the bap:mark-visited component
  57. bap-primus-powerpc.2.2.0 Performs the PowerPC target specific setup
  58. bap-primus-print.2.2.0 Prints Primus states and observations
  59. bap-primus-promiscuous.2.2.0 Enables the promiscuous mode of execution
  60. bap-primus-propagate-taint.2.2.0 A compatibility layer between different taint analysis frameworks
  61. bap-primus-random.2.2.0 Provides components for Primus state randomization
  62. bap-primus-region.2.2.0 Provides a set of operations to store and manipulate interval trees
  63. bap-primus-round-robin-scheduler.2.2.0 Evaluates all machines in the BFS order
  64. bap-primus-support.2.2.0 Provides supporting components for Primus
  65. bap-primus-symbolic-executor.2.2.0 Primus Symbolic Executor
  66. bap-primus-systems.2.2.0 Loads Primus systems and registers them in the system repository
  67. bap-primus-taint.2.2.0 A taint analysis control interface
  68. bap-primus-test.2.2.0 BAP Primus Testing and Program Verification module
  69. bap-primus-track-visited.2.2.0 Tracks basic blocks visited by Primus
  70. bap-primus-wandering-scheduler.2.2.0 Evaluates all machines while
  71. bap-primus-x86.2.2.0 The x86 CPU support package for BAP Primus CPU emulator
  72. bap-print.2.2.0 Print plugin - print project in various formats
  73. bap-radare2.2.2.0 Extract symbols from binary using radare2
  74. bap-raw.2.2.0 Provides a loader for raw binaries
  75. bap-recipe.2.2.0 Stores command line parameters and resources in a single file
  76. bap-recipe-command.2.2.0 Provides commands to manipulate the recipe subsystem
  77. bap-relation.2.2.0 A set of relations (bimap)
  78. bap-relocatable.2.2.0 Extracts symbolic information from the program relocations
  79. bap-report.2.2.0 A BAP plugin that reports program status
  80. bap-run.2.2.0 A BAP plugin that executes a binary
  81. bap-signatures.2.2.0 A data package with binary signatures for bap
  82. bap-specification.2.2.0 Implements the specification command
  83. bap-ssa.2.2.0 A BAP plugin, that translates a program into the SSA form
  84. bap-std.2.2.0 The Binary Analysis Platform Standard Library
  85. bap-strings.2.2.0 Text utilities useful in Binary Analysis and Reverse Engineering
  86. bap-stub-resolver.2.2.0 Identifies and manages stub functions in a binary
  87. bap-symbol-reader.2.2.0 BAP plugin that reads symbol information from files
  88. bap-systemz.2.2.0 A target support package for the Systemz (Z9) ISA
  89. bap-taint.2.2.0 BAP Taint Analysis Framework
  90. bap-taint-propagator.2.2.0 BAP Taint propagation engine using based on microexecution
  91. bap-term-mapper.2.2.0 A BAP DSL for mapping program terms
  92. bap-thumb.2.2.0 A target support package for the Thumb instruction set
  93. bap-trace.2.2.0 A plugin to load and run program execution traces
  94. bap-traces.2.2.0 BAP Library for loading and parsing execution traces
  95. bap-trivial-condition-form.2.2.0 Eliminates complex conditionals in branches
  96. bap-warn-unused.2.2.0 Emit a warning if an unused result may cause a bug or security issue
  97. bap-x86.2.2.0 BAP x86 lifter
  98. bare.2.2.0 BAP Rule Engine Library
  99. base.v0.14.1 Full standard library replacement for OCaml
  100. base-bigarray.base
  101. base-bytes.base Bytes library distributed with the OCaml compiler
  102. base-threads.base
  103. base-unix.base
  104. base58.0.1.2 Base58 encoding and decoding
  105. base64.3.5.0 Base64 encoding for OCaml
  106. base_bigstring.v0.14.0 String type based on [Bigarray], for use in I/O and C-bindings
  107. base_quickcheck.v0.14.0 Randomized testing framework, designed for compatibility with Base
  108. bastet.1.2.5 A ReasonML/OCaml library for category theory and abstract algebra
  109. bastet_async.0.1.0 Async implementations for bastet
  110. bastet_lwt.0.1.0 Lwt implementations for bastet
  111. batteries.3.3.0 A community-maintained standard library extension
  112. bdd.0.3 Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
  113. bear.0.0.1 Bare essential additions to the stdlib
  114. bech32.0.1 Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
  115. bechamel.0.1.0 Yet Another Benchmark in OCaml
  116. bechamel-js.0.1.0 HTML generator for bechamel's output
  117. bechamel-notty.0.1.0 CLI generator for bechamel's output
  118. bechamel-perf.0.1.0 Linux perf's metrics for bechamel
  119. beluga.1.0 Implementation of contextual modal logic for reasoning with higher-order abstract syntax
  120. benchmark.1.6 Benchmark running times of code
  121. benchpress.0.1 Tool to run one or more logic programs, on a set of files, and collect the results
  122. benchpress-server.0.1 Server and web UI for benchpress
  123. bencode.1.0.2 Read/Write bencode (.torrent) files in OCaml
  124. bheap.2.0.0 Priority queues
  125. bigarray-compat.1.0.0 Compatibility library to use Stdlib.Bigarray when possible
  126. bigarray-overlap.0.2.0 Bigarray.overlap
  127. bignum.v0.14.0 Core-flavoured wrapper around zarith's arbitrary-precision rationals
  128. bigstring.0.3 A set of utils for dealing with `bigarrays` of `char`
  129. bigstringaf.0.7.0 Bigstring intrinsics and fast blits based on memcpy/memmove
  130. bimage.0.3.1 A simple, efficient image-processing library
  131. bimage-display.0.3.1 Window system for Bimage
  132. bimage-io.0.3.1 Input/output for Bimage using OpenImageIO
  133. bimage-lwt.0.3.1 A simple, efficient image-processing library (LWT bindings)
  134. bimage-unix.0.3.1 Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
  135. bimap.20201231 An OCaml library implementing bi-directional maps and multi-maps
  136. bin_prot.v0.14.0 A binary protocol generator
  137. binaryen.0.9.1 OCaml bindings for Binaryen
  138. bindlib.5.0.1 OCaml Bindlib library for bound variables
  139. biniou.1.2.1 Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
  140. biocaml.0.11.1 The OCaml Bioinformatics Library
  141. bisect.1.3.1 Code coverage tool for the OCaml language (deprecated)
  142. bisect-summary.0.3 bisect-summary - simple analysis of coverage data created by bisect-ppx
  143. bisect_ppx.1.4.2 Code coverage for OCaml
  144. bitcoinml.0.4.1 Bitcoin data-structures library for OCaml
  145. bitstring.3.1.1 bitstrings and bitstring matching for OCaml
  146. bitv.1.6 A bit vector library for OCaml
  147. bitvec.2.2.0 Fixed-size bitvectors and modular arithmetic, based on Zarith
  148. bitvec-binprot.2.2.0 Janestreet's Binprot serialization for Bitvec
  149. bitvec-order.2.2.0 Base style comparators and orders for Bitvec
  150. bitvec-sexp.2.2.0 Sexp serializers for Bitvec
  151. bjack.0.1.6 Bindings for the Jack library which provides functions for linking audio programs
  152. blake2.0.3 Blake2 cryptography
  153. bls12-381.0.3.15 OCaml binding for bls12-381 from librustzcash
  154. bls12-381-gen.0.4.2 Functors to generate BLS12-381 primitives based on stubs
  155. bn128.0.1.3 Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML
  156. bonsai.v0.14.0 A library for building dynamic webapps, using Js_of_ocaml
  157. bos.0.2.0 Basic OS interaction for OCaml
  158. bpf.0.2 Embedded eBPF assembler
  159. bracetax.0.4 Simple and deterministic text processing syntax
  160. broken.0.4.2 The Broken package is a simple testsuite framework.
  161. brr.0.0.1 Browser programming toolkit for OCaml
  162. bsdowl.3.0.0-20150830 This collection of BSD Make directives aims at providing a highly
  163. bst.7.0.0 Bisector tree implementation in OCaml
  164. bun.0.3.2 simple management of afl-fuzz processes
  165. bwrap.0.1 Use Bubblewrap to sandbox executables
  166. bytepdf.0.1 Tool to create PDFs that are also OCaml bytecodes


  1. ca-certs.0.2.0 Detect root CA certificates from the operating system
  2. ca-certs-nss.3.63 X.509 trust anchors extracted from Mozilla's NSS
  3. cairo2.0.6.2 Binding to Cairo, a 2D Vector Graphics Library
  4. cairo2-gtk.0.6.2 Rendering Cairo on Gtk2 canvas
  5. cairo2-pango.0.6.2 Interface between Cairo and Pango (for Gtk2)
  6. calculon.0.6 Library for writing IRC bots in OCaml and a collection of plugins
  7. calculon-redis.0.6 A redis plugin for Calculon
  8. calculon-redis-lib.0.6 A library to interact with Calculon via Redis
  9. calculon-web.0.6 A collection of web plugins for Calculon
  10. calendar.2.04 Library for handling dates and times in your program
  11. callipyge.0.2 Pure OCaml implementation of Curve25519.
  12. camelot.1.7.0 An OCaml Linter / Style Checker
  13. camels.0.0.4 A game about camels
  14. camelsnakekebab.0.4 A Ocaml library for word case conversion
  15. camlbz2.0.7.0 Bindings for bzip2
  16. camlgpc.1.0 Interface to Alan Murta's General Polygon Clipper
  17. camlidl.1.09 Stub code generator for OCaml
  18. camlimages.5.0.4 Image processing library
  19. camllib.1.3.3 Utility Library (including various datatypes)
  20. camlp4.4.10+1 Camlp4 is a system for writing extensible parsers for programming languages
  21. camlp5.8.00.01 Preprocessor-pretty-printer of OCaml
  22. camlpdf.2.3 Read, write and modify PDF files
  23. camlprime.0.5 Primality testing with lazy lists of prime numbers
  24. camltc.0.9.8 OCaml bindings for tokyo cabinet
  25. camlzip.1.10 Provides easy access to compressed files in ZIP, GZIP and JAR format
  26. camomile.1.0.2 A Unicode library
  27. camyll.0.1.0 A static site generator
  28. capnp.3.4.0 OCaml code generation plugin for the Cap'n Proto serialization framework
  29. capnp-rpc.1.0 Cap'n Proto is a capability-based RPC system with bindings for many languages
  30. capnp-rpc-lwt.1.0 Cap'n Proto is a capability-based RPC system with bindings for many languages
  31. capnp-rpc-mirage.1.0 Cap'n Proto is a capability-based RPC system with bindings for many languages
  32. capnp-rpc-net.1.0 Cap'n Proto is a capability-based RPC system with bindings for many languages
  33. capnp-rpc-unix.1.0 Cap'n Proto is a capability-based RPC system with bindings for many languages
  34. captureio.0.1.2 Capture output to Stderr and Stdout
  35. caqti.1.4.0 Unified interface to relational database libraries
  36. caqti-async.1.3.0 Async support for Caqti
  37. caqti-driver-postgresql.1.4.0 PostgreSQL driver for Caqti based on C bindings
  38. caqti-driver-sqlite3.1.4.0 Sqlite3 driver for Caqti using C bindings
  39. caqti-dynload.1.3.0 Dynamic linking of Caqti drivers using findlib.dynload
  40. caqti-lwt.1.3.0 Lwt support for Caqti
  41. caqti-type-calendar.1.2.0 Date and time field types using the calendar library
  42. catala.0.3.0 Low-level language for tax code specification
  43. cbor.0.4 CBOR encoder/decoder (RFC 7049) - native OCaml implementation
  44. cconv.0.5 Combinators for Type Conversion in OCaml
  45. cfg.2.2.1 CFG - Context-Free Grammars
  46. cfstream.1.3.1 Stream operations in the style of Core's API
  47. cgi.0.10 Library for writing CGIs
  48. cgroups.0.1 An OCaml interface for the Linux control groups
  49. chacha.1.0.0 The Chacha functions, in OCaml
  50. chalk.1.0 Composable and simple terminal highlighting package
  51. charInfo_width.1.1.0 Determine column width for a character
  52. charrua.1.2.2 DHCP wire frame encoder and decoder
  53. charrua-client.1.2.2 DHCP client implementation
  54. charrua-client-lwt.1.2.2 A DHCP client using lwt as effectful layer
  55. charrua-client-mirage.1.2.2 A DHCP client for MirageOS
  56. charrua-server.1.2.2 DHCP server
  57. charrua-unix.1.2.2 Unix DHCP daemon
  58. chartjs.0.2.2 OCaml bindings for Chart.js
  59. chartjs-annotation.0.2.2 OCaml bindigns for Chart.js annotation plugin
  60. chartjs-colorschemes.0.2.2 OCaml bindigns for Chart.js colorschemes plugin
  61. chartjs-datalabels.0.2.2 OCaml bindigns for Chart.js datalabels plugin
  62. chartjs-streaming.0.2.2 OCaml bindings for Chart.js streaming plugin
  63. chase.1.4 Model finder for geometric theories using the chase
  64. checkseum.0.3.1 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
  65. clangml.4.2.0 OCaml bindings for Clang API
  66. clangml-transforms.0.26 Code transformers for clangml
  67. clap.0.1.0 Command-Line Argument Parsing, imperative style with a consumption mechanism
  68. clarity-lang.0.1.0 Clarity smart contract parser and AST
  69. clim.0.3.0 Command Line Interface Maker
  70. clim-ppx.0.3.0 Derivates cmdliner terms from type definitions
  71. cloudi.2.0.1 OCaml CloudI API
  72. cmark.0.2.0 OCaml bindings for the CMark Common Markdown parsing and rendering library.
  73. cmarker.0.3.0 Bindings for a local installation of CMark
  74. cmdliner.1.0.4 Declarative definition of command line interfaces for OCaml
  75. cmdtui.0.4.3 Interactive command completion and execution for building REPLs
  76. coccinelle.1.1.0 Coccinelle is a C source code matching and transformation engine
  77. cohttp.2.5.5 An OCaml library for HTTP clients and servers
  78. cohttp-async.2.5.5 CoHTTP implementation for the Async concurrency library
  79. cohttp-lwt.2.5.5 CoHTTP implementation using the Lwt concurrency library
  80. cohttp-lwt-jsoo.2.5.5 CoHTTP implementation for the Js_of_ocaml JavaScript compiler
  81. cohttp-lwt-unix.2.5.5 CoHTTP implementation for Unix and Windows using Lwt
  82. cohttp-mirage.2.5.5 CoHTTP implementation for the MirageOS unikernel
  83. cohttp-top.2.5.5 CoHTTP toplevel pretty printers for HTTP types
  84. coin.0.1.3 Mapper of KOI8-{U,R} to Unicode
  85. colombe.0.4.0 SMTP protocol in OCaml
  86. color.0.2.0
  87. color-brewery.0.2 Offer colors palettes and functions to brew colors
  88. combine.0.6 Combine is a library for combinatorics problem solving.
  89. command_rpc.v0.14.0 Utilities for Versioned RPC communication with a child process over stdin and stdout
  90. conduit.2.1.0 A network connection establishment library
  91. conduit-async.2.1.0 A network connection establishment library for Async
  92. conduit-lwt.2.1.0 A portable network connection establishment library using Lwt
  93. conduit-lwt-unix.2.1.0 A network connection establishment library for Lwt_unix
  94. conduit-mirage.2.2.1 A network connection establishment library for MirageOS
  95. conex.0.11.1 Establishing trust in community repositories
  96. conex-mirage-crypto.0.11.1 Establishing trust in community repositories: crypto provided via mirage-crypto
  97. conf-aclocal.2 Virtual package relying on aclocal
  98. conf-adwaita-icon-theme.1 Virtual package relying on adwaita-icon-theme
  99. conf-alsa.1 Virtual package relying on alsa
  100. conf-ao.1 Virtual package relying on libao
  101. conf-asciidoc.1 Virtual package relying on asciidoc
  102. conf-autoconf.0.1 Virtual package relying on autoconf installation
  103. conf-automake.1 Virtual package relying on GNU automake
  104. conf-bap-llvm.1.6 Checks that supported version of LLVM is installed
  105. conf-binutils.0.3 Checks that binutils are installed
  106. conf-bison.2 Virtual package relying on GNU bison
  107. conf-blas.1 Virtual package for BLAS configuration
  108. conf-bluetooth.1 Virtual package for Bluetooth library
  109. conf-bmake.1.0 Virtual package relying on a BSD Make compatible program
  110. conf-boost.1 Virtual package relying on boost
  111. conf-brotli.0.0.1 Virtual package relying on a brotli system installation
  112. conf-cairo.1 Virtual package relying on a Cairo system installation
  113. conf-capnproto.1 Virtual package relying on captnproto installation
  114. conf-clang.1 Virtual package relying on clang
  115. conf-cmake.1 Virtual package relying on cmake
  116. conf-cpio.1 Virtual package relying on cpio
  117. conf-csdp.1 Virtual package relying on a CSDP binary system installation
  118. conf-dbm.1.0.0 Virtual package relying on gdbm
  119. conf-dssi.1 Virtual package relying on dssi
  120. conf-efl.1.8 Virtual package relying on the EFL system installation
  121. conf-emacs.1 Virtual package to install the Emacs editor
  122. conf-env-travis.1 Detect Travis CI and lift its environment to opam
  123. conf-expat.1 Virtual package relying on an expat system installation
  124. conf-fftw3.1 Virtual package relying on a FFTW3 lib system installation
  125. conf-findutils.1 Virtual package relying on findutils
  126. conf-flex.2 Virtual package relying on GNU flex
  127. conf-freetype.1 Virtual package relying on a freetype lib system installation
  128. conf-frei0r.1 Virtual package relying on frei0r
  129. conf-ftgl.1 Virtual package relying on an ftgl system installation
  130. conf-g++.1.0 Virtual package relying on the g++ compiler (for C++)
  131. conf-gd.1 Virtual package relying on a libgd system installation
  132. conf-gfortran.0 Virtual package relying on a gfortran system installation
  133. conf-glade.2 Virtual package relying on a libglade system installation
  134. conf-gles2.1 Virtual package relying on a OpenGL ES 2 system installation
  135. conf-glew.1 Virtual package relying on a GLEW system installation
  136. conf-glfw3.2 Virtual package relying on a GLFW3 system installation
  137. conf-glib-2.1 Virtual package relying on a system GLib 2 installation
  138. conf-glpk.1 Virtual package for GLPK (GNU Linear Programming Kit)
  139. conf-gmp.3 Virtual package relying on a GMP lib system installation
  140. conf-gmp-powm-sec.3 Virtual package relying on a GMP lib with constant-time modular exponentiation
  141. conf-gnome-icon-theme3.0 Virtual package relying on gnome-icon-theme
  142. conf-gnomecanvas.2 Virtual package relying on a Gnomecanvas system installation
  143. conf-gnuplot.0.1 Virtual package relying on gnuplot installation
  144. conf-gobject-introspection.1.0 Virtual package relying on a system gobject-introspection installation
  145. conf-graphviz.0.1 Virtual package relying on graphviz installation
  146. conf-gsl.2 Virtual package relying on a GSL lib system installation
  147. conf-gssapi.1 Virtual package relying on a krb5-gssapi system installation
  148. conf-gstreamer.1 Virtual package relying on libgstreamer
  149. conf-gtk2.1 Virtual package relying on gtk2
  150. conf-gtk3.18 Virtual package relying on GTK+ 3
  151. conf-gtksourceview.2 Virtual package relying on a GtkSourceView system installation
  152. conf-gtksourceview3.0+2 Virtual package relying on a GtkSourceView-3 system installation
  153. conf-hidapi.0 Virtual package relying on a hidapi system installation
  154. conf-jack.1 Virtual package relying on jack
  155. conf-lapack.1 Virtual package for LAPACK configuration
  156. conf-leveldb.1 Virtual package relying on a LevelDB lib system installation
  157. conf-libMagickCore.1 Virtual package relying on an ImageMagick system installation
  158. conf-libX11.1 Virtual package relying on an Xlib system installation
  159. conf-libbz2.1 Virtual package relying on libbz2
  160. conf-libclang.12 Virtual package relying on the installation of llvm and clang libraries (any version)
  161. conf-libcurl.1 Virtual package relying on a libcurl system installation
  162. conf-libdw.1 Virtual package relying on libdw
  163. conf-libev.4-11 High-performance event loop/event model with lots of features
  164. conf-libevent.1 Virtual package relying on libevent
  165. conf-libffi.2.0.0 Virtual package relying on libffi system installation
  166. conf-libflac.1 Virtual package relying on libFLAC
  167. conf-libfuse.1 Virtual package relying on FUSE
  168. conf-libgsasl.1 Virtual package relying on a GSASL lib system installation
  169. conf-libjpeg.1 Virtual package relying on a libjpeg system installation
  170. conf-liblinear-tools.1.0.0 Virtual package relying on liblinear-{train|predict} installation
  171. conf-liblz4.1 Virtual package relying on liblz4 system installation
  172. conf-liblzma.1 Virtual package relying on liblzma
  173. conf-libmagic.1 Virtual package relying on a libmagic system installation
  174. conf-libmaxminddb.1 Virtual package relying on a libmaxminddb system installation
  175. conf-libmosquitto.1 Virtual package relying on a libmosquitto system installation
  176. conf-libmpg123.1 Virtual package relying on libmpg123
  177. conf-libnl3.1 Virtual package relying on a libnl system installation
  178. conf-libogg.1 Virtual package relying on libogg
  179. conf-libopus.1 Virtual package relying on libopus
  180. conf-libpcre.1 Virtual package relying on a libpcre system installation
  181. conf-libpng.1 Virtual package relying on a libpng system installation
  182. conf-libsamplerate.1 Virtual package relying on libsamplerate
  183. conf-libseccomp.1 Virtual package relying on a libseccomp system installation
  184. conf-libsodium.1 Virtual package relying on a libsodium system installation
  185. conf-libspeex.1 Virtual package relying on libspeex
  186. conf-libssl.3 Virtual package relying on an OpenSSL library system installation
  187. conf-libsvm.3 Virtual package relying on libsvm library installation
  188. conf-libtheora.1 Virtual package relying on libtheora
  189. conf-libtool.1 Virtual package relying on libtool installation
  190. conf-libudev.1 Virtual package relying on a libudev system installation
  191. conf-libuv.1 Virtual package relying on a libuv system installation
  192. conf-libvorbis.1 Virtual package relying on libvorbis
  193. conf-libwayland.1 Virtual package relying on libwayland
  194. conf-linux-libc-dev.0 Virtual package relying on the installation of the Linux kernel headers files
  195. conf-llvm.11.0.0 Virtual package relying on llvm library installation
  196. conf-m4.1 Virtual package relying on m4
  197. conf-mbedtls.1 Virtual package relying on an mbedtls system installation
  198. conf-mecab.0.996 Virtual package relying on MeCab library installation
  199. conf-mpfr.2 Virtual package relying on library MPFR installation
  200. conf-mpi.1 Virtual package relying on a mpi system installation
  201. conf-mysql.1 Virtual package relying on a libmysqlclient system installation
  202. conf-nanomsg.0 Virtual package relying on a nanomsg system installation
  203. conf-nauty.1.0 Virtual package relying on nauty
  204. conf-ncurses.1 Virtual package relying on ncurses
  205. conf-neko.1 Virtual package relying on a Neko system installation
  206. conf-netsnmp.1.0.0 Package relying on net-snmp libs
  207. conf-nlopt.1 Virtual package relying on nlopt
  208. conf-npm.1 Virtual package relying on npm installation
  209. conf-numa.0.1.0 Package relying on libnuma
  210. conf-ode.1 Virtual package relying on a ODE system installation
  211. conf-oniguruma.1 Virtual package relying on an Oniguruma system installation
  212. conf-openblas.0.2.1 Virtual package to install OpenBLAS and LAPACKE
  213. conf-openimageio.1 Virtual package relying on OpenImageIO development package installation
  214. conf-openjdk.1 Virtual package relying on OpenJDK / Javac
  215. conf-pam.1 Virtual package relying on a system installation of PAM
  216. conf-pandoc.0.1 Virtual package relying on pandoc installation
  217. conf-pango.1 Virtual package relying on a Pango system installation
  218. conf-perl.1 Virtual package relying on perl
  219. conf-perl-ipc-system-simple.1 Virtual package relying on perl's IPC::System::Simple
  220. conf-perl-string-shellquote.1 Virtual package relying on perl's String::ShellQuote
  221. conf-pixz.1 Virtual package relying on pixz
  222. conf-pkg-config.2 Check if pkg-config is installed and create an opam switch local pkgconfig folder
  223. conf-plplot.1 Virtual package relying on plplot
  224. conf-portaudio.1 Virtual package relying on portaudio
  225. conf-postgresql.1 Virtual package relying on a PostgreSQL system installation
  226. conf-ppl.1 Virtual package relying on the Parma Polyhedra Library (PPL) system installation
  227. conf-protoc.1.0.0 Virtual package to install protoc compiler
  228. conf-pulseaudio.1 Virtual package relying on pulseaudio
  229. conf-python-2-7.1.1 Virtual package relying on Python-2.7 installation
  230. conf-python-2-7-dev.1.0 Virtual package relying on Python-2.7 development package installation
  231. conf-python- Virtual package relying on Python-3 installation
  232. conf-python-3-dev.1 Virtual package relying on Python 3 development package installation
  233. conf-qt.5.2.1 Installation of Qt5 using APT packages or from source
  234. conf-r.1.0.0 Virtual package relying on the R interpreter
  235. conf-r-mathlib.1 Virtual package relying on a system installation of R Standalone Mathlib
  236. conf-radare2.0.1 Checks that radare2 is installed
  237. conf-rdkit.1 Virtual package relying on rdkit library installation
  238. conf-rocksdb.1 Virtual package relying on a system installation of RocksDB
  239. conf-ruby.1.0.0 Virtual package relying on Ruby
  240. conf-rust.0.1 Virtual package relying on cargo (rust build system)
  241. conf-sdl-gfx.1 Virtual package relying on a sdl-gfx system installation
  242. conf-sdl-image.1 Virtual package relying on a sdl-image system installation
  243. conf-sdl-mixer.1 Virtual package relying on a sdl-mixer system installation
  244. conf-sdl-net.1 Virtual package relying on a sdl-net system installation
  245. conf-sdl-ttf.1 Virtual package relying on a sdl-ttf system installation
  246. conf-sdl2.1 Virtual package relying on a SDL2 system installation
  247. conf-sdl2-image.1 Virtual package relying on a sdl2-image system installation
  248. conf-sdl2-mixer.1 Virtual package relying on a sdl2-mixer system installation
  249. conf-sdl2-net.1 Virtual package relying on a sdl2-net system installation
  250. conf-sdl2-ttf.1 Virtual package relying on a sdl2-ttf system installation
  251. conf-sdpa.1 Virtual package relying on a SDPA binary system installation
  252. conf-secp256k1.1.0.0 Virtual package relying on a secp256k1 lib system installation
  253. conf-sfml2.1 Virtual package relying on a SFML2 system installation
  254. conf-snappy.1 Virtual package relying on snappy
  255. conf-soundtouch.1 Virtual package relying on soundtouch
  256. conf-sqlite3.1 Virtual package relying on an SQLite3 system installation
  257. conf-sundials.1 Virtual package relying on sundials
  258. conf-swi-prolog.1 Virtual package to install the swi-prolog interpreter
  259. conf-tcl.1 Virtual package relying on tcl
  260. conf-texlive.1 Virtual package relying on texlive / pdflatex
  261. conf-tidy.1 Virtual package relying on libtidy installation
  262. conf-tk.1 Virtual package relying on tk
  263. conf-wayland-protocols.1 Virtual package relying on wayland-protocols
  264. conf-wget.1 Virtual package relying on wget
  265. conf-which.1 Virtual package relying on which
  266. conf-xen.1 Virtual package relying on Xen headers
  267. conf-xkbcommon.1 Virtual package relying on xkbcommon
  268. conf-zlib.1 Virtual package relying on zlib
  269. conf-zmq.0.1 Virtual package relying on zmq library installation
  270. conf-zstd.1.3.8 Virtual package relying on zstd
  271. config-file.1.2 Small library to define, load and save options files.
  272. configuration.0.4.1 Analyse configuration files
  273. conformist.0.2.1 Conformist allows you to define schemas to decode, validate and sanitize input data declaratively
  274. conjury.2.0.1 Conjury library for OMake
  275. containers.2.8.1 A modular, clean and powerful extension of the OCaml standard library
  276. cookie.0.1.8 Cookie handling for OCaml and ReasonML
  277. cookies.1.0.0 HTTP cookies library for OCaml
  278. coq.8.12.2 Formal proof management system
  279. coq-of-ocaml.2.4.1 Compile a subset of OCaml to Coq
  280. coq-serapi.8.12.0+0.12.1 Serialization library and protocol for machine interaction with the Coq proof assistant
  281. coqide.8.12.2 IDE of the Coq formal proof management system
  282. cordova.1.0 Binding OCaml to cordova Javascript object.
  283. cordova-plugin-activity-indicator.1.0 Binding OCaml to cordova-plugin-activity-indicator using gen_js_api.
  284. cordova-plugin-background-mode.1.0 Binding to cordova-plugin-background-mode using gen_js_api.
  285. cordova-plugin-barcode-scanner.1.0 Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api.
  286. cordova-plugin-battery-status.1.0 Binding OCaml to cordova-plugin-battery-status using gen_js_api.
  287. cordova-plugin-camera.1.0 Binding OCaml to cordova-plugin-camera using gen_js_api.
  288. cordova-plugin-clipboard.1.0 Binding OCaml to cordova-plugin-clipboard using gen_js_api.
  289. cordova-plugin-datepicker.1.0 Binding OCaml to cordova-plugin-datepicker using gen_js_api.
  290. cordova-plugin-device.1.0 Binding OCaml to cordova-plugin-device using gen_js_api.
  291. cordova-plugin-device-motion.1.0 Binding OCaml to cordova-plugin-device-motion using gen_js_api.
  292. cordova-plugin-device-orientation.1.0 Binding OCaml to cordova-plugin-device-orientation using gen_js_api.
  293. cordova-plugin-dialogs.1.0 Binding OCaml to cordova-plugin-dialogs using gen_js_api.
  294. cordova-plugin-email-composer.1.0 Binding OCaml to cordova-plugin-email-composer using gen_js_api.
  295. cordova-plugin-fcm.1.0 Binding OCaml to cordova-plugin-fcm using gen_js_api.
  296. cordova-plugin-file.1.0 Binding OCaml to cordova-plugin-file using gen_js_api.
  297. cordova-plugin-file-opener.1.0 Binding OCaml to cordova-plugin-file-opener using gen_js_api.
  298. cordova-plugin-file-transfer.1.0 Binding OCaml to cordova-plugin-file-transfer using gen_js_api.
  299. cordova-plugin-geolocation.1.0 Binding OCaml to cordova-plugin-geolocation using gen_js_api.
  300. cordova-plugin-globalization.1.0 Binding OCaml to cordova-plugin-globalization using gen_js_api.
  301. cordova-plugin-image-picker.1.0 Binding OCaml to cordova-plugin-image-picker using gen_js_api.
  302. cordova-plugin-inappbrowser.1.0 Binding OCaml to cordova-plugin-inappbrowser using gen_js_api.
  303. cordova-plugin-insomnia.1.0 Binding OCaml to cordova-plugin-insomnia using gen_js_api.
  304. cordova-plugin-keyboard.1.0 Binding OCaml to cordova-plugin-keyboard using gen_js_api.
  305. cordova-plugin-loading-spinner.1.0 Binding OCaml to cordova-plugin-loading-spinner using gen_js_api.
  306. cordova-plugin-local-notifications.1.0 Binding to cordova-plugin-local-notifications using gen_js_api.
  307. cordova-plugin-media.1.0 Binding OCaml to cordova-plugin-media using gen_js_api.
  308. cordova-plugin-media-capture.1.0 Binding OCaml to cordova-plugin-media-capture using gen_js_api.
  309. cordova-plugin-network-information.1.0 Binding OCaml to cordova-plugin-network-information using gen_js_api.
  310. cordova-plugin-progress.1.0 Binding OCaml to cordova-plugin-progress using gen_js_api.
  311. cordova-plugin-push-notifications.1.1.2 Binding OCaml to phonegap-plugin-push using gen_js_api.
  312. cordova-plugin-qrscanner.1.0 Binding OCaml to cordova-plugin-qrscanner using gen_js_api.
  313. cordova-plugin-screen-orientation.1.0 Binding OCaml to cordova-plugin-screen-orientation using gen_js_api.
  314. cordova-plugin-sim-card.1.0 Binding OCaml to cordova-plugin-sim-card using gen_js_api.
  315. cordova-plugin-sms.1.0 Binding OCaml to cordova-plugin-sms using gen_js_api.
  316. cordova-plugin-social-sharing.1.0 Binding OCaml to cordova-plugin-x-socialsharing using gen_js_api.
  317. cordova-plugin-statusbar.1.0 Binding OCaml to cordova-plugin-statusbar using gen_js_api.
  318. cordova-plugin-toast.1.0 Binding OCaml to cordova-plugin-toast using gen_js_api.
  319. cordova-plugin-touch-id.1.0 Binding OCaml to cordova-plugin-touch-id using gen_js_api.
  320. cordova-plugin-vibration.1.0 Binding OCaml to cordova-plugin-vibration using gen_js_api.
  321. cordova-plugin-videoplayer.1.0 Binding OCaml to cordova-plugin-videoplayer using gen_js_api.
  322. core.v0.14.1 Industrial strength alternative to OCaml's standard library
  323. core_bench.v0.14.0 Benchmarking library
  324. core_extended.v0.14.0 Extra components that are not as closely vetted or as stable as Core
  325. core_kernel.v0.14.1 Industrial strength alternative to OCaml's standard library
  326. corecount.1.0.0 Get count of cores on machine
  327. cow.2.4.0 Caml on the Web
  328. cowabloga.0.5.0 Simple static blogging support
  329. cpdf.2.3 High-level pdf tools based on CamlPDF
  330. cpm.12.0.0 The Classification and Regression Performance Metrics library
  331. cppo.1.6.7 Code preprocessor like cpp for OCaml
  332. cppo_ocamlbuild.1.6.7 Plugin to use cppo with ocamlbuild
  333. cpu.2.0.0 Pin current process to given core number
  334. cpuid.0.1.2 Detect CPU features
  335. craml.1.0.0 A CRAM-testing framework for testing command line applications
  336. crc.2.1.0 CRC implementation supporting strings and cstructs
  337. crdt-ml.0.10.0 CRDTs - Conflict-Free Replicated Data Types for OCaml
  338. crlibm.0.4 Binding to CRlibm, a correctly rounded math lib
  339. crowbar.0.2 Write tests, let a fuzzer find failing cases
  340. crunch.3.2.0 Convert a filesystem into a static OCaml module
  341. crypt.1.3 Tiny binding for the unix crypt function
  342. cryptodbm.0.84.2 Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
  343. cryptohash.0.1.2 hash functions for OCaml
  344. cryptokit.1.16.1 A library of cryptographic primitives
  345. csexp.1.5.1 Parsing and printing of S-expressions in Canonical form
  346. css-parser.0.2.5 A CSS parser written in OCaml
  347. cstruct.5.2.0 Access C-like structures directly from OCaml
  348. cstruct-async.5.2.0 Access C-like structures directly from OCaml
  349. cstruct-lwt.5.2.0 Access C-like structures directly from OCaml
  350. cstruct-sexp.5.2.0 S-expression serialisers for C-like structures
  351. cstruct-unix.5.2.0 Access C-like structures directly from OCaml
  352. csv.2.4 A pure OCaml library to read and write CSV files
  353. csv-lwt.2.4 A pure OCaml library to read and write CSV files, LWT version
  354. csvfields.v0.14.0 Runtime support for ppx_xml_conv and ppx_csv_conv
  355. csvtool.2.4 Command line tool for handling CSV files
  356. ctypes.0.17.1 Combinators for binding to C libraries without writing any C
  357. ctypes-build.0.0.2 Support for building Ctypes bindings.
  358. ctypes-foreign.0.18.0 Virtual package for enabling the ctypes.foreign subpackage.
  359. ctypes-zarith.0.2.0 Ctypes wrapper for zarith
  360. cubicle.1.1.2 SMT based model checker for parameterized systems
  361. cudf.0.9-1 CUDF library (part of the Mancoosi tools)
  362. cuid.0.2 CUID generator for OCaml
  363. cumulus.0.0.1 Differential FRP based on the React library
  364. curly.0.2.0 Curly is a brain dead wrapper around the curl command line utility
  365. current.0.3 Pipeline language for keeping things up-to-date
  366. current_ansi.0.3 ANSI escape sequence parser
  367. current_docker.0.3 OCurrent Docker plugin
  368. current_examples.0.3 Example pipelines for OCurrent
  369. current_git.0.3 Git plugin for OCurrent
  370. current_github.0.3 GitHub plugin for OCurrent
  371. current_incr.0.3 Self-adjusting computations
  372. current_ocluster.0.1 OCurrent plugin for OCluster builds
  373. current_rpc.0.3 Cap'n Proto RPC plugin for OCurrent
  374. current_web.0.3 Test web UI for OCurrent
  375. curses.1.0.6 Bindings to curses/ncurses
  376. curve-sampling.0.2 Sampling of parametric and implicit curves


  1. daft.0.0.3 DAFT Allows File Transfers
  2. dap.1.0.6 Debug adapter protocol
  3. data-encoding.0.2 Library of JSON and binary encoding combinators
  4. datakit-server.1.0.0 A library to write Datakit servers
  5. datalog.0.6 An in-memory datalog implementation for OCaml
  6. daypack-lib.0.0.6 A schedule, time and time slots handling library
  7. dbf.0.1.1 DBF format parsing
  8. dbm.1.2 Binding to the NDBM/GDBM Unix "databases"
  9. debian-formats.0.1.2 Parse debian files
  10. decimal.0.2.1 Arbitrary-precision floating-point decimal library
  11. decoders.0.3.0 Elm-inspired decoders for Ocaml
  12. decoders-cbor.0.6.0 CBOR backend for decoders
  13. decoders-ezjsonm.0.6.0 Ezjsonm backend for decoders
  14. decoders-jsonm.0.6.0 Jsonm backend for decoders
  15. decoders-msgpck.0.6.0 Msgpck backend for decoders
  16. decoders-sexplib.0.6.0 Sexplib backend for decoders
  17. decompress.0.9.1 Implementation of Zlib in OCaml
  18. dedukti.2.6.0 The Dedukti logical framework
  19. delimcc.2020.10.08 Oleg's delimited continuations library for byte-code and native OCaml
  20. delimited_parsing.v0.14.0 Parsing of character (e.g., comma) separated and fixed-width values
  21. depgraph.0.1.0 dot graphs out of ocamldep output
  22. deriving.0.8.1 Extension to OCaml for deriving functions from type declarations
  23. devkit.1.20210120 Development kit - general purpose library
  24. digestif.0.9.0 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
  25. dispatch.0.5.0 Path-based dispatching for client- and server-side applications
  26. dispatch-js.0.5.0 Path-based dispatch: js_of_ocaml-specific support
  27. distributed.0.6.0 Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell
  28. distributed-lwt.0.2.0 A library to probide a lwt based implementation of Distributed
  29. distributed-uwt.0.2.0 A library to probide a uwt based implementation of Distributed
  30. dkim.0.1.0 Implementation of DKIM in OCaml
  31. dkim-mirage.0.1.0 Implementation of DKIM in OCaml for MirageOS
  32. dns.4.6.3 An opinionated Domain Name System (DNS) library
  33. dns-certify.4.6.3 MirageOS let's encrypt certificate retrieval
  34. dns-cli.4.6.3 Unix command line utilities using uDNS
  35. dns-client.4.6.3 Pure DNS resolver API
  36. dns-mirage.4.6.3 An opinionated Domain Name System (DNS) library
  37. dns-resolver.4.6.3 DNS resolver business logic
  38. dns-server.4.6.3 DNS server, primary and secondary
  39. dns-stub.4.6.3 DNS stub resolver
  40. dns-tsig.4.6.3 TSIG support for DNS
  41. docker-api.0.2.1 Binding to the Docker Remote API
  42. dockerfile.7.1.0 Dockerfile eDSL in OCaml
  43. dockerfile-cmd.6.4.0 Dockerfile eDSL - generation support
  44. dockerfile-opam.5.0.0 Dockerfile eDSL and distribution support
  45. docout.0.0.1 Functor to create (text) output functions
  46. doi2bib.0.1.4 Little CLI tool to get bibtex entries out of doi or arxiv ids
  47. dokeysto.4.0.0 The dumb OCaml key-value store
  48. dokeysto_camltc.4.0.0 The dumb OCaml key-value store w/ tokyocabinet backend
  49. dokeysto_lz4.4.0.0 The dumb OCaml key-value store w/ LZ4 compression
  50. dolmen.0.5 A parser library
  51. dolmen_bin.0.5 A linter for logic languages
  52. dolmen_loop.0.5 A tool library for automated deduction tools
  53. dolmen_type.0.5 A typechecker for automated deduction languages
  54. dolog.4.0.0 The dumb OCaml logging library
  55. domain-name.0.3.0 RFC 1035 Internet domain names
  56. dose3.5.0.1-1 Dose library (part of Mancoosi tools)
  57. dot-merlin-reader.3.4.2 Reads config files for merlin
  58. dotenv.0.0.3 Javascript's dotenv port to OCaml
  59. down.0.0.3 An OCaml toplevel (REPL) upgrade
  60. dropbox.0.2 Binding to the Dropbox Remote API
  61. dropbox_lwt_unix.0.2 Binding to the Dropbox Remote API (Unix)
  62. dtools.0.4.2 Library providing various helper functions to make daemons
  63. duff.0.2 Rabin's fingerprint and diff algorithm in OCaml
  64. dum.1.0.1 Inspect the runtime representation of arbitrary OCaml values
  65. dune.2.8.5 Fast, portable, and opinionated build system
  66. dune-build-info.2.8.5 Embed build informations inside executable
  67. dune-configurator.2.8.5 Helper library for gathering system configuration
  68. dune-deps.1.2.1 Show dependency graph of a multi-component dune project
  69. dune-release.1.4.0 Release dune packages in opam
  70. duppy.0.9.0 Library providing monadic threads
  71. duration.0.1.3 Conversions to various time units
  72. dyntype.0.9.0 syntax extension which makes OCaml types and values easier to manipulate programmatically


  1. easy-format.1.3.2 High-level and functional interface to the Format module of the OCaml standard library
  2. easy_logging.0.8.1 Module to log messages. Aimed at being both powerful and easy to use
  3. easy_logging_yojson.0.8.1 Configuration loader for easy_logging with yojson backend
  4. ecaml.v0.14.0 Library for writing Emacs plugin in OCaml
  5. efl.1.24.0 An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary.
  6. eigen.0.3.0 Owl's OCaml interface to Eigen3 C++ library
  7. either.1.0.0 Compatibility Either module
  8. elasticsearch-cli.1.2 Command-line client for Elasticsearch
  9. electrod.0.7.1 Formal analysis for the Electrod formal pivot language
  11. eliom.6.13.1 Client/server Web framework
  12. email_message.v0.14.0 E-mail message parser
  13. embedded_ocaml_templates.0.5.1 EML is a simple templating language that lets you generate text with plain OCaml
  14. emile.1.1 Parser of email address according RFC822
  15. emoji.1.1.0 Use emojis by name
  16. encore.0.5 Library to generate encoder/decoder which ensure isomorphism
  17. enumerators.0.2.0 Finite lazy enumerators
  18. eqaf.0.7 Constant-time equal function on string
  19. esgg.20190322 Elasticsearch guided (code) generator
  20. ethernet.2.2.0 OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
  21. exn-source.0.1 Exception backtrace for OCaml with source code printing
  22. expect.0.0.6 Simple implementation of "expect" to help building unitary testing of interactive program
  23. expect_test_helpers_async.v0.14.0 Async helpers for writing expectation tests
  24. expect_test_helpers_core.v0.14.0 Helpers for writing expectation tests
  25. extlib.1.7.7-1 A complete yet small extension for OCaml standard library (reduced, recommended)
  26. extprot.1.6.0 Extensible binary protocols for cross-language communication and long-term serialization
  27. extunix.0.2.0 Collection of thin bindings to various low-level system API
  28. ez_cmdliner.0.2.0 Easy interface to Cmdliner à la Arg.parse with sub-commands
  29. ez_config.0.1.1 Easy management of configuration files
  30. ez_file.0.2.0 Easy file manipulation (read_file, write_file, etc.)
  31. ez_opam_file.0.1.0 Package ez_opam_file is a simple compatibility layer on top of opam-file-format
  32. ez_pgocaml.1.0.0 A simple library to work with pgocaml
  33. ez_subst.0.1.0 Ez_subst is a simple module to perform string substitutions
  34. ezgzip.0.2.3 Simple gzip (de)compression library
  35. ezjs_ace.0.1.1 Bindings for the Ace editor
  36. ezjs_blockies.0.1.1 Bindings for Blockies
  37. ezjs_cleave.0.1.1 Bindings for Cleave
  38. ezjs_crypto.0.1 Bindings for SubtleCrypto
  39. ezjs_cytoscape.0.1 Bindings for Cytoscape
  40. ezjs_d3pie.0.1 Bindings for d3pie
  41. ezjs_extension.0.1 Binding for Chrome and Firefox extension API
  42. ezjs_fetch.0.2 Bindings for Fetch
  43. ezjs_idb.0.1 Bindings for IndexedDB
  44. ezjs_jquery.0.1 Bindings for JQuery
  45. ezjs_min.0.2.1 A bunch of js_of_ocaml shortcuts
  46. ezjs_odometer.0.1 Bindings for odometer
  47. ezjs_push.0.2 Bindings for Push Notification
  48. ezjs_qrcode.0.1 Bindings for QRCode.js
  49. ezjs_recaptcha.0.1.1 Bindings for reCAPTCHA
  50. ezjs_timeline.0.1.1 Bindings for TimelineJS
  51. ezjsonm.1.1.0 Simple interface on top of the Jsonm JSON library
  52. ezjsonm-lwt.1.1.0 Simple Lwt-based interface to the Jsonm JSON library
  53. ezresto.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  54. ezresto-directory.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  55. ezxmlm.1.1.0 Combinators for parsing and selection of XML structures


  1. FrontC.3.4.2 Library providing a C parser and lexer
  2. faraday.0.7.2 A library for writing fast and memory-efficient serializers.
  3. faraday-async.0.7.2 Async support for Faraday
  4. faraday-lwt.0.7.2 Lwt support for Faraday
  5. faraday-lwt-unix.0.7.2 Lwt_unix support for Faraday
  6. farfadet.0.3 A printf-like for [Faraday](https://github.com/inhabitedtype/faraday) library
  7. farmhash.0.3 Bindings for Google's farmhash library
  8. fat-filesystem.0.15.0 Pure OCaml implementation of the FAT filesystem
  9. fd-send-recv.2.0.1 Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
  10. fdkaac.0.3.2 Fraunhofer FDK AAC Codec Library
  11. feat.20201231 Facilities for enumerating and sampling algebraic data types
  12. feather.0.1.0 A very minimal shell interface
  13. feather_async.0.1.0 Async interface to Feather, a library for executing shell commands easily
  14. febusy.0.0.0 Embedded build system library
  15. ff.0.4.0 OCaml implementation of Finite Field operations
  16. ff-pbt.0.6.1 Property based testing library for finite fields over the package ff-sig
  17. ff-sig.0.6.1 Minimal finite field signatures
  18. fftw3.0.8.4 Binding to the Fast Fourier Transform library FFTW
  19. fiat-p256.0.2.3 Primitives for Elliptic Curve Cryptography taken from Fiat
  20. fieldslib.v0.14.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
  21. fileutils.0.6.3 API to manipulate files (POSIX like) and filenames
  22. finch.0.1 Simple and fast site generator
  23. fix.20201120 Facilities for memoization and fixed points
  24. flac.0.1.7 Interface for the Free Lossless Audio Codec otherwise known as FLAC
  25. flex-array.1.2.0 Flexible arrays
  26. flock.1.0.0 Ctypes bindings to flock for OCaml
  27. fm-simplex-plugin.1.01 Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin
  28. fmlib.0.2.0 Functional monadic library
  29. fmlib_js.0.2.0 Library for easy compilation from ocaml to javascript
  30. fmt.0.8.9 OCaml Format pretty-printer combinators
  31. format.0.1 Format is a syntax extension which defines quotations for building
  32. fpath.0.7.3 File system paths for OCaml
  33. frama-c.22.0 Platform dedicated to the analysis of source code written in C
  34. frama-c-metacsl.0.1 MetACSL plugin of Frama-C for writing pervasives properties
  35. freetds.0.7 Binding to the FreeTDS library
  36. freetennis.0.4.8 Free Tennis, a free tennis simulation.
  37. frei0r.0.1.2 Bindings for the frei0r API which provides video effects
  38. fsml.0.3.0 A library for describing and describing synchronous finite state machines
  39. fstreams.0.2.1 Functional, lazy, infinite streams.
  40. functoria.3.1.1 A DSL to organize functor applications
  41. functoria-runtime.3.0.3 Runtime support library for functoria-generated code
  42. functory.0.6 Distributed computing library.
  43. funfields.0.04 Functional bit field library


  1. General.0.7.0 Rich functionality for built-in and basic OCaml types
  2. GuaCaml.0.02 GuaCaml : Generic Unspecific Algorithmic in OCaml
  3. gapi-ocaml.0.4.1 A simple OCaml client for Google Services
  4. gd.1.0a5 OCaml interface to the GD graphics library.
  5. gdal.0.10.0 GDAL and OGR bindings
  6. gdbprofiler.0.3 gdbprofiler, a profiler for native OCaml and other executables
  7. gedcom.1.0.0 GEDCOM parsing.
  8. gen.0.5.3 Iterators for OCaml, both restartable and consumable
  9. gen-bs.0.0.0 generate bucklescript code from Javascript type specifications
  10. gen_js_api.1.0.6 Easy OCaml bindings for Javascript libraries
  11. genspio.0.0.2 Typed EDSL to generate POSIX Shell scripts
  12. get_line.7.0.0 Robustly select lines from file; can replace the head and tail shell commands and do even more
  13. getopt.20120615 Parsing of command line arguments (similar to GNU GetOpt) for OCaml
  14. getopts.0.4.0 Analyse command line arguments
  15. gettext.0.4.2 Internationalization library (i18n)
  16. gettext-camomile.0.4.2 Internationalization library using camomile (i18n)
  17. gettext-stub.0.4.2 Internationalization using C gettext library (i18n)
  18. gg.0.9.3 Basic types for computer graphics in OCaml
  19. git.2.1.3 Git format and protocol in pure OCaml
  20. git-http.2.1.3 Client implementation of the "Smart" HTTP Git protocol in pure OCaml
  21. git-mirage.2.1.3 MirageOS backend for the Git protocol(s)
  22. git-unix.2.1.3 Virtual package to install and configure ocaml-git's Unix backend
  23. github.4.3.2 GitHub APIv3 OCaml library
  24. github-hooks.0.5.0 GitHub API web hook listener library
  25. github-hooks-unix.0.5.0 GitHub API web hook listener library using unix functions
  26. github-jsoo.4.3.2 GitHub APIv3 JavaScript library
  27. github-unix.4.3.2 GitHub APIv3 Unix library
  28. glMLite.0.03.53 OpenGL bindings for OCaml
  29. glfw-ocaml.3.3 A GLFW binding for OCaml
  30. glical.0.0.7 Glical: glancing at iCalendar data.
  31. glicko2.1.0.0 Implementation of the Glicko2 algorithm.
  32. glpk.0.1.8 Bindings for glpk
  33. gluten.0.2.1 A reusable runtime library for network protocols
  34. gluten-lwt.0.2.1 Lwt-specific runtime for gluten
  35. gluten-lwt-unix.0.2.1 Lwt + Unix support for gluten
  36. gluten-mirage.0.2.1 Mirage support for gluten
  37. gmap.0.3.0 Heterogenous maps over a GADT
  38. gmp-freestanding.6.2.1 The GNU Multiple Precision Arithmetic Library
  39. gnuplot.0.7 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
  40. goblint-cil.1.7.4 A front-end for the C programming language that facilitates program analysis and transformation
  41. google-drive-ocamlfuse.0.7.26 A FUSE filesystem over Google Drive
  42. gperftools.0.5 Bindings to gperftools
  43. gpx.1.1.1 Conversions between XML and GPX (1.1) types.
  44. gr.0.0.1 OCaml bindings to the GR plotting library
  45. grain_dypgen.0.2 Self-extensible parsers and lexers for OCaml
  46. grain_wasm_spec.0.1 An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. (Fork of official spec: https://github.com/WebAssembly/spec)
  47. graphics.5.1.1 The OCaml graphics library
  48. graphicspdf.2.2.1 Version of OCaml's Graphics library which outputs PDFs.
  49. graphlib.2.2.0 Generic Graph library
  50. graphql.0.13.0 Build GraphQL schemas and execute queries against them
  51. graphql-async.0.13.0 Build GraphQL schemas with Async support
  52. graphql-cohttp.0.13.0 Run GraphQL servers with `cohttp`
  53. graphql-lwt.0.13.0 Build GraphQL schemas with Lwt support
  54. graphql_parser.0.13.0 Library for parsing GraphQL queries
  55. graphql_ppx.1.0.1 GraphQL PPX rewriter for Bucklescript/ReasonML
  56. gremlin.0.1.1 Gremlin Client Library
  57. grenier.0.12 A collection of various algorithms in OCaml
  58. gsl.1.24.3 GSL - Bindings to the GNU Scientific Library
  59. gstreamer.0.3.1 Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams
  60. gufo.0.1.2 A fonctionnal shell
  61. gxl-light.1.0 Gxl parser and in-place destructive update library


  1. h2.0.7.0 A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml
  2. h2-lwt.0.6.1 Lwt support for h2
  3. h2-lwt-unix.0.6.1 Lwt + UNIX support for h2
  4. h2-mirage.0.6.1 Mirage support for h2
  5. hack_parallel.1.0.1 Parallel and shared memory library
  6. hacl.0.3 Tezos binding for Hacl*
  7. hacl-star.0.3.2 OCaml API for EverCrypt/HACL*
  8. hacl-star-raw.0.3.2 Auto-generated low-level OCaml bindings for EverCrypt/HACL*
  9. hamt.1.0.0 Hash Array Mapped Tries
  10. hardcaml.v0.14.0 RTL Hardware Design in OCaml
  11. hardcaml_waveterm.v0.14.0 A terminal based digital waveform viewer for Hardcaml
  12. hashcons.1.3 OCaml hash-consing library
  13. hashids.1.0.1 [hashids](http://hashids.org/): generate short, unique, non-sequential ids from numbers, that you can also decode
  14. hashset.1.0.0 Sets as hash tables
  15. haxe.4.1.1 Multi-target universal programming language
  16. hdf5.0.1.5 Manages HDF5 files used for storing large amounts of data
  17. heptagon.1.05.00 Compiler for the Heptagon/BZR synchronous programming language
  18. herdtools7.7.56 The herdtools suite for simulating and studying weak memory models
  19. hex.1.4.0 Library providing hexadecimal converters
  20. hidapi.1.1.1 Bindings to Signal11's hidapi library
  21. higher.0.3.1 Library for higher-kinded programming.
  22. higher_kinded.v0.14.1 A library with an encoding of higher kinded types in OCaml
  23. higlo.0.4 Library for syntax highlighting.
  24. hiredis.0.7 Redis tools based on the Hiredis C library
  25. hkdf.1.0.4 HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869)
  26. hll.3.16
  27. hmap.0.8.1 Heterogeneous value maps for OCaml
  28. hpack.0.2.0 An HPACK (Header Compression for HTTP/2) implementation in OCaml
  29. hts_shrink.2.1.2 Distance-Based Boolean Applicability Domain for High Throughput Screening data
  30. http-multipart-formdata.1.1.0 Http multipart/formdata parser
  31. httpaf.0.7.1 A high-performance, memory-efficient, and scalable web server for OCaml
  32. httpaf-lwt-unix.0.7.1 Lwt support for http/af
  33. httpaf_caged.1.0.0 A higher-level httpaf-async server interface
  34. humane-re.0.1.1 A human friendly interface to regular expressions in OCaml
  35. hxd.0.3.1 Hexdump in OCaml


  1. ISO8601.0.2.6 ISO 8601 and RFC 3999 date parsing for OCaml
  2. i3ipc.0.3 A pure OCaml implementation of the i3 IPC protocol
  3. icalendar.0.1.4 A library to parse and print the iCalendar (RFC 5545) format
  4. idd.0.1 Identity-suppressed decision diagrams (IDDs)
  5. idds.0.2 Identity-suppressed decision diagrams (IDDs)
  6. igvxml.0.1.0 Create IGV session files from the command-line
  7. incr_dom.v0.14.0 A library for building dynamic webapps, using Js_of_ocaml
  8. incr_dom_interactive.v0.14.0 A monad for composing chains of interactive UI elements
  9. incr_dom_keyboard.v0.14.0 A library for Incr_dom keybinding and keyboard shortcut helpers
  10. incr_dom_partial_render.v0.14.0 A library for simplifying rendering of large amounts of data
  11. incr_dom_sexp_form.v0.14.0 A library for building forms that allow the user to edit complicated types
  12. incr_map.v0.14.0 Helpers for incremental operations on map like data structures
  13. incr_select.v0.14.0 Handling of large set of incremental outputs from a single input
  14. incremental.v0.14.0 Library for incremental computations
  15. index.1.2.1 A platform-agnostic multi-level index for OCaml
  16. influxdb.0.3.0 InfluxDB client library
  17. influxdb-async.0.3.0 InfluxDB client library using async for concurrency
  18. influxdb-lwt.0.3.0 InfluxDB client library using lwt for concurrency
  19. inotify.2.3 Inotify bindings for ocaml.
  20. inquire.0.2.1 An OCaml library to create beautiful interactive CLIs
  21. inspect.0.2.1 Inspect the runtime representation of arbitrary OCaml values.
  22. integers.0.4.0 Various signed and unsigned integer types for OCaml
  23. integers_stubs_js.1.0 Javascript stubs for the integers library in js_of_ocaml
  24. interface-prime.0.1 Interfaces for common design patterns
  25. interface-prime-lwt.0.1 Interfaces for common design patterns (LWT implementation)
  26. interval.1.5.1 An interval arithmetic library for OCaml (meta package)
  27. interval_base.1.5.1 An interval library for OCaml (base package)
  28. interval_crlibm.1.5.1 An interval library for OCaml (crlibm version)
  29. interval_intel.1.5.1 An interval library for OCaml
  30. io.0.2.0 Simple, secure and composable abstraction for efficient component
  31. io-page.2.3.0 Support for efficient handling of I/O memory pages
  32. io-page-unix.2.3.0 Support for efficient handling of I/O memory pages on Unix
  33. io-page-xen.2.3.0 Support for efficient handling of I/O memory pages on Xen
  34. ipaddr.5.0.1 A library for manipulation of IP (and MAC) address representations
  35. ipaddr-cstruct.5.0.1 A library for manipulation of IP address representations using Cstructs
  36. ipaddr-sexp.5.0.1 A library for manipulation of IP address representations usnig sexp
  37. irc-client.0.6.2 IRC client library - core functionality
  38. irc-client-lwt.0.6.2 IRC client library - Lwt implementation
  39. irc-client-lwt-ssl.0.6.2 IRC client library - Lwt SSL implementation
  40. irc-client-unix.0.6.2 IRC client library - Unix implementation
  41. irmin.2.2.0 Irmin, a distributed database that follows the same design principles as Git
  42. irmin-chunk.2.2.0 Irmin backend which allow to store values into chunks
  43. irmin-fs.2.2.0 Generic file-system backend for Irmin
  44. irmin-git.2.2.0 Git backend for Irmin
  45. irmin-graphql.2.2.0 GraphQL server for Irmin
  46. irmin-http.2.2.0 HTTP client and server for Irmin
  47. irmin-indexeddb.2.0 Irmin backend using the web-browser's IndexedDB store
  48. irmin-mem.2.2.0 Generic in-memory Irmin stores
  49. irmin-mirage.2.2.0 MirageOS-compatible Irmin stores
  50. irmin-mirage-git.2.2.0 MirageOS-compatible Irmin stores
  51. irmin-mirage-graphql.2.2.0 MirageOS-compatible Irmin stores
  52. irmin-pack.2.2.0 Irmin backend which stores values in a pack file
  53. irmin-test.2.2.0 Irmin test suite
  54. irmin-unix.2.2.0 Unix backends for Irmin
  55. irmin-watcher.0.3.0 Portable Irmin watch backends using FSevents or Inotify
  56. iter.1.2.1
  57. itv-tree.2.1 float intervals tree library


  1. jane-street-headers.v0.14.0 Jane Street C header files
  2. javalib.3.2.1 Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files
  3. jbuilder.1.0+beta20.1 Fast, portable and opinionated build system
  4. jekyll-format.0.1.0 Jekyll post parsing library
  5. jemalloc.0.2 Bindings to jemalloc mallctl api
  6. jhupllib.0.2.2 A collection of OCaml utilities used by the JHU PL lab
  7. jingoo.1.4.3 Template engine almost compatible with Jinja2(python template engine)
  8. js-build-tools.113.33.04 Collection of tools to help building Jane Street Packages
  9. js_of_ocaml.3.8.0 Compiler from OCaml bytecode to Javascript
  10. js_of_ocaml-camlp4.3.1.0 Compiler from OCaml bytecode to Javascript
  11. js_of_ocaml-compiler.3.8.0 Compiler from OCaml bytecode to Javascript
  12. js_of_ocaml-lwt.3.8.0 Compiler from OCaml bytecode to Javascript
  13. js_of_ocaml-ocamlbuild.3.8.0 Compiler from OCaml bytecode to Javascript
  14. js_of_ocaml-ppx.3.8.0 Compiler from OCaml bytecode to Javascript
  15. js_of_ocaml-ppx_deriving_json.3.8.0 Compiler from OCaml bytecode to Javascript
  16. js_of_ocaml-toplevel.3.8.0 Compiler from OCaml bytecode to Javascript
  17. js_of_ocaml-tyxml.3.8.0 Compiler from OCaml bytecode to Javascript
  18. js_of_ocaml-webgpu.0.2 Js_of_ocaml bindings for webgpu
  19. js_of_ocaml-webidl.0.2 Generate js_of_ocaml bindings from webidl definitions
  20. json-data-encoding.0.8 Type-safe encoding to and decoding from JSON
  21. json-data-encoding-browser.0.8 Type-safe encoding to and decoding from JSON (browser support)
  22. json-data-encoding-bson.0.8 Type-safe encoding to and decoding from JSON (bson support)
  23. json-derivers.1.0.0 Common Derivers for Jsonm/Yjson
  24. json-static.0.9.8 JSON camlp4 syntax extension using json-wheel
  25. json-wheel.1.0.6+safe-string JSON parser and writer, with optional C-style comments
  26. json_of_jsonm.1.0.0 json_of_jsonm_lib is a JSON encoder and decoder library that converts text to and from a
  27. jsondiff.0.0.1 JSON sensitive diffing
  28. jsonm.1.0.1 Non-blocking streaming JSON codec for OCaml
  29. jsonoo.0.2.1 JSON library for Js_of_ocaml
  30. jsonrpc.1.5.0 Jsonrpc protocol implemenation
  31. jsoo_broadcastchannel.2.0.0 A wrapper in Js_of_ocaml to deal with BroadcastChannel
  32. jsoo_storage.1.0.1 A wrapper in Js_of_ocaml for the WebStorage API
  33. jst-config.v0.14.0 Compile-time configuration for Jane Street libraries
  34. junit.2.0.2 JUnit XML reports generation library
  35. junit_alcotest.2.0.2 JUnit XML reports generation for alcotest tests
  36. junit_ounit.2.0.2 JUnit XML reports generation for OUnit tests
  37. jupyter.2.7.4 An OCaml kernel for Jupyter notebook
  38. jupyter-archimedes.2.7.2 A Jupyter-friendly 2D plotting library (Archimedes backend)
  39. jupyter-kernel.0.7 Library to write jupyter kernels (interactive notebooks)
  40. jwto.0.3.0 JWT encoding, decoding and verification


  1. kafka.0.5 OCaml bindings for Kafka
  2. kafka_async.0.5 OCaml bindings for Kafka, Async bindings
  3. kafka_lwt.0.5 OCaml bindings for Kafka, Lwt bindings
  4. kappa-agents.4.1.0 Backends for an interactive use of the Kappa tool suite
  5. kappa-binaries.4.1.0 Command line interfaces of the Kappa tool suite
  6. kappa-library.4.1.0 Public internals of the Kappa tool suite
  7. kappa-server.4.1.0 HTTP server delivering the Kappa tool suite capabilities
  8. kaputt.1.2 Testing tool
  9. ke.0.4 Queue implementation
  10. key-parsers.1.0.0 Parsers for multiple key formats
  11. kicadsch.0.8.0 Library to read and convert Kicad Sch files
  12. kind2.1.3.1 Multi-engine, parallel, SMT-based automatic model checker for safety properties of Lustre programs
  13. kinetic-client.0.0.11 Client API for Seagate's Kinetic drives
  14. kubecaml.0.1.0 Kubernetes API client for OCaml
  15. kyotocabinet.0.2 OCaml bindings for Kyoto Cabinet DBM


  1. lablgl.1.06 Interface to OpenGL
  2. lablgtk.2.18.11 OCaml interface to GTK+
  3. lablgtk-extras.1.6 A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
  4. lablgtk3.3.1.1 OCaml interface to GTK+3
  5. lablgtk3-sourceview3.3.1.1 OCaml interface to GTK+ gtksourceview library
  6. labltk.8.06.8 OCaml interface to Tcl/Tk
  7. lacaml.9.2.2 OCaml-bindings to BLAS and LAPACK
  8. lambda-term.3.1.0 Terminal manipulation library for OCaml
  9. lambda_streams.0.1.2 Lambda-based streaming library
  10. lambda_streams_async.0.1.2 Async helpers for lambda_streams
  11. lambda_streams_lwt.0.1.2 Lwt helpers for lambda_streams
  12. lambdasoup.0.7.2 Easy functional HTML scraping and manipulation with CSS selectors
  13. lame.0.3.4 MP3 encoding library
  14. lascar.0.7.0 A library for manipulating Labeled Transition Systems in OCaml
  15. lastfm.0.3.3 The lastfm library is an implementation of the API used by the last.fm to keep count of played songs
  16. lazy-trie.1.2.0 Implementation of lazy prefix trees
  17. lbfgs.0.9.3 Bound-constrainted optimization in many variables
  18. ldap.2.4.2 Implementation of the Light Weight Directory Access Protocol
  19. ledgerwallet.0.1.0 Ledger wallet library for OCaml
  20. ledgerwallet-tezos.0.1.0 Ledger wallet library for OCaml: Tezos app
  21. ledit.2.05 Line editor, a la rlwrap
  22. lem.2020-06-03 Lem is a tool for lightweight executable mathematics
  23. lemonade.0.6.0 A monad library with bubbles
  24. lemonade-sqlite.0.1.0 A monadic interface to sqlite
  25. lens.1.2.4 Functional lenses
  26. letsencrypt.0.2.3 ACME implementation in OCaml
  27. letters.0.2.1 Client library for sending emails over SMTP
  28. leveldb.1.3.0 OCaml bindings for Google's LevelDB library
  29. libdash.0.1.1 Bindings to the dash shell's parser
  30. libevent.0.8.1 OCaml wrapper for the libevent API
  31. libsvm.0.10.0 LIBSVM bindings for OCaml
  32. libtensorflow.0.1 TensorFlow library package
  33. libtorch.1.8.0+linux-x86_64 LibTorch library package
  34. libudev.0.2.1 Bindings to libudev for OCaml
  35. libwasmtime.0.22.0+linux-x86_64 The libwasmtime library package
  36. libzipperposition.1.6 Library for Zipperposition
  37. lilac.0.1.1 Get the value of any field in a YAML file as a string
  38. line-up-words.v0.14.0 Align words in an intelligent way
  39. linenoise.1.3.1 Lightweight readline alternative
  40. linkage.0.1 easier plugin loading
  41. links.0.9.2 The Links Programming Language
  42. linksem.0.7 A formalisation of the core ELF file format written in Lem
  43. linwrap.9.0.0 Wrapper around liblinear-tools
  44. lipsum.0.2 lipsum - self-contained tool for literate programming in tradition of NoWeb
  45. logger-p5.0.4.5 Camlp5 syntax extension for logging
  46. logs.0.7.0 Logging infrastructure for OCaml
  47. logs-async.1.1 Jane Street Async logging with Logs
  48. logs-async-reporter.1.0 Logs reporter compatible with Async's threads
  49. logs-syslog.0.3.0 Logs reporter to syslog (UDP/TCP/TLS)
  50. logtk.1.6 Core types and algorithms for logic
  51. lp.0.3.0 LP and MIP modeling in OCaml
  52. lp-glpk.0.3.0 LP and MIP modeling in OCaml (GLPK interface)
  53. lp-gurobi.0.3.0 LP and MIP modeling in OCaml (Gurobi interface)
  54. lpd.1.2.2 A Line Printer Daemon (LPD) server library written entirely in OCaml.
  55. lpi.0.0.2 A REPL and library for a small dependently-typed language.
  56. lru.0.3.0 Scalable LRU caches
  57. lru-cache.0.3.0 A simple implementation of a LRU cache.
  58. lsp.1.5.0 LSP protocol implementation in OCaml
  59. lua-ml.0.9.2 An embeddable Lua 2.5 interpreter implemented in OCaml
  60. lua_parser.1.0.0 A Lua 5.2 Parser
  61. lua_pattern.1.7 Implementation of Lua patterns
  62. luv.0.5.7 Binding to libuv: cross-platform asynchronous I/O
  63. lwd.0.1 Lightweight reactive documents
  64. lwt.5.4.0 Promises and event-driven I/O
  65. lwt-canceler.0.2 Cancellation synchronization object
  66. lwt-dllist.1.0.0 Mutable doubly-linked list with Lwt iterators
  67. lwt-exit.1.0 An opinionated clean-exit and signal-handling library for Lwt programs
  68. lwt-pipe.0.1 An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
  69. lwt-pipeline.0.2 Pipeline library for Lwt
  70. lwt-watcher.0.1 One-to-many broadcast in Lwt
  71. lwt_camlp4.1.0.0 Camlp4 syntax extension for Lwt (deprecated)
  72. lwt_glib.1.1.1 GLib integration for Lwt
  73. lwt_log.1.1.1 Lwt logging library (deprecated)
  74. lwt_ppx.2.0.1 PPX syntax for Lwt, providing something similar to async/await from JavaScript
  75. lwt_react.1.1.4 Helpers for using React with Lwt
  76. lwt_ssl.1.1.3 OpenSSL binding with concurrent I/O
  77. lymp.0.2.5 Use Python functions and objects from OCaml
  78. lz4.1.1.1 Bindings for LZ4, a very fast lossless compression algorithm
  79. lzo.0.0.2 Bindings to LZO - a portable lossless data compression library


  1. macaddr.5.0.1 A library for manipulation of MAC address representations
  2. macaddr-cstruct.5.0.1 A library for manipulation of MAC address representations using Cstructs
  3. macaddr-sexp.5.0.1 A library for manipulation of MAC address representations using sexp
  4. macaque.0.8 DSL for SQL Queries in Caml
  5. mad.0.4.5 Bindings for the mad library which provides functions for encoding wave audio files into mp3
  6. magic.0.7.3 Bindings for libmagic (to determine the type of files)
  7. magic-mime.1.1.3 Map filenames to common MIME types
  8. maildir.0.9.0 This is a preliminary release of an OCaml library to access directories in the Maildir format.
  9. markdown.0.2.1 Markdown processor for Ocsigen
  10. markup.1.0.0-1 Error-recovering functional HTML5 and XML parsers and writers
  11. markup-lwt.0.5.0 Adapter between Markup.ml and Lwt
  12. matplotlib.0.1 Plotting using Matplotlib through python
  13. maxminddb.0.6 Bindings to Maxmind.com's libmaxminddb library, like geoip2
  14. mccs.1.1+12 MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project
  15. md2mld.0.3.0 Md files into odoc mld files
  16. mecab.0.0.0 An OCaml binding of MeCab, a part-of-speech and morphological analyzer.
  17. memcpy.0.2.1 Safe and efficient copying between blocks of memory.
  18. menhir.20210310 An LR(1) parser generator
  19. menhirLib.20210310 Runtime support library for parsers generated by Menhir
  20. menhirSdk.20210310 Compile-time library for auxiliary tools related to Menhir
  21. mergeable-vector.0.1.0 Mergeable vector based on operational transformation
  22. merlin.3.4.2 Editor helper, provides completion, typing and source browsing in Vim and Emacs
  23. merlin-extend.0.6 A protocol to provide custom frontend to Merlin
  24. merlin-of-pds.1.4 Simple script that turns a pds.conf into a .merlin file
  25. mesh.0.9.5 Triangular mesh generation and manipulation
  26. mesh-easymesh.0.9.5 Triangular mesh generation with EasyMesh
  27. mesh-graphics.0.9.5 Triangular mesh representation using the graphics module
  28. mesh-triangle.0.9.5 Binding to the triangle mesh generator
  29. metapp.0.2.0 Meta-preprocessor for OCaml
  30. metaquot.0.2.0 OCaml syntax extension for quoting code
  31. metrics.0.2.0 Metrics infrastructure for OCaml
  32. metrics-influx.0.2.0 Influx reporter for the Metrics library
  33. metrics-lwt.0.2.0 Lwt backend for the Metrics library
  34. metrics-mirage.0.2.0 Mirage backend for the Metrics library
  35. metrics-unix.0.2.0 Unix backend for the Metrics library
  36. mew.0.1.0 Modal editing witch
  37. mew_vi.0.5.0 Modal editing witch, VI interpreter
  38. mikmatch.1.0.9 OCaml syntax extension for regexps
  39. mimic.0.0.2 A simple protocol dispatcher
  40. mindstorm.0.8 Drive Lego Mindstorms bricks from OCaml
  41. mindstorm-lwt.0.8 Drive Lego Mindstorms bricks from OCaml (LWT version)
  42. minicaml.0.3.3 A simple, didactical, purely functional programming language
  43. minicli.5.0.2 Minimalist library for command line parsing
  44. minima-theme.1.0.0 OCaml port of the Jekyll Minima theme
  45. minios-xen.0.9 A minimal OS for running under the Xen hypervisor
  46. minisat.0.3 Bindings to Minisat-C-1.14.1, with the solver included
  47. minivpt.2.0.0 Minimalist vantage point tree implementation in OCaml.
  48. mirage.3.10.2 The MirageOS library operating system
  49. mirage-block.2.0.1 Block signatures and implementations for MirageOS
  50. mirage-block-combinators.2.0.1 Block signatures and implementations for MirageOS using Lwt
  51. mirage-block-ramdisk.0.5 In-memory BLOCK device for MirageOS
  52. mirage-block-solo5.0.6.1 Solo5 implementation of MirageOS block interface
  53. mirage-block-unix.2.12.1 MirageOS disk block driver for Unix
  54. mirage-bootvar-solo5.0.6.0 Solo5 implementation of MirageOS Bootvar interface
  55. mirage-bootvar-unix.0.1.0 Unix implementation of MirageOS Bootvar interface
  56. mirage-btrees.0.1.0 An implementation of BTrees designed for use with MirageOS's BLOCK interface
  57. mirage-channel.4.0.1 Buffered channels for MirageOS FLOW types
  58. mirage-clock.3.1.0 Libraries and module types for portable clocks
  59. mirage-clock-unix.3.1.0 Unix-based implementation for the MirageOS Clock interface
  60. mirage-clock-xen.1.1 A Mirage-compatible Clock library for Xen
  61. mirage-console.4.0.0 Implementations of Mirage console devices
  62. mirage-console-solo5.0.6.1 Solo5 implementation of MirageOS console interface
  63. mirage-console-unix.4.0.0 Implementation of Mirage consoles for Unix
  64. mirage-console-xen-proto.4.0.0 Implementation of Mirage console protocol for Xen
  65. mirage-crypto.0.8.0 Simple symmetric cryptography for the modern age
  66. mirage-crypto-pk.0.8.0 Simple public-key cryptography for the modern age
  67. mirage-crypto-rng.0.8.0 A cryptographically secure PRNG
  68. mirage-crypto-rng-mirage.0.8.0 Entropy collection for a cryptographically secure PRNG
  69. mirage-device.2.0.0 Abstract devices for MirageOS
  70. mirage-entropy.0.5.1 Entropy source for MirageOS unikernels
  71. mirage-flow.2.0.1 Flow implementations and combinators for MirageOS
  72. mirage-flow-combinators.2.0.1 Flow implementations and combinators for MirageOS specialized to lwt
  73. mirage-flow-unix.2.0.1 Flow implementations and combinators for MirageOS on Unix
  74. mirage-fs.3.0.1 MirageOS signatures for filesystem devices
  75. mirage-fs-unix.1.7.0 Passthrough filesystem for MirageOS on Unix
  76. mirage-kv.3.0.1 MirageOS signatures for key/value devices
  77. mirage-kv-mem.3.0.0 In-memory key value store for MirageOS
  78. mirage-kv-unix.2.1.0 Key-value store for MirageOS backed by Unix filesystem
  79. mirage-logs.1.2.0 A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps
  80. mirage-nat.2.2.3 Mirage-nat is a library for network address translation to be used with MirageOS
  81. mirage-net.3.0.1 Network signatures for MirageOS
  82. mirage-net-solo5.0.6.2 Solo5 implementation of MirageOS network interface
  83. mirage-net-unix.2.8.0 Unix implementation of the Mirage_net_lwt interface
  84. mirage-no-xen.1 Virtual package conflicting with mirage-xen
  85. mirage-profile.0.9.1 Collect runtime profiling information in CTF format
  86. mirage-profile-unix.0.9.1 Collect runtime profiling information in CTF format
  87. mirage-protocols.4.0.1 MirageOS signatures for network protocols
  88. mirage-random.2.0.0 Random-related devices for MirageOS
  89. mirage-random-stdlib.0.1.0 Random device implementation using the OCaml stdlib
  90. mirage-runtime.3.10.2 The base MirageOS runtime library, part of every MirageOS unikernel
  91. mirage-solo5.0.6.4 Solo5 core platform libraries for MirageOS
  92. mirage-stack.2.2.0 MirageOS signatures for network stacks
  93. mirage-tc.0.3.0 MirageOS type-classes
  94. mirage-time.2.0.1 Time operations for MirageOS
  95. mirage-time-unix.2.0.1 Time operations for MirageOS on Unix
  96. mirage-types.2.8.0 Module type definitions for Mirage-compatible applications
  97. mirage-types-lwt.2.8.0 Lwt module type definitions for Mirage-compatible applications
  98. mirage-unix.4.0.0 Unix core platform libraries for MirageOS
  99. mirage-vnetif.0.5.0 Virtual network interface and software switch for Mirage
  100. mirage-xen-minios.0.9.3 Xen MiniOS guest operating system library
  101. mirage-xen-ocaml.3.3.3 OCaml runtime compiled for the MirageOS Xen backend
  102. mirage-xen-posix.3.3.1 MirageOS library for posix headers
  103. mixture.1.0.0 The Mixture package is a mixin library for the module system
  104. mkaudio.1.1.0 CLI program for generating audio files
  105. mlbdd.0.7.2 An OCaml library for Binary Decision Diagrams (BDDs)
  106. mlcuddidl.3.0.6 OCaml interface to the CUDD BDD library
  107. mlgmpidl.1.2.13 OCaml interface to the GMP library
  108. mlt_parser.v0.14.0 Parsing of top-expect files
  109. mm.0.5.1 The mm library contains high-level to create and manipulate multimedia streams (audio, video, MIDI)
  110. mmap.1.1.0 File mapping functionality
  111. mmdb.0.3.0 Binding to the MaxMind DB library for GeoIP lookups
  112. mock.0.1.1 Configurable functions to test impure code
  113. mock-ounit.0.1.1 OUnit wrapper for OCaml mock
  114. molenc.11.4.0 Molecular encoder/featurizer using rdkit and OCaml
  115. monadlib.0.2 A starter library for monads, with transformers and applicatives.
  116. monads.2.2.0 A missing monad library
  117. morbig.0.10.3 A trustworthy parser for POSIX shell
  118. more-ocaml.1.0 Support code for the book 'More OCaml'
  119. morsmall.0.2.0 A concise AST for POSIX shell
  120. mosquitto.0.2.1-0 mosquitto
  121. moss.0.1.1 A client for the MOSS plagiarism detection service
  122. mparser.1.2.3 A simple monadic parser combinator library
  123. mparser-pcre.1.3 MParser plugin: PCRE-based regular expressions
  124. mparser-re.1.3 MParser plugin: RE-based regular expressions
  125. mperf.0.1.0 Bindings to Linux perf's metrics
  126. mpg123.0.1 MP3 decoding library
  127. mpi.1.05 OCaml binding to the Message Passing Interface (MPI)
  128. mpris.0.2.0 Client library for the MPRIS D-Bus media player interface
  129. mpris-clients.0.2.0 Client implementations of the MPRIS D-Bus media player interface
  130. mrmime.0.3.2 Mr. MIME
  131. msat.0.8.3 Library containing a SAT solver that can be parametrized by a theory
  132. msat-bin.0.8.3 SAT solver binary based on the msat library
  133. msgpck.1.6 Fast MessagePack (http://msgpack.org) library
  134. msgpck-repr.1.6 Fast MessagePack (http://msgpack.org) library -- ocplib-json-typed interface
  135. mssql.2.2.0 Async SQL Server client using FreeTDS
  136. mstruct.1.4.0 A mutable interface to Cstruct buffers
  137. mtime.1.2.0 Monotonic wall-clock time for OCaml
  138. mtl.1.0.0 A Monad Transformers Library for OCaml
  139. multipart-form-data.0.3.0 Parser for multipart/form-data (RFC2388)
  140. multipart_form.0.1.0 Multipart-form: RFC2183, RFC2388 & RFC7578
  141. murmur3.0.2 bindings for murmur3 hash implementation
  142. mustache.3.1.0 Mustache logic-less templates in OCaml
  143. mutf8.0.2 The Modified UTF-8 encoding used by Java and related systems
  144. mvar.1.0.0 Threadsafe mutable variables for Unix threads
  145. mwt.0.1.0 Mediumweight thread library for OCaml via Lwt
  146. mybuild.6 Collection of ocamlbuild plugins (extprot, atdgen, ragel, etc) and utility to generate version from VCS
  147. mysql8.1.0 OCaml interface for mysql-connector-c


  1. naboris.0.1.3 Simple http server
  2. nacc.1.0 Not Another Compiler Compiler
  3. namespaces.0.5.1 Turn directories into OCaml modules (deprecated)
  4. netlink.0.3.4 Bindings to the Netlink Protocol Library Suite (libnl)
  5. netsnmp.v0.14.0 An interface to the Net-SNMP client library
  6. nlopt-ocaml.0.5.1 OCaml bindings to the NLOpt optimization library
  7. nlp.0.0.1 Natural Language Processing tools for OCaml
  8. nocoiner.1.0.0 A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort
  9. nocrypto.0.5.4-2 Simpler crypto
  10. nonstd.0.0.3 Non-standard mini-library
  11. not-ocamlfind.0.07 A small frontend for ocamlfind that adds a few useful commands
  12. note.0.0.1 Declarative events and signals for OCaml
  13. nottui.0.1 UI toolkit for the terminal built on top of Notty and Lwd
  14. nottui-lwt.0.1 Run Nottui UIs in Lwt
  15. nottui-pretty.0.1 A pretty-printer based on PPrint rendering UIs
  16. notty.0.2.2 Declaring terminals
  17. notty_async.v0.14.0 An Async driver for Notty
  18. np.np1.19-0.3.1 Fundamental scientific computing with Numpy for OCaml
  19. nproc.0.5.1 Process pool implementation for OCaml.
  20. npy.0.0.9 Numpy npy file format reading/writing.
  21. nsq.0.5.3 A client library for the NSQ messaging platform
  22. num.1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic
  23. numalib.0.1.0 Interface to Linux NUMA API


  1. oasis.0.4.11 Tooling for building OCaml libraries and applications
  2. oasis2debian.0.1.5 Create and maintain Debian package for an OASIS package
  3. oasis2opam.0.8 Tool to convert OASIS metadata to OPAM package descriptions
  4. obandit.0.3.4 Ocaml Multi-Armed Bandits
  5. obeam.0.1.5 A utility library for parsing BEAM format
  6. obi.1.0.0 interface to OCaml Build Infrastructure
  7. objsize.0.18 Small library to compute sizes of OCaml heap values
  8. obuild.0.1.10 simple package build system for OCaml
  9. obuilder.0.3 Run build scripts for CI
  10. obuilder-spec.0.3 Build specification format
  11. obus.1.2.3 Pure Ocaml implementation of the D-Bus protocol
  12. obytelib.1.5 OCaml bytecode library tools to read, write and evaluate OCaml bytecode files
  13. ocal.0.2.2 An improved Unix `cal` utility
  14. ocaml.4.10.0 The OCaml compiler (virtual package)
  15. ocaml-base-compiler.4.10.0 Official release 4.10.0
  16. ocaml-basics.0.5.0 Implements common functionnal patterns / abstractions
  17. ocaml-compiler-libs.v0.12.3 OCaml compiler libraries repackaged
  18. ocaml-config.1 OCaml Switch Configuration
  19. ocaml-expat.1.1.0 Write XML-Parsers using the SAX method
  20. ocaml-freestanding.0.6.4 Freestanding OCaml runtime
  21. ocaml-http.0.1.6 Library freely inspired from Perl's HTTP::Daemon module
  22. ocaml-inifiles.1.2 An ini file parser
  23. ocaml-js-stdlib.1.0 Binding OCaml to JavaScript standard library
  24. ocaml-lsp-server.1.4.1 LSP Server for OCaml
  25. ocaml-makefile.6.39.2 Generic Makefile for building OCaml projects
  26. ocaml-markdown.transition This is a transition package, ocaml-markdown is now named markdown.
  27. ocaml-migrate-parsetree.1.8.0 Convert OCaml parsetrees between different versions
  28. ocaml-migrate-parsetree-ocamlbuild.1.2.0 Ocamlbuild plugin for ocaml-migrate-parsetree
  29. ocaml-monadic.0.4.1 A PPX extension to provide an OCaml-friendly monadic syntax
  30. ocaml-print-intf.1.2.0 Display human-readable OCaml interface from a compiled .cmi
  31. ocaml-protoc.2.0.2 Protobuf compiler for OCaml
  32. ocaml-protoc-plugin.4.2.0 Plugin for protoc protobuf compiler to generate ocaml definitions from a .proto file
  33. ocaml-protoc-yojson.0.2.0 JSON Runtime based on Yojson library for `ocaml-protoc` generated code
  34. ocaml-r.0.4.0 Objective Caml bindings for the R interpreter
  35. ocaml-sat-solvers.0.4 An abstraction layer for integrating SAT Solvers into OCaml.
  36. ocaml-src.4.10.0 Compiler sources
  37. ocaml-syntax-shims.1.0.0 Backport new syntax to older OCaml versions
  38. ocaml-systemd.1.2 OCaml module for native access to the systemd facilities
  39. ocaml-top.1.1.5 The OCaml interactive editor for education
  40. ocaml-vdom.0.2 DOM and VDOM for OCaml
  41. ocaml-version.0.3.0 Manipulate, parse and generate OCaml compiler version strings
  42. ocaml-xdg-basedir.0.0.3 xdg-basedir specification implementation
  43. ocaml_pgsql_model.0.1 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
  44. ocaml_plugin.v0.14.0 Automatically build and dynlink OCaml source files
  45. ocamlbrowser.4.10.0 OCamlBrowser Library Explorer
  46. ocamlbuild.0.14.0 OCamlbuild is a build system with builtin rules to easily build most OCaml projects.
  47. ocamlbuild-atdgen.0.1.0 Atdgen plugin for OCamlbuild
  48. ocamlbuild-pkg.0.2.1 An ocamlbuild plugin that helps packaging softwares.
  49. ocamlbuild-protoc.0.1 ocaml-protoc plugin for Ocamlbuild
  50. ocamlcodoc.1.0.1 Extract test code from doc-comments
  51. ocamldap.transition Transitional package for ldap (renaming)
  52. ocamldiff.1.1 OCamldiff is a small OCaml library providing functions to parse and display diff results.
  53. ocamlfind.1.9.1 A library manager for OCaml
  54. ocamlfind-lint.0.1.0 Simple tool performing checks on installed findlib META files
  55. ocamlformat.0.15.0 Auto-formatter for OCaml code
  56. ocamlfuse.2.7.1-cvs7 OCaml bindings for FUSE (Filesystem in UserSpacE)
  57. ocamlgraph.1.8.8 A generic graph library for OCaml
  58. ocamlify.0.0.1 Include files in OCaml code
  59. ocamline.1.2 Command line interface for user input
  60. ocamlmod.0.0.9 Generate OCaml modules from source files
  61. ocamlnet.4.1.9-1 Internet protocols (HTTP, CGI, e-mail etc.) and helper data structures
  62. ocamlrss.2.2.2 Library providing functions to parse and print RSS 2.0 files
  63. ocamlscript.3.0.0 Tool which compiles OCaml scripts into native code
  64. ocamlsdl.0.9.1 Interface between OCaml and SDL
  65. ocamlsdl2.0.04 Interface to the SDL2 library
  66. ocamlsdl2-image.0.01 Interface to the SDL2_image library
  67. ocamlsdl2-ttf.0.02 Interface to the SDL2_ttf library
  68. ocb-stubblr.0.1.1-1 OCamlbuild plugin for C stubs
  69. ocephes.0.8.2 Bindings to special math functions from the Cephes library
  70. oclock.0.4.0 Oclock: Precise POSIX clock for OCaml
  71. ocluster-api.0.1 Cap'n Proto API for OCluster
  72. ocp-browser.1.2.2 Console browser for the documentation of installed OCaml libraries
  73. ocp-build.1.99.21 Project manager for OCaml
  74. ocp-indent.1.8.1 A simple tool to indent OCaml programs
  75. ocp-index.1.2.2 Lightweight completion and documentation browsing for OCaml libraries
  76. ocp-ocamlres.0.4 Manipulation, injection and extraction of embedded resources
  77. ocp-pp.1.99.19-beta A simple preprocessor for OCaml
  78. ocp-reloc.0.1 Relocation of OCaml bytecode executables
  79. ocp_reveal.0.1 OCaml bindings for Reveal.js, an HTML presentation framework
  80. ocplib-endian.1.1 Optimised functions to read and write int16/32/64 from strings and bigarrays
  81. ocplib-json-typed.0.7.1 Type-aware JSON and JSON schema utilities
  82. ocplib-json-typed-browser.0.7.1 Json_repr interface over JavaScript's objects
  83. ocplib-json-typed-bson.0.7.1 A Json_repr compatible implementation of the JSON compatible subset of BSON
  84. ocplib-resto.0.1 Minimal OCaml library for type-safe HTTP/JSON RPCs.
  85. ocplib-simplex.0.4 A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
  86. ocplib_stuff.0.3.0 Basic stuff used by some OCP libraries and tools
  87. ocsigen-i18n.3.7.0 I18n made easy for web sites written with eliom
  88. ocsigen-start.4.0.1 An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc
  89. ocsigen-toolkit.2.8.0 Reusable UI components for Eliom applications (client only, or client-server)
  90. ocsigenserver.2.18.0 A full-featured and extensible Web server
  91. octavius.1.2.2 Ocamldoc comment syntax parser
  92. ocurl.0.9.1 Bindings to libcurl
  93. ocveralls.0.3.4 Generate JSON for http://coveralls.io from bisect code coverage data (deprecated).
  94. odate.0.6 Date & Duration Library
  95. odds.1.0 Dice formula library
  96. odepack.0.7.1 Binding to ODEPACK
  97. odig.0.0.6 Lookup documentation of installed OCaml packages
  98. odoc.1.5.2 OCaml documentation generator
  99. ofx.0.1.5 OCaml parser for OFX files
  100. ogg.0.5.2 Interface for Ogg Bitstream Library, otherwise known as libogg
  101. ogre.2.2.0 Open Generic REpresentation NoSQL Database
  102. olinq.0.3 LINQ inspired queries on in-memory data
  103. olmi.1.1 Olmi provide functor to generate monadic combinators with a minimal interface
  104. omake.0.10.3 Build system designed for scalability and portability
  105. omd.1.3.1 A Markdown frontend in pure OCaml.
  106. omigrate.0.1.0 Database migrations for Reason and OCaml
  107. oml.0.0.7 Math Library
  108. omlr.1.0.2 Multiple Linear Regression model
  109. omod.0.0.2 Lookup and load installed OCaml modules
  110. omonad.0.4.0 Monad programming using ppx preprocessor
  111. oniguruma.0.1.0 Bindings to the Oniguruma regular expression library
  112. oolc.0.3 An Ocaml implementation of Open Location Code.
  113. opaca.0.1.5 A friendly OCaml project scaffolding tool
  114. opal.0.1.1 Self-contained monadic parser combinators for OCaml
  115. opam-0install.0.4 Opam solver using 0install backend
  116. opam-0install-cudf.0.4 Opam solver using 0install backend using the CUDF interface
  117. opam-bin.1.0.0 The opam-bin tool is a simple framework to use `opam` with binary packages
  118. opam-bundle.0.4 A tool that creates stand-alone source bundles from opam packages
  119. opam-ci.1.0.0 query the opam package build status
  120. opam-client.2.0.8 opam 2.0 development libraries (client)
  121. opam-compiler.0.1.1 Plugin to create switches using custom compilers
  122. opam-core.2.0.8 opam 2.0 development libraries (core)
  123. opam-devel.2.0.8 opam 2.0 bootstrapped binary
  124. opam-ed.0.3 Command-line edition tool for handling the opam file syntax
  125. opam-file-format.2.0.0 Parser and printer for the opam file syntax
  126. opam-format.2.0.8 opam 2.0 development libraries (format)
  127. opam-installer.2.0.8 Installation of files to a prefix, following opam conventions
  128. opam-lib.1.3.1 The OPAM library
  129. opam-lock.0.2 Locking of development package definition dependency versions
  130. opam-package-upgrade.0.2 Upgrades opam package definition files to the latest format
  131. opam-publish.2.0.3 A tool to ease contributions to opam repositories
  132. opam-repository.2.0.8 opam 2.0 development libraries (repository)
  133. opam-solver.2.0.8 opam 2.0 development libraries (solver)
  134. opam-state.2.0.8 opam 2.0 development libraries (state)
  135. opam_bin_lib.1.0.0 The opam-bin tool is a simple framework to use `opam` with binary packages
  136. opamfu.0.1.4 Functions over OPAM Universes
  137. opasswd.1.3.1 OCaml bindings to the glibc passwd file and shadow password file interface
  138. opazl.0.0.1 Library to parse ZNC logs
  139. open.0.2.1 Conveniently open files such as PDFs in their default applications.
  140. openQASM.0.3.0 Parser for OpenQASM (Open Quantum Assembly Language)
  141. openai-gym.0.01 OCaml binding for openai Gym toolkit
  142. opium.0.20.0 OCaml web framework
  143. opium-graphql.0.20.0 Run GraphQL servers with Opium
  144. opium-testing.0.20.0 Testing library for Opium
  145. opium_kernel.0.18.0 Sinatra like web toolkit based on Lwt + Cohttp
  146. oplot.0.50 Mathematical plotter library for ocaml
  147. opomodoro.0.0.2 A simple Pomodoro timer
  148. optal.0.3 A new language for optimization
  149. optint.0.1.0 Efficient integer types on 64-bit architectures
  150. opus.0.1.3 Bindings for the opus library to decode audio files in opus format
  151. oraft.0.1.1 Raft consensus algorithm implemented in OCaml
  152. oranger.2.0.2 OCaml wrapper for the ranger (C++) random forests implementation
  153. order-i3-xfce.0.1 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
  154. orewa.0.2.1 Async-friendly Redis client
  155. orm.0.7.1 The ORM library provides a storage backend to persist ML values.
  156. orocksdb.0.4.0 ctypes based bindings for rocksdb
  157. orpie.1.6.1 Curses-based RPN calculator
  158. orsetto.1.0.3 A library of assorted structured data interchange languages
  159. orsvm_e1071.4.0.0 OCaml wrapper to SVM R packages e1071 and svmpath
  160. orun.0.0.1 Run benchmarks and measure performance
  161. osc.0.1.4 Pure OCaml OpenSoundControl client and server implementation
  162. osdp.1.0.0 OCaml Interface to SDP solvers
  163. oseq.0.3 Simple list of suspensions, as a composable lazy iterator that behaves like a value
  164. oskel.0.3.0 Skeleton generator for OCaml projects
  165. otfm.0.4.0 OpenType font decoder for OCaml
  166. otr.0.3.8 Off the record implementation purely in OCaml
  167. ott.0.30 A tool for writing definitions of programming languages and calculi
  168. otto.0.0.2 Otto is a testing / autograding library
  169. ounit.2.0.8 Unit testing framework loosely based on HUnit. It is similar to JUnit, and other XUnit testing frameworks
  170. ounit-lwt.2.2.4 This is a transition package, ounit-lwt is now ounit2-lwt
  171. ounit2.2.2.4 OUnit testing framework
  172. ounit2-lwt.2.2.4 OUnit testing framework (Lwt)
  173. override.0.3.0 PPX extension for overriding modules
  174. owee.0.3 OCaml library to work with DWARF format
  175. owl.1.0.1 OCaml Scientific and Engineering Computing
  176. owl-base.1.0.1 OCaml Scientific and Engineering Computing - Base
  177. owl-jupyter.1.0 Owl - Jupyter Wrappter
  178. owl-ode.0.4.0 Owl's ODE solvers
  179. owl-ode-base.0.4.0 Owl's ODE solvers
  180. owl-ode-odepack.0.4.0 Owl's ODE solvers, interface with ODEPACK
  181. owl-ode-sundials.0.4.0 Owl's ODE solvers, interface with SundialsML
  182. owl-opt.0.0.1 Owl's Optimisation Module
  183. owl-opt-lbfgs.0.0.1 Owl's Lbfgs Optimisation Module
  184. owl-plplot.1.0.1 OCaml Scientific and Engineering Computing
  185. owl-top.1.0.1 OCaml Scientific and Engineering Computing - Top
  186. owl-zoo.1.0.1 OCaml Scientific and Engineering Computing - Zoo
  187. owork.0.1.1 A productivity timer for focusing on work


  1. p4pp.0.1.6 P4PP: Preprocessor for P4 Language
  2. pa_comprehension.0.4 Syntax extension for comprehension expressions
  3. pa_ppx.0.07.02 PPX Rewriters for Ocaml, written using Camlp5
  4. pa_ppx_ag.0.07.02 A PPX Rewriter that Generates Attribute Grammar Evaulators
  5. pa_ppx_hashcons.0.07.02 A PPX Rewriter for Hashconsing
  6. pa_ppx_migrate.0.07.02 A PPX Rewriter for Migrating AST types (written using Camlp5)
  7. pa_ppx_q_ast.0.07.02 A PPX Rewriter for automating generation of data-conversion code for use with Camlp5's Q_ast
  8. pa_ppx_unique.0.07.02 A PPX Rewriter for Uniqifying ASTs
  9. pa_qualified.0.6 A syntax extension that implements support for fully qualified module references
  10. pa_solution.0.7 A DSL for solving programming contest problems
  11. pa_where.0.4 Backward declaration syntax
  12. paf.0.0.1 HTTP/AF and MirageOS
  13. pam.v0.14.0 OCaml bindings for the Linux-PAM library
  14. papi.0.1.1 Performance Application Programming Interface (PAPI) bindings
  15. parany.12.0.3 Parallelize any computation
  16. pardi.3.2.0 Parallel and distributed execution of command lines, pardi!
  17. pareto.0.3 GSL powered OCaml statistics library.
  18. parmap.1.2 Minimalistic library allowing to exploit multicore architecture
  19. parse-argv.0.2.0 Process strings into sets of command-line arguments
  20. parsexp.v0.14.0 S-expression parsing library
  21. parsley.0.0.1 Parsley library
  22. passmaker.1.0 Library for generating memorable passphrases
  23. passmakercmd.1.0 Command line utility for generating memorable passphrases
  24. patdiff.v0.14.0 File Diff using the Patience Diff algorithm
  25. patience_diff.v0.14.0 Diff library using Bram Cohen's patience diff algorithm
  26. pattern.0.2.0 Run-time patterns that explain match failures
  27. pbkdf.1.1.0 Password based key derivation functions (PBKDF) from PKCS#5
  28. pbs.0.2.0 Helper library around PBS/Torque
  29. pcap-format.0.5.2 Decode and encode PCAP (packet capture) files
  30. pci.1.0.1 Ctypes bindings to libpci for OCaml
  31. pci-db.0.3.0 Library to parse and query the pci.ids database of PCI devices
  32. pcre.7.4.6 Bindings to the Perl Compatibility Regular Expressions library
  33. pds.5.38
  34. pds-reachability.0.2.2 A PDS reachability query library
  35. pecu.0.5 Encoder/Decoder of Quoted-Printable (RFC2045 & RFC2047)
  36. pf-qubes.0.1.1 QubesOS firewall ruleset handling library
  37. pfff.0.40.4 Tools and APIs for program analysis, code visualization, refactoring
  38. pg_query.0.9.6 Bindings to libpg_query for parsing PostgreSQL
  39. pgocaml.4.2.2 Native OCaml interface to PostgreSQL databases
  40. pgocaml_ppx.4.2.2 PPX extension for PGOCaml
  41. pgsolver.4.1 A collection of tools for generating, manipulating and - most of all - solving parity games.
  42. pgx.1.0 Pure-OCaml PostgreSQL client library
  43. pgx_async.1.0 Pgx using Async for IO
  44. pgx_lwt.1.0 Pgx using Lwt for IO
  45. pgx_lwt_unix.1.0 Pgx using Lwt and Unix libraries for IO
  46. pgx_unix.1.0 PGX using the standard library's Unix module for IO (synchronous)
  47. pgx_value_core.1.0 Pgx_value converters for Core types like Date and Time
  48. phashtbl.1.0.0 Persistent hash table library using dbm under the carpet.
  49. piaf.0.1.0 An HTTP library with HTTP/2 support written entirely in OCaml
  50. picasso.0.3.0 Abstract elements drawing library
  51. piqi.0.7.7 Protocol Buffers, JSON and XML serialization system for OCaml
  52. piqilib.0.6.15 The Piqi library -- runtime support for multi-format Protobuf/JSON/XML/Piq data serialization and conversion
  53. pixel_pusher.1.1 Control LED strips on Pixel Pusher hardware
  54. pkcs11.1.0.0 PKCS#11 ocaml types
  55. pkcs11-cli.1.0.0 Cmdliner arguments to initialize a PKCS#11 session
  56. pkcs11-driver.1.0.0 Bindings to the PKCS#11 cryptographic API
  57. pkcs11-rev.1.0.0 Reverse bindings to pkcs11
  58. plebeia.1.0.0 Merkle Patricia tree implementation
  59. plist.0.1 Create Apple Plists
  60. plist-xml.0.3.0 Reading and writing of plist files in the XML format in pure OCaml
  61. plist-xml-lwt.0.3.0 Reading of plist files in the XML format with Lwt
  62. plotkicadsch.0.8.0 Utilities to print and compare version of Kicad schematics
  63. plplot.5.11.0-1 Bindings for the PLplot library
  64. polyglot.1.0.0 Filters to convert XHTML into polyglot HTML5
  65. portaudio.0.2.2 Bindings for the portaudio library which provides high-level functions for using soundcards
  66. portaudio_c_bindings.19.6.0 Bindings to the C PortAudio library
  67. portia.1.5 Literate Programming Preprocessor
  68. posix-base.2.0.0 Base module for the posix bindings
  69. posix-bindings.2.0.0 POSIX bindings
  70. posix-clock.0.4.0-0 POSIX clock
  71. posix-getopt.2.0.0 Bindings for posix getopt/getopt_long
  72. posix-math.0.3.1-0 POSIX math
  73. posix-mqueue.0.8.0-0 POSIX message queues
  74. posix-semaphore.0.5.0-0 POSIX semaphore
  75. posix-signal.2.0.0 Bindings for the types defined in <signal.h>
  76. posix-socket.2.0.0 Bindings for posix sockets
  77. posix-socket-unix.2.0.0 Bindings for posix sockets
  78. posix-time.1.0.1-0 POSIX time
  79. posix-time2.2.0.0 Bindings for posix time functions
  80. posix-types.2.0.0 Bindings for the types defined in <sys/types.h>
  81. posix-uname.2.0.0 Bindings for posix uname
  82. posixat.v0.14.0 Bindings to the posix *at functions
  83. postgres_async.v0.14.0 OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq)
  84. postgresql.5.0.0 Bindings to the PostgreSQL library
  85. pprint.20200410 A pretty-printing combinator library and rendering engine
  86. ppx-owl-opt.0.0.1 Ppx tool for owl-opt
  87. ppx_accessor.v0.14.2 [@@deriving] plugin to generate accessors for use with the Accessor libraries
  88. ppx_assert.v0.14.0 Assert-like extension nodes that raise useful errors on failure
  89. ppx_bap.v0.14.0 The set of ppx rewriters for BAP
  90. ppx_base.v0.14.0 Base set of ppx rewriters
  91. ppx_bench.v0.14.1 Syntax extension for writing in-line benchmarks in ocaml code
  92. ppx_bin_prot.v0.14.0 Generation of bin_prot readers and writers from types
  93. ppx_blob.0.7.2 Include a file as a string at compile time
  94. ppx_cold.v0.14.0 Expands [@cold] into [@inline never][@specialise never][@local never]
  95. ppx_compare.v0.14.0 Generation of comparison functions from types
  96. ppx_conv_func.v0.14.0 Deprecated
  97. ppx_cstruct.5.2.0 Access C-like structures directly from OCaml
  98. ppx_cstubs. Preprocessor for easier stub generation with ctypes
  99. ppx_csv_conv.v0.14.0 Generate functions to read/write records in csv format
  100. ppx_custom_printf.v0.14.0 Printf-style format-strings for user-defined string conversion
  101. ppx_derivers.1.2.1 Shared [@@deriving] plugin registry
  102. ppx_deriving.4.5 Type-driven code generation for OCaml >=4.02.2
  103. ppx_deriving_argparse.0.0.5 Very simple ppx deriver of command line parser for Ocaml >=4.02
  104. ppx_deriving_cmdliner.0.5.1 Cmdliner.Term.t generator
  105. ppx_deriving_encoding.0.1 Ppx deriver for json-encoding
  106. ppx_deriving_hardcaml.v0.14.0 Rewrite OCaml records for use as Hardcaml Interfaces
  107. ppx_deriving_jsoo.0.1 Ppx deriver for Js_of_ocaml
  108. ppx_deriving_madcast.0.1 Library deriving cast functions based on their types.
  109. ppx_deriving_protobuf.2.7 A Protocol Buffers codec generator for OCaml >=4.02
  110. ppx_deriving_rpc.8.0.0 Ppx deriver for ocaml-rpc, a library to deal with RPCs in OCaml
  111. ppx_deriving_yaml.0.1.0 Yaml PPX Deriver
  112. ppx_deriving_yojson.3.5.3 JSON codec generator for OCaml
  113. ppx_enumerate.v0.14.0 Generate a list containing all values of a finite type
  114. ppx_expect.v0.14.0 Cram like framework for OCaml
  115. ppx_fail.v0.14.0 Add location to calls to failwiths
  116. ppx_fields_conv.v0.14.1 Generation of accessor and iteration functions for ocaml records
  117. ppx_fixed_literal.v0.14.0 Simpler notation for fixed point literals
  118. ppx_hash.v0.14.0 A ppx rewriter that generates hash functions from type expressions and definitions
  119. ppx_here.v0.14.0 Expands [%here] into its location
  120. ppx_import.1.8.0 A syntax extension for importing declarations from interface files
  121. ppx_inline_test.v0.14.1 Syntax extension for writing in-line tests in ocaml code
  122. ppx_irmin.2.5.2 PPX deriver for Irmin type representations
  123. ppx_jane.v0.14.0 Standard Jane Street ppx rewriters
  124. ppx_js_style.v0.14.0 Code style checker for Jane Street Packages
  125. ppx_jsobject_conv.0.8.0 Ppx plugin for Typeconv to derive conversion from ocaml types to js objects to use with js_of_ocaml.
  126. ppx_let.v0.14.0 Monadic let-bindings
  127. ppx_log.v0.14.0 Ppx_sexp_message-like extension nodes for lazily rendering log messages
  128. ppx_meta_conv.4.0.1 Ppx based type_conv for various tree data formats
  129. ppx_module_timer.v0.14.0 Ppx rewriter that records top-level module startup times
  130. ppx_nanocaml.0.1 Framework for writing nanopass-style compilers
  131. ppx_optcomp.v0.14.0 Optional compilation for OCaml
  132. ppx_optional.v0.14.0 Pattern matching on flat options
  133. ppx_pattern_bind.v0.14.0 A ppx for writing fast incremental bind nodes in a pattern match
  134. ppx_pipebang.v0.14.0 A ppx rewriter that inlines reverse application operators `|>` and `|!`
  135. ppx_protocol_conv.5.1.3 Ppx for generating serialisation and de-serialisation functions of ocaml types
  136. ppx_protocol_conv_json.5.1.3 Json driver for Ppx_protocol_conv
  137. ppx_protocol_conv_jsonm.5.1.3 Jsonm driver for Ppx_protocol_conv
  138. ppx_protocol_conv_msgpack.5.1.3 MessagePack driver for Ppx_protocol_conv
  139. ppx_protocol_conv_xml_light.5.1.3 Xml driver for Ppx_protocol_conv
  140. ppx_protocol_conv_xmlm.5.1.3 Xmlm driver for Ppx_protocol_conv
  141. ppx_protocol_conv_yaml.5.1.3 Json driver for Ppx_protocol_conv
  142. ppx_python.v0.14.0 [@@deriving] plugin to generate Python conversion functions
  143. ppx_rapper.3.0.0 Syntax extension for Caqti/PostgreSQL queries
  144. ppx_rapper_async.3.0.0 Async support for ppx_rapper
  145. ppx_rapper_lwt.3.0.0 Lwt support for ppx_rapper
  146. ppx_repr.0.2.1 PPX deriver for type representations
  147. ppx_sexp_conv.v0.14.1 [@@deriving] plugin to generate S-expression conversion functions
  148. ppx_sexp_message.v0.14.0 A ppx rewriter for easy construction of s-expressions
  149. ppx_sexp_value.v0.14.0 A ppx rewriter that simplifies building s-expressions from ocaml values
  150. ppx_show.0.2.1 OCaml PPX deriver for deriving show based on ppxlib
  151. ppx_stable.v0.14.1 Stable types conversions generator
  152. ppx_string.v0.14.1 Ppx extension for string interpolation
  153. ppx_string_interpolation.1.0.0 String interpolation PPX preprocessor
  154. ppx_test.1.7.0 A ppx replacement of pa_ounit
  155. ppx_tools.6.3 Tools for authors of ppx rewriters and other syntactic tools
  156. ppx_tools_versioned.5.4.0 A variant of ppx_tools based on ocaml-migrate-parsetree
  157. ppx_typerep_conv.v0.14.1 Generation of runtime types from type declarations
  158. ppx_variants_conv.v0.14.1 Generation of accessor and iteration functions for ocaml variant types
  159. ppx_xml_conv.v0.14.0 Generate XML conversion functions from records
  160. ppx_yojson.1.0.0 PPX extension for Yojson literals and patterns
  161. ppx_yojson_conv_lib.v0.14.0 Runtime lib for ppx_yojson_conv
  162. ppxfind.1.4 Tool combining ocamlfind and ppx
  163. ppxlib.0.15.0 Standard library for ppx rewriters
  164. ppxx.2.4.0 Ppxx: a small extension library for writing PPX preprocessors
  165. primes.1.3.5 A small library for dealing with primes.
  166. pringo.1.1 Pseudo-random, splittable number generators
  167. printbox.0.5 Allows to print nested boxes, lists, arrays, tables in several formats
  168. process.0.2.1 Easy process control
  169. profiler-plugin.1.01 Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin
  170. progress.0.1.1 User-definable progress bars
  171. prom.0.2 Types and pretty printer for Prometheus text-based exposition format
  172. prometheus.1.0 Client library for Prometheus monitoring
  173. prometheus-app.1.0 Client library for Prometheus monitoring
  174. prometheus-liquidsoap.1 Virtual package installing liquidsoap's prometheus dependencies
  175. promise.1.1.2 Native implementation of a JS promise binding
  176. promise_jsoo.0.3.1 Js_of_ocaml bindings to JS Promises with supplemental functions
  177. protocell.1.0.0 A Protobuf plugin for OCaml
  178. protocol_version_header.v0.14.0 Protocol versioning
  179. proverif.2.02pl1 ProVerif: Cryptographic protocol verifier in the symbolic model
  180. psmt2-frontend.0.4.0 The psmt2-frontend project
  181. psq.0.2.0 Functional Priority Search Queues
  182. ptime.0.8.5 POSIX time for OCaml
  183. ptmap.2.0.5 Maps of integers implemented as Patricia trees
  184. publish.0.3.4+transition opam-publish transition package
  185. pulseaudio.0.1.4 Bindings to Pulseaudio client library
  186. pumping.0.1.0 Regular languages in types
  187. pvem.0.0.1 Polymorphic-Variants-based Error Monad
  188. pxp.1.2.9 Polymorphic XML Parser
  189. py.1.3 Ctypes bindings to Python 3.5 or greater
  190. pyml.20210226 OCaml bindings for Python
  191. pythonlib.v0.14.0 A library to help writing wrappers around ocaml code for python


  1. qbf.0.3 QBF solving in OCaml, including bindings to solvers
  2. qcheck.0.17 Compatibility package for qcheck
  3. qcheck-alcotest.0.17 Alcotest backend for qcheck
  4. qcheck-core.0.17 Core qcheck library
  5. qcheck-ounit.0.17 OUnit backend for qcheck
  6. qcow.0.11.0 Support for Qcow2 images
  7. qcow-tool.0.11.0 A command-line tool for manipulating qcow2-formatted data
  8. qcstm.0.1.1 A simple state-machine framework for OCaml based on QCheck
  9. qiskit.0.1.0 Qiskit for OCaml
  10. qmp.0.9.1 OCaml implementation of a Qemu Message Protocol (QMP) client
  11. qrc.0.1.0 QR code encoder for OCaml
  12. qrencode.0.2 Binding to libqrencode (QR-code encoding library)
  13. qtest.2.11.2 Lightweight inline test extraction from comments
  14. quest.0.1 quest - generates C code for testing a C compiler's calling convention
  15. quests.0.1.3 HTTP/1.1 client library like Python requests


  1. r2pipe.0.0.1 Deprecated: use radare2 instead
  2. radare2.0.0.7 OCaml interface to r2
  3. randomconv.0.1.3 Convert from random byte vectors (Cstruct.t) to random native numbers
  4. ranger.0.1.0 A consecutive range slice library for strings, arrays, etc.
  5. rankers.2.0.7 Vanishing Ranking Kernels (VRK)
  6. raw_spacetime.base Raw_spacetime_lib library distributed with the OCaml compiler
  7. rawlink.1.0 Portable library to read and write raw packets
  8. raylib.0.2.2 OCaml bindings for raylib
  9. rdr.1.1 Rdr is a cross-platform binary analysis and reverse engineering tool, utilizing a unique symbol map for global analysis.
  10. re.1.9.0 RE is a regular expression library for OCaml
  11. re2.v0.14.0 OCaml bindings for RE2, Google's regular expression library
  12. re2_stable.v0.14.0 Re2_stable adds an incomplete but stable serialization of Re2
  13. react.1.2.1 Declarative events and signals for OCaml
  14. reactiveData.0.2.2 Declarative events and signals for OCaml
  15. reanalyze.2.15.0 Dead values/types, exception, and termination analysis for OCaml/Reason
  16. reason.3.7.0 Reason: Syntax & Toolchain for OCaml
  17. received.0.4.0 Received field according RFC5321
  18. record_builder.v0.14.0 A library which provides traversal of records with an applicative
  19. records.0.8.0 Records
  20. reddit_api_async.0.1.1 Async connection and utility functions for Reddit's API
  21. reddit_api_kernel.0.1.1 OCaml types for Reddit's API
  22. redirect.0.1.1 Redirect channels
  23. redis.0.4 Redis client
  24. redis-lwt.0.4 Redis client (lwt interface)
  25. redis-sync.0.4 Redis client (blocking)
  26. reed-solomon-erasure.1.0.2 OCaml implementation of Reed-Solomon erasure coding
  27. refl.0.2.1 PPX deriver for reflection
  28. regenerate.0.2 Regenerate is a tool to generate test-cases for regular expression engines
  29. regular.2.2.0 Library for regular data types
  30. remu_ts.0.1 External type infer
  31. reparse.2.1.0 Recursive descent parsing library for ocaml
  32. repr.0.2.1 Dynamic type representations. Provides no stability guarantee
  33. repr-bench.0.2.1 Benchmarks for the `repr` package
  34. repr-fuzz.0.2.1 Fuzz tests for the `repr` package
  35. res.5.0.1 RES - Library for resizable, contiguous datastructures
  36. resource-pooling.1.2 Library for pooling resources like connections, threads, or similar
  37. resource_cache.v0.14.0 General resource cache
  38. resp.0.9.1 Redis serialization protocol library
  39. resp-client.0.9.1 Redis serialization protocol client
  40. resto.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  41. resto-cohttp.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  42. resto-cohttp-client.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  43. resto-cohttp-server.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs - server library
  44. resto-directory.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  45. resto-json.0.5 A minimal OCaml library for type-safe HTTP/JSON RPCs
  46. result.1.5 Compatibility Result module
  47. revops.2.5 Reversible operations
  48. rfc1951.0.9.1 Implementation of RFC1951 in OCaml
  49. rfc6287.1.0.4 OCRA (OATH Challenge-Response Algorithm) implementation in OCaml
  50. rfc7748.1.0 Edwards Curves X25519 and X448 from RFC 7748
  51. rfsm.1.7.0 A toolset for describing and simulating StateChart-like state diagrams
  52. rhythm.0.0.1 Data Structures and Algorithms implemented in Reason
  53. ringo.0.5 Caches (bounded-size key-value stores) and other bounded-size stores
  54. ringo-lwt.0.5 Lwt-wrappers for Ringo caches
  55. rlp.0.1 RLP: Recursive Length Prefix Encoding
  56. rml.1.09.06 ReactiveML: a programming language for implementing interactive systems
  57. rock.0.20.0 Minimalist framework to build extensible HTTP servers and clients
  58. rope.0.6.2 Ropes (heavyweight strings)
  59. rosetta.0.3.0 Universal mapper to Unicode
  60. routes.0.8.0 Typed routing for OCaml applications
  61. rpc.8.0.0 A library to deal with RPCs in OCaml - meta-package
  62. rpc_parallel.v0.14.0 Type-safe parallel library built on top of Async_rpc
  63. rpclib.8.0.0 A library to deal with RPCs in OCaml
  64. rpclib-async.8.0.0 A library to deal with RPCs in OCaml - Async interface
  65. rpclib-html.8.0.0 A library to deal with RPCs in OCaml - html documentation generator
  66. rpclib-js.8.0.0 A library to deal with RPCs in OCaml - Bindings for js_of_ocaml
  67. rpclib-lwt.8.0.0 A library to deal with RPCs in OCaml - Lwt interface
  68. rresult.0.6.0 Result value combinators for OCaml
  69. rtop.3.7.0 Reason toplevel


  1. SZXX.1.1.0 Streaming ZIP XML XLSX parser
  2. Snowflake.0.02.01 Snowflake : A Generic Symbolic Dynamic Programming framework
  3. safa.1.4 Symbolic Algorithms for Finite Automata
  4. safepass.3.1 Facilities for the safe storage of user passwords
  5. sail.0.14 Sail is a language for describing the instruction semantics of processors
  6. salsa20.1.1.0 Salsa20 family of encryption functions, in pure OCaml
  7. salsa20-core.1.0.0 The Salsa20 core functions, in OCaml
  8. samplerate.0.1.5 Samplerate audio conversion library
  9. sanddb.0.2 A simple immutable database for the masses
  10. satML-plugin.1.01 Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
  11. sattools.0.1.0 Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
  12. satyrographos. A package manager for SATySFi
  13. sawja.1.5.8 Sawja provides a high level representation of Java bytecode programs and static analysis tools
  14. scgi.1.0 Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
  15. scid.1.0 Sierra Chart's Intraday Data File Format library
  16. scipy.sp1.5-0.3.1 SciPy scientific computing library for OCaml
  17. scrypt.0.2.1 C bindings and a high level interface to the official scrypt distribution.
  18. scrypt-kdf.1.1.0 The scrypt Password-Based Key Derivation Function
  19. sdl-liquidsoap.2 Virtual package installing liquidsoap's sdl dependencies
  20. secp256k1-internal.0.2.0 Bindings to secp256k1 internal functions (generic operations on the curve)
  21. sedlex.2.2 An OCaml lexer generator for Unicode
  22. semaphore-compat.1.0.1 Compatibility Semaphore module
  23. semver.0.1.0 Semantic versioning module
  24. semver2.1.1.0 Semantic version handling for OCaml
  25. sendmail.0.4.0 Implementation of the sendmail command
  26. sendmail-lwt.0.4.0 Implementation of the sendmail command over LWT
  27. sendmsg.0.0.2 π-calculus? In _my_ kernel?
  28. sentry.v0.11.0 Unofficial Async Sentry error monitoring client
  29. seq.base Compatibility package for OCaml's standard iterator type starting from 4.07.
  30. sequence.0.2 Simple sequence abstract datatype.
  31. sequencer_table.v0.14.0 A table of [Async.Sequencer]'s, indexed by key
  32. serial.0.0.2 Serial communication module
  33. session.0.4.1 A session manager for your everyday needs
  34. session-cohttp.0.4.1 A session manager for your everyday needs - Cohttp-specific support
  35. session-cohttp-async.0.4.1 A session manager for your everyday needs - Cohttp-specific support for Async
  36. session-cohttp-lwt.0.4.1 A session manager for your everyday needs - Cohttp-specific support for Lwt
  37. session-cookie.0.1.8 Session handling for OCaml and ReasonML
  38. session-postgresql.0.4.1 A session manager for your everyday needs - Postgresql-specific support
  39. session-postgresql-async.0.4.1 A session manager for your everyday needs - Postgresql-specific support for Async
  40. session-postgresql-lwt.0.4.1 A session manager for your everyday needs - Postgresql-specific support
  41. session-redis-lwt.0.4.1 A session manager for your everyday needs - Redis-specific support for Lwt
  42. session-webmachine.0.4.1 A session manager for your everyday needs - Webmachine-specific support
  43. sessions.0.1.0 Library to provide session types to allow for static verification of protocols between concurrent computations.
  44. setcore.1.0.2 Pin current process to given core number
  45. setr.0.1.1 Abstract domain library for sets
  46. sexp.v0.14.0 S-expression swiss knife
  47. sexp_diff_kernel.v0.14.0 Code for computing the diff of two sexps
  48. sexp_macro.v0.14.0 Sexp macros
  49. sexp_pretty.v0.14.0 S-expression pretty-printer
  50. sexp_select.v0.14.0 A library to use CSS-style selectors to traverse sexp trees
  51. sexplib.v0.14.0 Library for serializing OCaml values to and from S-expressions
  52. sexplib0.v0.14.0 Library containing the definition of S-expressions and some base converters
  53. sfml.0.08.3 Bindings to the SFML multimedia library
  54. sgf.1.0.1 Parser and pretty printer for SGF files
  55. sha.1.14 Binding to the SHA cryptographic functions
  56. shared-memory-ring.3.1.0 Shared memory rings for RPC and bytestream communications
  57. shared-memory-ring-lwt.3.1.0 Shared memory rings for RPC and bytestream communications using Lwt
  58. shcaml.0.2.1 Library for Unix shell programming
  59. shexp.v0.14.0 Process library and s-expression based shell
  60. sid.2.0 Handle security identfiers
  61. sihl.0.3.0 The Sihl web framework
  62. sihl-cache.0.3.0 A module that provides services to store and retrieve data with key-value semantics
  63. sihl-contract.0.3.0~rc1 Sihl serivce interfaces
  64. sihl-core.0.3.0~rc1 The core of the Sihl web framework
  65. sihl-email.0.3.0 Sihl service to deal with sending emails
  66. sihl-facade.0.3.0~rc1 Sihl service facade that uses the facade pattern to hide service implementations
  67. sihl-persistence.0.3.0~rc1 Sihl services to deal with data persistence
  68. sihl-queue.0.3.0 Sihl service to deal with queuing jobs
  69. sihl-session.0.3.0~rc1 Sihl service to deal with sessions
  70. sihl-storage.0.3.0 Sihl service to deal with storage of large files
  71. sihl-token.0.3.0 Sihl service to deal with tokens
  72. sihl-user.0.3.0 Sihl services to deal with users
  73. sihl-web.0.3.0~rc1 Sihl HTTP service and middlewares
  74. simple-diff.0.3 Simple_diff is a pure OCaml diffing algorithm.
  75. simple_pam.0.1.2 Tiny binding around PAM
  76. sklearn.sk0.23-0.3.1 Scikit-learn machine learning library for OCaml
  77. slacko.0.15.0 Type-safe binding to the Slack API
  78. slap.4.1.1 A linear algebra library with static size checking for matrix operations
  79. smart-print.0.3.0 A pretty-printing library in OCaml
  80. smbc.0.6.1 Experimental model finder/SMT solver for functional programming
  81. smtlib-utils.0.3 Parser for SMTLIB2
  82. snappy.0.1.2 Bindings to snappy - fast compression/decompression library
  83. so.0.0.1 Open file depending on their extension
  84. socketcan.0.8.12-0 socketcan
  85. sodium.0.6.0 Binding to libsodium UNAUDITED
  86. solo5-bindings-spt.0.6.8 Solo5 sandboxed execution environment (spt target)
  87. sosa.0.3.0 Sane OCaml String API
  88. soundtouch.0.1.9 Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data
  89. soupault.2.3.0 Static website generator based on HTML rewriting
  90. spacetime_lib.0.3.0 Library for decoding OCaml spacetime profiles
  91. spawn.v0.13.0 Spawning sub-processes
  92. speex.0.2.2 Bindings for the speex library to decode audio files in speex format
  93. spelll.0.3 Fuzzy string searching, using Levenshtein automaton
  94. spf.2.0.2 OCaml bindings for libspf2
  95. spin.0.7.0 A project generator for Reason and OCaml
  96. spirv.1.1.2 SPIR-V Compiler Library
  97. splay_tree.v0.14.0 A splay tree implementation
  98. splittable_random.v0.14.0 PRNG that can be split into independent streams
  99. spotify-web-api.0.2.1 OCaml bindings to the Spotify web API
  100. spotlib.4.1.0 Useful functions for OCaml programming used by @camlspotter
  101. spreadsheet.0.1 Functor for parsing and building spreadsheets.
  102. sqlite3.4.4.1 SQLite3 bindings for OCaml
  103. sqlite3_utils.0.3.1 High-level wrapper around ocaml-sqlite3
  104. ssl.0.5.10 Bindings for OpenSSL
  105. sslconf.0.8.3 An OCaml version of Openssl's NCONF library
  106. statverif.1.97pl1.2 StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif
  107. stb_image.0.5 OCaml bindings to stb_image, a public domain image loader
  108. stb_image_write.0.2 OCaml bindings to stb_image_write, a public domain image writer
  109. stb_truetype.0.6 OCaml bindings to stb_truetype, a public domain font rasterizer
  110. stdcompat.15 Compatibility module for OCaml standard library
  111. stdint.0.7.0 Signed and unsigned integer types having specified widths
  112. stdio.v0.14.0 Standard IO library for OCaml
  113. stdlib-diff.0.1.3 Symmetric Diffs for OCaml stdlib and ReasonML
  114. stdlib-shims.0.3.0 Backport some of the new stdlib features to older compiler
  115. stemmer.0.2 Porter stemming algorithm in pure OCaml
  116. stemming.0.2.1 Collection of stemmers
  117. stitch.0.0.0 Refactoring framework
  118. stone.0.5.1 Simple static website generator, useful for a portfolio or documentation pages
  119. stringext.1.6.0 Extra string functions for OCaml
  120. sundialsml.3.1.1p1 Interface to the Sundials suite of numerical solvers
  121. swagger.0.2.0 Swagger 2.0 code generator for OCaml
  122. symkat.1.4 Symbolic Algorithms for Kleene algebra with Tests (KAT)
  123. syndic.1.6.1 RSS1, RSS2, Atom and OPML1 parsing
  124. sys-socket.1.0.0 Ctypes bindings to system-specific low-level socket structure and data-types
  125. sys-socket-unix.1.0.0 Ctypes bindings to unix-specific low-level socket structure and data-types
  126. syslog-message.1.1.0 Syslog message parser
  127. syslog-rfc5424.0.1 Syslog Protocol (RFC5424) parser and pretty-printer


  1. TCSLib.0.3 A multi-purpose library for OCaml.
  2. tar.1.1.0 Decode and encode tar format files in pure OCaml
  3. tar-unix.1.1.0 Decode and encode tar format files from Unix
  4. tcpip.5.0.1 OCaml TCP/IP networking stack, used in MirageOS
  5. tdigest.0.1.0 OCaml implementation of the T-Digest algorithm
  6. tdk.0.2.0 The Decision Kit is a collection of data structures that are useful
  7. telegraml.2.2.0 Telegram Bot API for OCaml
  8. telltime.0.0.3 Cli tool for interacting with Daypack-lib components
  9. tensorboard.0.0.1
  10. terminal_size.0.1.4 Get the dimensions of the terminal
  11. text.0.8.1 Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way
  12. text-tags.2.2.0 A library for rich formatting using semantics tags
  13. textmate-language.0.1.0 Tokenizing source code with TextMate grammars
  14. textrazor.0.1 An OCaml wrapper for the TextRazor API
  15. textutils.v0.14.0 Text output utilities
  16. textutils_kernel.v0.14.0 Text output utilities
  17. textwrap.0.2 Text wrapping and filling library
  18. tezos.8.2 Tezos meta package installing all active binaries
  19. tezos-accuser-007-PsDELPH1.8.2 Tezos/Protocol: accuser binary
  20. tezos-accuser-008-PtEdo2Zk.8.2 Tezos/Protocol: accuser binary
  21. tezos-alpha-test-helpers.8.2 Tezos/Protocol: protocol testing framework
  22. tezos-baker-007-PsDELPH1.8.2 Tezos/Protocol: baker binary
  23. tezos-baker-008-PtEdo2Zk.8.2 Tezos/Protocol: baker binary
  24. tezos-baking-007-PsDELPH1.8.2 Tezos/Protocol: base library for `tezos-baker/endorser/accuser`
  25. tezos-baking-007-PsDELPH1-commands.8.2 Tezos/Protocol: protocol-specific commands for baking
  26. tezos-baking-008-PtEdo2Zk.8.2 Tezos/Protocol: base library for `tezos-baker/endorser/accuser`
  27. tezos-baking-008-PtEdo2Zk-commands.8.2 Tezos/Protocol: protocol-specific commands for baking
  28. tezos-baking-alpha.8.2 Tezos/Protocol: base library for `tezos-baker/endorser/accuser`
  29. tezos-baking-alpha-commands.8.2 Tezos/Protocol: protocol-specific commands for baking
  30. tezos-base.8.2 Tezos: meta-package and pervasive type definitions for Tezos
  31. tezos-clic.8.2 Tezos: library of auto-documented command-line-parsing combinators
  32. tezos-client.8.2 Tezos: `tezos-client` binary
  33. tezos-client-000-Ps9mPmXa.8.2 Tezos/Protocol: 000-Ps9mPmXa (protocol-specific commands for `tezos-client`)
  34. tezos-client-001-PtCJ7pwo.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  35. tezos-client-001-PtCJ7pwo-commands.8.2 Tezos/Protocol: 001_PtCJ7pwo (protocol-specific commands for `tezos-client`)
  36. tezos-client-002-PsYLVpVv.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  37. tezos-client-002-PsYLVpVv-commands.8.2 Tezos/Protocol: 002_PsYLVpVv (protocol-specific commands for `tezos-client`)
  38. tezos-client-003-PsddFKi3.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  39. tezos-client-003-PsddFKi3-commands.8.2 Tezos/Protocol: 003_PsddFKi3 (protocol-specific commands for `tezos-client`)
  40. tezos-client-004-Pt24m4xi.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  41. tezos-client-004-Pt24m4xi-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  42. tezos-client-005-PsBabyM1.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  43. tezos-client-005-PsBabyM1-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  44. tezos-client-006-PsCARTHA.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  45. tezos-client-006-PsCARTHA-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  46. tezos-client-007-PsDELPH1.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  47. tezos-client-007-PsDELPH1-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  48. tezos-client-007-PsDELPH1-commands-registration.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  49. tezos-client-008-PtEdo2Zk.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  50. tezos-client-008-PtEdo2Zk-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  51. tezos-client-008-PtEdo2Zk-commands-registration.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  52. tezos-client-alpha.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  53. tezos-client-alpha-commands.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  54. tezos-client-alpha-commands-registration.8.2 Tezos/Protocol: protocol-specific commands for `tezos-client`
  55. tezos-client-base.8.2 Tezos: common helpers for `tezos-client`
  56. tezos-client-base-unix.8.2 Tezos: common helpers for `tezos-client` (unix-specific fragment)
  57. tezos-client-commands.8.2 Tezos: protocol agnostic commands for `tezos-client`
  58. tezos-client-demo-counter.8.2 Tezos/Protocol: protocol specific library for `tezos-client`
  59. tezos-client-genesis.8.2 Tezos/Protocol: genesis (protocol-specific commands for `tezos-client`)
  60. tezos-client-genesis-carthagenet.8.2 Tezos/Protocol: genesis (protocol-specific commands for `tezos-client`)
  61. tezos-client-sapling-008-PtEdo2Zk.8.2 Tezos: sapling support for `tezos-client`
  62. tezos-codec.8.2 Tezos: `tezos-codec` binary to encode and decode values
  63. tezos-crypto.8.2 Tezos: library with all the cryptographic primitives used by Tezos
  64. tezos-embedded-protocol-000-Ps9mPmXa.8.2 Tezos/Protocol: 000-Ps9mPmXa (economic-protocol definition, embedded in `tezos-node`)
  65. tezos-embedded-protocol-001-PtCJ7pwo.8.2 Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, embedded in `tezos-node`)
  66. tezos-embedded-protocol-002-PsYLVpVv.8.2 Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition, embedded in `tezos-node`)
  67. tezos-embedded-protocol-003-PsddFKi3.8.2 Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, embedded in `tezos-node`)
  68. tezos-embedded-protocol-004-Pt24m4xi.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  69. tezos-embedded-protocol-005-PsBABY5H.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  70. tezos-embedded-protocol-005-PsBabyM1.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  71. tezos-embedded-protocol-006-PsCARTHA.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  72. tezos-embedded-protocol-007-PsDELPH1.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  73. tezos-embedded-protocol-008-PtEdo2Zk.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  74. tezos-embedded-protocol-008-PtEdoTez.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  75. tezos-embedded-protocol-alpha.8.2 Tezos/Protocol: economic-protocol definition, embedded in `tezos-node`
  76. tezos-embedded-protocol-demo-counter.8.2 Tezos/Protocol: demo_counter (economic-protocol definition, embedded in `tezos-node`)
  77. tezos-embedded-protocol-demo-noops.8.2 Tezos/Protocol: demo_noops (economic-protocol definition, embedded in `tezos-node`)
  78. tezos-embedded-protocol-genesis.8.2 Tezos/Protocol: genesis (economic-protocol definition, embedded in `tezos-node`)
  79. tezos-embedded-protocol-genesis-carthagenet.8.2 Tezos/Protocol: genesis_carthagenet (economic-protocol definition, embedded in `tezos-node`)
  80. tezos-endorser-007-PsDELPH1.8.2 Tezos/Protocol: endorser binary
  81. tezos-endorser-008-PtEdo2Zk.8.2 Tezos/Protocol: endorser binary
  82. tezos-error-monad.8.2 Tezos: error monad
  83. tezos-event-logging.8.2 Tezos event logging library
  84. tezos-lmdb.7.4 Legacy Tezos OCaml binding to LMDB (Consider ocaml-lmdb instead)
  85. tezos-lwt-result-stdlib.8.2 Tezos: error-aware stdlib replacement
  86. tezos-micheline.8.2 Tezos: internal AST and parser for the Michelson language
  87. tezos-mockup.8.2 Tezos: library of auto-documented RPCs (mockup mode)
  88. tezos-mockup-commands.8.2 Tezos: library of auto-documented RPCs (commands)
  89. tezos-mockup-registration.8.2 Tezos: protocol registration for the mockup mode
  90. tezos-node.8.2 Tezos: `tezos-node` binary
  91. tezos-p2p.8.2 Tezos: library for a pool of P2P connections
  92. tezos-p2p-services.8.2 Tezos: descriptions of RPCs exported by `tezos-p2p`
  93. tezos-protocol-000-Ps9mPmXa.8.2 Tezos/Protocol: 000_Ps9mPmXa (economic-protocol definition, functor version)
  94. tezos-protocol-001-PtCJ7pwo.8.2 Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, functor version)
  95. tezos-protocol-002-PsYLVpVv.8.2 Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition, functor version)
  96. tezos-protocol-003-PsddFKi3.8.2 Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version)
  97. tezos-protocol-004-Pt24m4xi.8.2 Tezos/Protocol: economic-protocol definition
  98. tezos-protocol-005-PsBABY5H.8.2 Tezos/Protocol: economic-protocol definition
  99. tezos-protocol-005-PsBabyM1.8.2 Tezos/Protocol: economic-protocol definition
  100. tezos-protocol-006-PsCARTHA.8.2 Tezos/Protocol: economic-protocol definition
  101. tezos-protocol-006-PsCARTHA-parameters.8.2 Tezos/Protocol: parameters
  102. tezos-protocol-007-PsDELPH1.8.2 Tezos/Protocol: economic-protocol definition
  103. tezos-protocol-007-PsDELPH1-parameters.8.2 Tezos/Protocol: parameters
  104. tezos-protocol-008-PtEdo2Zk.8.2 Tezos/Protocol: economic-protocol definition
  105. tezos-protocol-008-PtEdo2Zk-parameters.8.2 Tezos/Protocol: parameters
  106. tezos-protocol-008-PtEdoTez.8.2 Tezos/Protocol: economic-protocol definition
  107. tezos-protocol-alpha.8.2 Tezos/Protocol: economic-protocol definition
  108. tezos-protocol-alpha-parameters.8.2 Tezos/Protocol: parameters
  109. tezos-protocol-compiler.8.2 Tezos: economic-protocol compiler
  110. tezos-protocol-demo-counter.8.2 Tezos/Protocol: demo_counter economic-protocol definition
  111. tezos-protocol-demo-noops.8.2 Tezos/Protocol: demo_noops economic-protocol definition
  112. tezos-protocol-environment.8.2 Tezos: custom economic-protocols environment implementation for `tezos-client` and testing
  113. tezos-protocol-environment-packer.8.2 Tezos: sigs/structs packer for economic protocol environment
  114. tezos-protocol-environment-sigs.8.2 Tezos: restricted typing environment for the economic protocols
  115. tezos-protocol-environment-structs.8.2 Tezos: restricted typing environment for the economic protocols
  116. tezos-protocol-genesis.8.2 Tezos/Protocol: genesis economic-protocol definition
  117. tezos-protocol-genesis-carthagenet.8.2 Tezos/Protocol: genesis_carthagenet economic-protocol definition
  118. tezos-protocol-plugin-007-PsDELPH1.8.2 Tezos/Protocol: protocol plugin
  119. tezos-protocol-plugin-007-PsDELPH1-registerer.8.2 Tezos/Protocol: protocol plugin registerer
  120. tezos-protocol-plugin-008-PtEdo2Zk.8.2 Tezos/Protocol: protocol plugin
  121. tezos-protocol-plugin-008-PtEdo2Zk-registerer.8.2 Tezos/Protocol: protocol plugin registerer
  122. tezos-protocol-updater.8.2 Tezos: economic-protocol dynamic loading for `tezos-node`
  123. tezos-requester.8.2 Tezos: generic resource fetching service
  124. tezos-rpc.8.2 Tezos: library of auto-documented RPCs (service and hierarchy descriptions)
  125. tezos-rpc-http.8.2 Tezos: library of auto-documented RPCs (http server and client)
  126. tezos-rpc-http-client.8.2 Tezos: library of auto-documented RPCs (http client)
  127. tezos-rpc-http-client-unix.8.2 Tezos: unix implementation of the RPC client
  128. tezos-rpc-http-server.8.2 Tezos: library of auto-documented RPCs (http server)
  129. tezos-rust-libs.1.0 Tezos: all rust dependencies and their dependencies
  130. tezos-sapling.8.2 OCaml library for the Sapling protocol, using librustzcash
  131. tezos-shell.8.2 Tezos: core of `tezos-node` (gossip, validation scheduling, mempool, ...)
  132. tezos-shell-context.8.2 Tezos: economic-protocols environment implementation for `tezos-node`
  133. tezos-shell-services.8.2 Tezos: descriptions of RPCs exported by `tezos-shell`
  134. tezos-signer.8.2 Tezos: `tezos-signer` binary
  135. tezos-signer-backends.8.2 Tezos: remote-signature backends for `tezos-client`
  136. tezos-signer-services.8.2 Tezos: descriptions of RPCs exported by `tezos-signer`
  137. tezos-stdlib.8.2 Tezos: yet-another local-extension of the OCaml standard library
  138. tezos-stdlib-unix.8.2 Tezos: yet-another local-extension of the OCaml standard library (unix-specific fragment)
  139. tezos-storage.8.2 Tezos: low-level key-value store for `tezos-node`
  140. tezos-test-services.8.2 Tezos: Alcotest-based test services
  141. tezos-validation.8.2 Tezos: library for blocks validation
  142. tezos-validator.8.2 Tezos: `tezos-validator` binary for external validation of blocks
  143. tezos-version.8.2 Tezos: version information generated from Git
  144. tezos-workers.8.2 Tezos: worker library
  145. tgls.0.8.5 Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
  146. theora.0.3.1 Bindings for the theora library to decode video files in theora format
  147. tidy.5.6-0.1 Bindings for libtidy5 -- HTML/XML syntax checker and reformatter
  148. time_now.v0.14.0 Reports the current time
  149. timed.1.0 Timed references for imperative state
  150. timezone.v0.14.0 Time-zone handling
  151. tiny_httpd.0.6 Minimal HTTP server using good old threads
  152. tiny_httpd_camlzip.0.6 Interface to camlzip for tiny_httpd
  153. tip-parser.0.6 Parser for https://tip-org.github.io/format.html
  154. tjr_simple_earley.2017-11-14e An implementation of an Earley-like algorithm, designed for simplicity.
  155. tldr.0.3.0 An ocaml tldr client
  156. tls.0.11.1 Transport Layer Security purely in OCaml
  157. tls-mirage.0.11.1 Transport Layer Security purely in OCaml, MirageOS layer
  158. toml.5.0.0 TOML parser.
  159. toml-cconv.5.0.0 Interface between cconv and toml
  160. tophide.1.0.4 Hides toplevel values whose name starts with an underscore
  161. topkg.1.0.3 The transitory OCaml software packager
  162. topkg-care.1.0.3 The transitory OCaml software packager
  163. topkg-jbuilder.0.2.0 Helpers for using topkg with jbuilder
  164. toplevel_backend.v0.14.0 Shared backend for setting up toplevels
  165. toplevel_expect_test.v0.14.1 Expectation tests for the OCaml toplevel
  166. topological_sort.v0.14.0 Topological sort algorithm
  167. torch.0.12 PyTorch bindings for OCaml
  168. touist.3.5.0 The solver for the Touist language
  169. tptp.0.3.2 Library for reading and writing FOF and CNF formulas in TPTP format
  170. traverse.0.2.0 Traversable data structures with applicative functors
  171. travesty.0.7.0 Traversable containers, monad extensions, and more
  172. travis-opam.1.5.0 Scripts for OCaml projects
  173. tree_layout.0.2 Algorithms to layout trees in a pretty manner
  174. treeprint.2.2.0 Small tree structure printer with operator associations and precedences
  175. trie.1.0.0 Strict impure trie tree
  176. tsdl.0.9.8 Thin bindings to SDL for OCaml
  177. tsdl-image.0.1.2 SDL2_Image bindings to go with Tsdl
  178. tsdl-ttf.0.2 SDL2_ttf bindings to go with Tsdl
  179. tsort.2.0.0 Easy to use and user-friendly topological sort
  180. tuareg.2.2.0 OCaml mode for GNU Emacs and XEmacs.
  181. tube.4.4.0 Typesafe abstraction on top of Lwt_io channels
  182. tuntap.2.0.0 OCaml library for handling TUN/TAP devices
  183. type_conv.113.00.02 Library for building type-driven syntax extensions
  184. typerep.v0.14.0 Typerep is a library for runtime types
  185. typerex-binutils.1.0 Libraries and tools to work with object files
  186. tyre.0.5 Typed Regular Expressions
  187. tyxml.4.4.0 TyXML is a library for building correct HTML and SVG documents
  188. tyxml-jsx.4.4.0 JSX syntax to write TyXML documents
  189. tyxml-lwd.0.1 Hello
  190. tyxml-ppx.4.4.0 PPX that allows to write TyXML documents with the HTML syntax
  191. tyxml-syntax.4.4.0 Common layer for the JSX and PPX syntaxes for Tyxml


  1. ubase.0.04 Remove diacritics from latin utf8 strings
  2. ubpf.0.1 OCaml bindings for userspace eBPF VM
  3. uchar.0.0.2 Compatibility library for OCaml's Uchar module
  4. uecc.0.3 Bindings for ECDH and ECDSA for 8-bit, 32-bit, and 64-bit processors
  5. uint.2.0.1 Deprecated: An unsigned integer library
  6. ulex.1.2 lexer generator for Unicode and OCaml
  7. ulid.0.1 ULIDs for OCaml
  8. unionFind.20200320 Implementations of the union-find data structure
  9. unix-errno.0.5.2 Unix errno types, maps, and support
  10. unix-sys-resource.0.1.2 Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)
  11. unix-time.0.1.0 Unix time.h types, maps, and support
  12. unix-type-representations.0.1.1 Functions that expose the underlying types of some abstract types in the Unix module.
  13. unmagic.1.0.4 Runtime tag-checking of marshaled ocaml data
  14. unstrctrd.0.2 Unstructured parser
  15. uri.4.1.0 An RFC3986 URI/URL parsing library
  16. uri-re.4.1.0 An RFC3986 URI/URL parsing library
  17. uri-sexp.4.1.0 An RFC3986 URI/URL parsing library
  18. uritemplate.0.2.0 OCaml implementation of URI templates (RFC6570)
  19. user-agent-parser.0.2.0 OCaml implementation of the user agent parse rules of uap-core
  20. user-setup.0.7 Helper for the configuration of editors for the use of OCaml tools
  21. utop.2.7.0 Universal toplevel for OCaml
  22. uucd.13.0.0 Unicode character database decoder for OCaml
  23. uucp.13.0.0 Unicode character properties for OCaml
  24. uuidm.0.9.7 Universally unique identifiers (UUIDs) for OCaml
  25. uunf.13.0.0 Unicode text normalization for OCaml
  26. uuseg.13.0.0 Unicode text segmentation for OCaml
  27. uutf.1.0.2 Non-blocking streaming Unicode codec for OCaml
  28. uuuu.0.2.0 Mapper of ISO-8859-* to Unicode
  29. uwt.0.3.3 libuv bindings


  1. variantslib.v0.14.0 Part of Jane Street's Core library
  2. vcaml.v0.14.0 OCaml bindings for the Neovim API
  3. vcardgen.1.2 Simple OCaml library for generating VCards per RFC-6350
  4. vchan.6.0.0 Xen Vchan implementation
  5. vchan-unix.6.0.0 Xen Vchan implementation
  6. vec.0.1.0 Fast, safe mutable dynamic arrays
  7. vecosek-engine.0.0.0
  8. vecosek-scene.0.0.0
  9. vector3.0.2.1 module for 3D vectors (implemented as records of x, y and z floats)
  10. vg.0.9.4 Declarative 2D vector graphics for OCaml
  11. vhd-format.0.12.0 Pure OCaml library to read/write VHD format data
  12. virtual_dom.v0.14.0 OCaml bindings for the virtual-dom library
  13. visitors.20200210 An OCaml syntax extension for generating visitor classes
  14. volt.1.4 Volt is a variant of Bolt OCaml Logging Tool
  15. voqc.0.2.0 A verified optimizer for quantum circuits (VOQC)
  16. vorbis.0.7.1 Bindings to libvorbis
  17. vue-jsoo.0.2 Binding of Vue_js


  1. wall.0.4.1 Realtime Vector Graphics with OpenGL
  2. wamp.1.2 Web Application Messaging Protocol (WAMP) library — Core library
  3. wamp-msgpck.1.2 Web Application Messaging Protocol (WAMP) library — Msgpck support
  4. wamp-yojson.1.2 Web Application Messaging Protocol (WAMP) library — Yojson support
  5. wasmtime.0.0.3 Wasmtime bindings for OCaml
  6. wcs.2017-05-26.05 Command line interface for Watson Conversation Service
  7. wcs-lib.2017-05-26.05 SDK for Watson Conversation Service
  8. webbrowser.0.6.1 Open and reload URIs in browsers from OCaml
  9. weberizer.0.8 Compile HTML templates into OCaml modules
  10. webidl.1.4 Web IDL parser
  11. webmachine.0.7.0 A REST toolkit for OCaml
  12. websocket.2.14 Websocket library
  13. websocket-async.2.14 Websocket library (Async)
  14. websocket-lwt-unix.2.14 Websocket library (Lwt)
  15. websocketml.0.1.1 A simple websocket library for OCaml with no dependency
  16. webtest.2.0.0 An in-browser js_of_ocaml testing framework - core library
  17. webtest-js.2.0.0 An in-browser js_of_ocaml testing framework - js_of_ocaml integration
  18. why3.1.3.3 Why3 environment for deductive program verification
  19. why3-coq.1.3.3 Why3 environment for deductive program verification
  20. why3-ide.1.3.3 Why3 environment for deductive program verification
  21. win-error.1.0 Manipulate Windows system errors
  22. win-eventlog.0.3 Log via the Windows event log from OCaml programs
  23. ws-server.0.1 WebSocket server


  1. x509.0.11.2 Public Key Infrastructure (RFC 5280, PKCS) purely in OCaml
  2. xapi-backtrace.0.7 A simple library for recording and managing backtraces
  3. xapi-inventory.1.2.1 Library for accessing the xapi toolstack inventory file
  4. xapi-rrd.1.8.2 RRD library for use with xapi
  5. xapi-stdext-pervasives.4.16.0 A deprecated collection of utility functions - Pervasives extension
  6. xapi-stdext-std.4.16.0 A deprecated collection of utility functions - Standard library extensions
  7. xapi-stdext-threads.4.16.0 A deprecated collection of utility functions - Threads extensions and Semaphore
  8. xapi-stdext-unix.4.16.0 A deprecated collection of utility functions - Unix module extensions
  9. xen-evtchn.2.1.0 Xen event channel interface for MirageOS
  10. xen-evtchn-unix.2.1.0 Xen event channel interface for Linux
  11. xen-gnt.4.0.0 Xen grant table bindings for OCaml
  12. xen-gnt-unix.4.0.0 Xen grant table bindings for OCaml
  13. xenstore.2.1.1 Xenstore protocol in pure OCaml
  14. xenstore_transport.1.3.0 Low-level libraries for connecting to a xenstore service on a xen host
  15. xml-light.2.4 Xml-Light is a minimal XML parser & printer for OCaml
  16. xmlm.1.3.0 Streaming XML codec for OCaml
  17. xmlplaylist.0.1.5 Library to parse various file playlists in XML format
  18. xtmpl.0.10 Small XML templating library.


  1. yajl.0.7.3 bindings to the YAJL streaming JSON library
  2. yaml.2.1.0 Parse and generate YAML 1.1 files
  3. yices2.0.0.3 Yices2 SMT solver binding
  4. yices2_bindings.0.1 Ocaml bindings for yices2
  5. yojson.1.7.0 Yojson is an optimized parsing and printing library for the JSON format
  6. yurt.0.6 An HTTP framework for OCaml
  7. yuscii.0.3.0 Mapper of UTF-7 to Unicode
  8. yuujinchou.0.10.0 Name pattern combinators


  1. z3.4.8.9 Z3 solver
  2. zarith.1.11 Implements arithmetic and logical operations over arbitrary-precision integers
  3. zarith-freestanding.1.11 Implements arithmetic and logical operations over arbitrary-precision integers
  4. zarith-ppx.0.1 Literals for Zarith's arbitrary-precision integers and rationals
  5. zarith_stubs_js.v0.14.0 Javascripts stubs for the Zarith library
  6. zed.3.1.0 Abstract engine for text edition in OCaml
  7. zeit.0.1.0
  8. zelus.2.1 A synchronous language with ODEs
  9. zelus-gtk.2.1 Zelus GTK library
  10. zenon.0.8.5 An Extensible Automated Theorem Prover Producing Checkable Proofs
  11. zipperposition.1.6 A fully automatic theorem prover for typed higher-order and beyond
  12. zipperposition-tools.1.6 Support tools for Zipperposition
  13. zmq.5.1.3 OCaml bindings for ZeroMQ 4.x
  14. zmq-async.5.1.3 Async aware bindings to zmq
  15. zmq-lwt.5.1.3 Lwt aware bindings to zmq
  16. zstandard.v0.14.0 OCaml bindings to Zstandard
  17. zstd.0.2 Bindings to zstd compression library
  18. zxcvbn.2.4+1 Bindings for the zxcvbn password strength estimation library