| 0install | 2.17 | Decentralised installation system |
| 0install-gtk | 2.17 | Decentralised installation system - GTK UI |
| 0install-solver | 2.17 | Package dependency solver |
| aacplus | 0.2.2 | Bindings for the aacplus library which provides functions for decoding AAC audio files |
| abella | 2.0.6 | Interactive theorem prover based on lambda-tree syntax |
| abt | 0.0.3 | OCaml port of CMU's abstract binding trees. |
| accessor | v0.14.1 | A library that makes it nicer to work with nested functional data structures |
| accessor_async | v0.14.1 | Accessors for Async types, for use with the Accessor library |
| accessor_base | v0.14.1 | Accessors for Base types, for use with the Accessor library |
| accessor_core | v0.14.1 | Accessors for Core types, for use with the Accessor library |
| acgtk | 1.5.1 | Abstract Categorial Grammar development toolkit |
| acme | 0.1 | A library to interact with the acme text editor. |
| acpc | 1.2.3 | Chemoinformatics tool for ligand-based virtual screening |
| aez | 0.3 | Alt-Ergo Zero is an OCaml library for an SMT solver. |
| afl | 2.52b | American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam. |
| afl-persistent | 1.3 | Use afl-fuzz in persistent mode |
| ago | 0.4 | ago(1) - compute the number of days between two calendar dates |
| agrep | 1.0 | String searching with errors |
| ahrocksdb | 0.2.2 | A binding to RocksDB |
| aifad | 2.2.2 | AIFAD - Automated Induction of Functions over Algebraic Datatypes |
| aio | 0.0.3 | Linux kernel AIO access library for ocamlorg:mirage org:xapi-project |
| alba | 0.4.2 | Alba compiler |
| alberto | 0.4 | OCaml interface to Erlang ports |
| alcotest | 1.1.0 | Alcotest is a lightweight and colourful test framework |
| alcotest-async | 1.1.0 | Async-based helpers for Alcotest |
| alcotest-lwt | 1.1.0 | Lwt-based helpers for Alcotest |
| alg_structs | 0.1.3 | Interfaces and module combinators for algebraic structures |
| alg_structs_qcheck | 0.1.3 | Provides qCheck generators for laws of alg_structs |
| aliases | 0.0.5 | In memory indexes |
| alphaCaml | 20061214 | Turns a so-called "binding specification" into an OCaml compilation unit |
| alsa | 0.2.3 | Bindings for the ALSA library which provides functions for using soundcards |
| alt-ergo | 2.3.2 | The Alt-Ergo SMT prover |
| alt-ergo-free | 2.2.0 | Alt-Ergo, an SMT Solver for Software Verification |
| alt-ergo-lib | 2.3.2 | The Alt-Ergo SMT prover library |
| alt-ergo-parsers | 2.3.2 | The Alt-Ergo SMT prover parser library |
| altgr-ergo | 2.3.2 | The Alt-Ergo SMT prover (graphical interface) |
| amf | 0.1.2 | Parser/serializer for Adobe's Action Message Format |
| amqp-client | 2.2.2 | Amqp client base library |
| amqp-client-async | 2.2.2 | Amqp client library, async version |
| amqp-client-lwt | 2.2.2 | Amqp client library, lwt version |
| ancient | 0.9.1 | Use data structures larger than available memory |
| angstrom | 0.14.1 | Parser combinators built for speed and memory-efficiency |
| angstrom-async | 0.14.1 | Async support for Angstrom |
| angstrom-lwt-unix | 0.14.1 | Lwt_unix support for Angstrom |
| angstrom-unix | 0.14.1 | Unix support for Angstrom |
| annexlib | 0.13.5 | An extension to the standard library |
| annot | 1.1.0 | annotation parser for external editors and IDEsorg:ocamllabs |
| ansi-parse | 0.3.0 | Escape sequences to HTML |
| ansicolor | 0.5 | Simple ANSI terminal color library (deprecated in favor of ANSITerminal). |
| ANSITerminal | 0.8.2 | Basic control of ANSI compliant terminals and the windows shellterminal |
| anthill | 0.1 | Word search library and utility |
| anycache | 0.7.4 | Scan-resistant LRU/2Q cache |
| anycache-async | 0.7.4 | Scan-resistant LRU/2Q cache |
| anycache-lwt | 0.7.4 | Scan-resistant LRU/2Q cache |
| ao | 0.2.1 | Bindings for the AO library which provides high-level functions for using soundcards |
| apalogretrieve | 0.9.6-4 | Retrieve data from an Apache logfile with a syntax derived from the SQL language. |
| aperf | 0.1.2 | OCaml tools for loop perforation |
| apero-core | 0.4.7 | OCaml Utility Library |
| apero-net | 0.4.7 | OCaml Networking Library |
| apero-time | 0.4.7 | OCaml Time Stamping Library |
| apron | v0.9.12 | APRON numerical abstract domain library |
| arakoon | 1.9.17 | A distributed key-value store that guarantees consistency above anything else. |
| archetype | 0.1.14 | Archetype language compiler |
| archi | 0.1.0 | A library for managing the lifecycle of stateful components in OCaml |
| archi-async | 0.1.0 | Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml |
| archi-lwt | 0.1.0 | Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml |
| archimedes | 0.4.19 | Extensible 2D plotting library |
| archsat | 1.1 | A first-order theorem prover with formal proof outputsat smt solver theorem prover tptp logic smtlib dimacs |
| argon2 | 1.0.1 | OCaml bindings to Argon2 |
| argot | 1.1 | An enhanced HTML generator for the ocamldoc tool of the OCaml language. |
| arp | 2.2.1 | Address Resolution Protocol purely in OCaml |
| arp-mirage | 2.2.1 | Address Resolution Protocol for MirageOS |
| asak | 0.2 | Partitioning OCaml codes |
| ascii85 | 0.4 | ascii85 - Adobe's Ascii85 encoding as a module and a command line tool |
| asetmap | 0.8.1 | Alternative, compatible, OCaml standard library Sets and Mapsorg:erratique set map stdlib |
| asl | 0.11 | Bindings for the Apple System Log API |
| asli | 0.2.0 | Interpreter for Arm's Architecture Specification Language (ASL) |
| asn1-combinators | 0.2.2 | Embed typed ASN.1 grammars in OCaml |
| assertions | 0.1 | Basic assert statements |
| assimp | 0.3 | OCaml bindings to Assimp, Open Asset Import Library |
| astring | 0.8.3 | Alternative String module for OCamlstring org:erratique |
| async | v0.14.0 | Monadic concurrency library |
| async-mvar | 0.1.0 | Async-mvar is a port of Lwt's Lwt_mvar |
| async-uri | 0.2 | Open Async (TLS) TCP connections with Uri.t |
| async-zmq | 0.3.0 | Async wrapper for OCaml's zeromq bindings |
| async_core | 109.55.02 | Monadic concurrency library |
| async_durable | v0.14.0 | Durable connections for use with async |
| async_extended | v0.11.0 | Additional utilities for async |
| async_extra | v0.14.0 | Monadic concurrency library |
| async_find | v0.14.0 | Directory traversal with Async |
| async_graphics | 0.7.0 | Async wrapper for the OCaml Graphics libraryasync graphics |
| async_inotify | v0.14.0 | Async wrapper for inotify |
| async_interactive | v0.14.0 | Utilities for building simple command-line based user interfaces |
| async_js | v0.14.0 | A small library that provide Async support for JavaScript platforms |
| async_kernel | v0.14.0 | Monadic concurrency library |
| async_parallel | v0.11.0 | Distributed computing library |
| async_rpc_kernel | v0.14.0 | Platform-independent core of Async RPC library |
| async_sendfile | v0.14.0 | Thin wrapper around [Linux_ext.sendfile] to send full files |
| async_shell | v0.14.0 | Shell helpers for Async |
| async_smtp | v0.14.0 | SMTP client and server |
| async_ssl | v0.14.0 | An Async-pipe-based interface with OpenSSL |
| async_udp | v0.14.0 | Monadic concurrency library |
| async_unix | v0.14.0 | Monadic concurrency library |
| async_websocket | v0.14.0 | A library that implements the websocket protocol on top of Async |
| atd | 2.2.1 | Parser for the ATD data format description language |
| atd2cconv | 0.0.0 | Convert ATD definitions to OCaml code that uses the CConv 0.1 library |
| atdgen | 2.2.1 | Generates efficient JSON serializers, deserializers and validators |
| atdgen-codec-runtime | 2.2.1 | Runtime for atdgen generated bucklescript converters |
| atdgen-runtime | 2.2.1 | Runtime library for code generated by atdgen |
| atdj | 20151001.01.2 | Java code generation for ATD. |
| atds | 2.2.1 | ATD Code generator for Scala |
| augeas | 0.6 | Bindings to the Augeas configuration editing tool |
| avroc | 0.0.1 | Read and write Apache Avro files |
| aws | 1.0.2 | Amazon Web Services SDK |
| aws-autoscaling | 0.1.0 | Auto Scaling |
| aws-cloudformation | 0.1.0 | AWS CloudFormation |
| aws-cloudtrail | 0.1.0 | AWS CloudTrail |
| aws-ec2 | 0.1.0 | Amazon Elastic Compute Cloud |
| aws-elasticloadbalancing | 0.1.0 | Elastic Load Balancing |
| aws-s3 | 4.5.1 | Ocaml library for accessing Amazon S3 |
| aws-s3-async | 4.5.1 | Ocaml library for accessing Amazon S3 - Async version |
| aws-s3-lwt | 4.5.1 | Ocaml library for accessing Amazon S3 - Lwt version |
| aws-sdb | 0.1.0 | Amazon SimpleDB |
| aws-ssm | 0.1.0 | Amazon Simple Systems Management Service |
| aws-sts | 0.1.0 | AWS Security Token Service |
| azblob | 0.1.0 | A trivial Azure Blob Storage interface for OCaml |
| azblob-async | 0.1.0 | A trivial Azure Blob Storage interface for OCaml |
| azure-cosmos-db | 0.1.3 | Azure cosmos db interface |
| b0 | 0.0.1 | Software construction and deployment kitdev org:erratique org:b0-system build |
| baardskeerder | 0.5.2 | Baardskeerder is an append-only B-ish tree. |
| balancer | 1.0 | A collection of load balancing algorithms implemented in pure Ocamlnetworking load balancing scalability |
| bamboo | 0.0.03 | A compiler targeting Ethereum Virtual Machine |
| bap | 2.1.0 | Binary Analysis Platform |
| bap-abi | 2.1.0 | BAP ABI integration subsystem |
| bap-api | 2.1.0 | A pass that adds parameters to subroutines based on known API |
| bap-arm | 2.1.0 | BAP ARM lifter and disassembler |
| bap-beagle | 2.1.0 | BAP obfuscated string solver |
| bap-bil | 2.1.0 | Controls the BIL transformation pipeline |
| bap-build | 2.1.0 | BAP build automation tools |
| bap-bundle | 2.1.0 | BAP bundler |
| bap-byteweight | 2.1.0 | BAP facility for indentifying code entry points |
| bap-byteweight-frontend | 2.1.0 | BAP Toolkit for training and controlling Byteweight algorithm |
| bap-c | 2.1.0 | A C language support library for BAP |
| bap-cache | 2.1.0 | BAP caching service |
| bap-callsites | 2.1.0 | Inject data definition terms at callsites |
| bap-constant-tracker | 2.1.0 | Constant Tracking Analysis based on Primus |
| bap-core-theory | 2.1.0 | BAP Semantics Representation |
| bap-cxxfilt | 2.1.0 | A demangler that relies on a c++filt utility |
| bap-dead-code-elimination | 1.4.0 | A BAP plugin that removes dead IR code |
| bap-demangle | 2.1.0 | Library for name demangling |
| bap-disassemble | 2.1.0 | Implements the disassembler command |
| bap-dump-symbols | 2.1.0 | BAP plugin that dumps symbols information from a binary |
| bap-dwarf | 2.1.0 | BAP DWARF parsing library |
| bap-elementary | 2.1.0 | BAP floating point approximations of elementary functions |
| bap-elf | 2.1.0 | BAP ELF parser and loader written in native OCaml |
| bap-emacs-dot | 0.1 | Will automatically detect graph specifications in a dot syntax and display them using overlaying |
| bap-emacs-goodies | 0.1 | A collection of useful Emacs tools for BAP |
| bap-emacs-mode | 0.1 | Emacs major mode for reading and analyzing programs in BAP's IR |
| bap-frames | 2.1.2 | A data format for storing execution traces |
| bap-frontc | 2.1.0 | A C language frontend for based on FrontC library |
| bap-frontend | 2.1.0 | BAP frontend |
| bap-fsi-benchmark | 1.6.0 | BAP function start identification benchmark game |
| bap-future | 2.1.0 | A library for asynchronous values |
| bap-glibc-runtime | 2.1.0 | Adds support for the glibc runtime |
| bap-ida | 2.1.0 | An IDA Pro integration library |
| bap-ida-plugin | 2.1.0 | Plugins for IDA and BAP integration |
| bap-ida-python | 2.1.0 | A BAP - IDA Pro integration library |
| bap-knowledge | 2.1.0 | Knowledge Representation Library |
| bap-llvm | 2.1.0 | BAP LLVM backend |
| bap-main | 2.1.0 | Build BAP Main Framework Configuration Library |
| bap-mc | 2.1.0 | BAP machine instruction playground |
| bap-microx | 2.1.0 | A micro execution framework |
| bap-mips | 2.1.0 | BAP MIPS lifter |
| bap-objdump | 2.1.0 | Extract symbols from binary, using binutils objdump |
| bap-optimization | 2.1.0 | A BAP plugin that removes dead IR code |
| bap-phoenix | 2.1.0 | BAP plugin that dumps information in a phoenix decompiler format |
| bap-piqi | 2.1.0 | BAP plugin for serialization based on piqi library |
| bap-plugins | 2.1.0 | BAP plugins support library |
| bap-powerpc | 2.1.0 | BAP PowerPC lifter |
| bap-primus | 2.1.0 | The BAP Microexecution Framework |
| bap-primus-dictionary | 2.1.0 | BAP Primus Lisp library that provides dictionaries |
| bap-primus-lisp | 2.1.0 | BAP Primus Lisp Runtime |
| bap-primus-powerpc | 2.1.0 | Performs the PowerPC target specific setup |
| bap-primus-random | 2.1.0 | Provides components for Primus state randomization |
| bap-primus-region | 2.1.0 | Provides a set of operations to store and manipulate interval trees |
| bap-primus-support | 2.1.0 | Provides supporting components for Primus |
| bap-primus-symbolic-executor | 2.1.0 | Primus Symbolic Executor |
| bap-primus-systems | 2.1.0 | Loads Primus systems and registers them in the system repository |
| bap-primus-test | 2.1.0 | BAP Primus Testing and Program Verification module |
| bap-primus-x86 | 2.1.0 | The x86 CPU support package for BAP Primus CPU emulator |
| bap-print | 2.1.0 | Print plugin - print project in various formats |
| bap-raw | 2.1.0 | Provides a loader for raw binaries |
| bap-recipe | 2.1.0 | Stores command line parameters and resources in a single file |
| bap-recipe-command | 2.1.0 | Provides commands to manipulate the recipe subsystem |
| bap-relocatable | 2.1.0 | Provides a brancher service for BAP that handles certain relocations |
| bap-report | 2.1.0 | A BAP plugin that reports program status |
| bap-run | 2.1.0 | A BAP plugin that executes a binary |
| bap-saluki | bap-1.6 | A verification framework for detecting vulnerability patterns in binaries |
| bap-server | 0.3.0 | BAP RPC server |
| bap-signatures | 2.1.0 | A data package with binary signatures for bap |
| bap-ssa | 2.1.0 | A BAP plugin, that translates a program into the SSA form |
| bap-std | 2.1.0 | The Binary Analysis Platform Standard Library |
| bap-strings | 2.1.0 | Text utilities useful in Binary Analysis and Reverse Engineering |
| bap-stub-resolver | 2.1.0 | Substitutes calls to stubs with calls to real functions |
| bap-symbol-reader | 2.1.0 | BAP plugin that reads symbol information from files |
| bap-taint | 2.1.0 | BAP Taint Analysis Framework |
| bap-taint-propagator | 2.1.0 | BAP Taint propagation engine using based on microexecution |
| bap-term-mapper | 2.1.0 | A BAP DSL for mapping program terms |
| bap-trace | 2.1.0 | A plugin to load and run program execution traces |
| bap-traces | 2.1.0 | BAP Library for loading and parsing execution traces |
| bap-trivial-condition-form | 2.1.0 | Eliminates complex conditionals in branches |
| bap-veri | 0.2.5 | BAP Instruction Semantics Verification Tool |
| bap-warn-unused | 2.1.0 | Emit a warning if an unused result may cause a bug or security issue |
| bap-x86 | 2.1.0 | BAP x86 lifter |
| bare | 2.1.0 | BAP Rule Engine Library |
| bark | 0.1.4 | Unofficial OCaml port of elm/parser (v1.1.0) |
| base | v0.14.0 | Full standard library replacement for OCaml |
| base-bigarray | base | |
| base-bytes | base | Bytes library distributed with the OCaml compiler |
| base-implicits | base | Dummy base package for compilers with modular implicits support. |
| base-metaocaml-ocamlfind | base | Findlib toolchain configuration for MetaOCaml |
| base-native-int63 | 0.1 | Virtual package for enabling native int63 support in Base |
| base-no-ppx | base | A pseudo-library to indicate lack of extension points support |
| base-num | base | Num library distributed with the OCaml compiler |
| base-ocamlbuild | base | OCamlbuild binary and libraries distributed with the OCaml compiler |
| base-threads | base | |
| base-unix | base | |
| base-unsafe-string | base | A pseudo-library to indicate OCaml versions that equate 'string' and 'bytes' (by default) |
| base58 | 0.1.2 | Base58 encoding and decoding |
| base64 | 3.4.0 | Base64 encoding for OCaml |
| base_bigstring | v0.14.0 | String type based on [Bigarray], for use in I/O and C-bindings |
| base_quickcheck | v0.14.0 | Randomized testing framework, designed for compatibility with Base |
| bastet | 1.2.5 | A ReasonML/OCaml library for category theory and abstract algebracategory theory abstract algebra algebra cats |
| bastet_async | 0.1.0 | Async implementations for bastetcategory theory abstract algebra algebra cats async |
| bastet_lwt | 0.1.0 | Lwt implementations for bastetcategory theory abstract algebra algebra cats lwt |
| batch_jaro_winkler | 0.1.0 | Fast batch jaro winkler distance implementation in C99 |
| batsat | 0.4 | OCaml bindings for batsat, a SAT solver in rustminisat solver SAT |
| batsh | 0.0.6 | A (C-like syntax) programming language that compiles to Bash and Windows Batch. |
| batteries | 3.0.0 | A community-maintained standard library extension |
| bau | 0.0.4 | Bigarray utilities |
| bdd | 0.3 | Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml |
| bddapron | 2.3.3 | Logico-numerical domain(s) based on BDDs and APRON |
| bear | 0.0.1 | Bare essential additions to the stdlib |
| bech32 | 0.1 | Bech32 addresses for OCaml (see
https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)bitcoin |
| beluga | 0.8.2 | A Language for programming and reasoning using Higher-Order Abstract Syntax |
| bench | 1.3 | A benchmarking tool for statistically valid benchmarks |
| benchmark | 1.6 | Benchmark running times of codebenchmark |
| bencode | 2.0 | Bencode (`.torrent` file format) reader/writer in OCaml |
| bes | 0.9.4.2 | boolean expression simplifier |
| BetterErrors | 0.0.1 | Better compiler error output.syntax |
| bheap | 1.0.0 | Binary heap implementation |
| bibtex2html | 1.99 | BibTeX to HTML translator |
| bigarray-compat | 1.0.0 | Compatibility library to use Stdlib.Bigarray when possible |
| bigarray-overlap | 0.2.0 | Bigarray.overlap |
| bigbro | 2.0.4-rev3 | Management tool for hypertext (HTML) documents |
| bignum | v0.14.0 | Core-flavoured wrapper around zarith's arbitrary-precision rationals |
| bigstring | 0.3 | A set of utils for dealing with `bigarrays` of `char`bigstring bigarray |
| bigstring-unix | 0.3 | I/O functions for bigstrings using file descriptors and memory-mapsbigstring bigarray |
| bigstringaf | 0.6.1 | Bigstring intrinsics and fast blits based on memcpy/memmove |
| bimage | 0.2.1 | A simple, efficient image-processing libraryimage processing |
| bimage-gtk | 0.2.1 | Bimage_gtk allows images to be displayed in GTK windowsimage processing gtk |
| bimage-sdl | 0.2.1 | Bimage_gtk allows images to be displayed using SDLimage processing sdl |
| bimage-unix | 0.2.1 | Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_imageimage processing |
| bin_prot | v0.14.0 | A binary protocol generator |
| binbin | 0.01 | Convenient and human-readable bitmap manipulation. |
| bindlib | 5.0.1 | OCaml Bindlib library for bound variables |
| biniou | 1.2.1 | Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve |
| binsec | 0.3 | Semantic analysis of binary executablesbinary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly |
| biocaml | 0.10.1 | The OCaml Bioinformatics Library |
| bip32 | 0.2 | Hierarchical Deterministic Wallets |
| bisect | 1.3.1 | Code coverage tool for the OCaml language (deprecated) |
| bisect-summary | 0.3 | bisect-summary - simple analysis of coverage data created by bisect-ppx |
| bisect_ppx | 2.4.1 | Code coverage for OCaml |
| bisect_ppx-ocamlbuild | 1.0.1 | Ocamlbuild plugin for Bisect_ppx, the coverage tool |
| bistro | 0.5.0 | A library to build and run distributed scientific workflows |
| bitcoin | 2.0 | Library offering an OCaml interface to the official Bitcoin client API |
| bitcoinml | 0.4.1 | Bitcoin data-structures library for OCaml |
| bitlib | 1.0 | A library for writing binary files |
| bitmasks | 1.1.0 | BitMasks over int and int64 exposed as sets |
| bitstring | 3.1.1 | bitstrings and bitstring matching for OCaml |
| bitv | 1.3 | A bit vector library |
| bitvec | 2.1.0 | Fixed-size bitvectors and modular arithmetic, based on Zarith |
| bitvec-binprot | 2.1.0 | Janestreet's Binprot serialization for Bitvec |
| bitvec-order | 2.1.0 | Base style comparators and orders for Bitvec |
| bitvec-sexp | 2.1.0 | Sexp serializers for Bitvec |
| bjack | 0.1.5 | Bindings for the Jack library which provides functions for linking audio programs |
| blahcaml | 2.1 | Blahcaml provides basic OCaml bindings to the Blahtex library. |
| blake2 | 0.3 | Blake2 cryptography |
| bloomf | 0.1.0 | Efficient Bloom filters for OCaml |
| bn128 | 0.1.3 | Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML |
| bnfgen | 2.0 | Random text generator that takes context-free grammars from BNF files |
| bogue | 20190920 | GUI library for ocaml, with animations, based on SDL2 |
| bolt | 1.4 | Bolt is an OCaml Logging Tool |
| bonsai | v0.14.0 | A library for building dynamic webapps, using Js_of_ocaml |
| bookaml | 4.0 | Library for retrieving information about published books |
| boomerang | 1.1.0 | The Boomerang Language |
| bos | 0.2.0 | Basic OS interaction for OCamlos system cli command file path log unix org:erratique |
| bpf | 0.2 | Embedded eBPF assemblerorg:ygrek |
| bracetax | 0.4 | Simple and deterministic text processing syntax |
| broken | 0.4.2 | The Broken package is a simple testsuite framework.test unit application |
| brotli | 2.0.3 | Bindings to Google's Brotli compresion algorithmclib:stdc clib:brotli |
| brozip | 1.1 | CLI to concurrently compress, decompress files using the Brotli algorithm |
| bsbnative | 1.9.4 | bsb-native is BuckleScript's bsb but for ocamlc and ocamloptocaml bucklescript stdlib functional programming |
| bsdowl | 3.0.0-20150830 | This collection of BSD Make directives aims at providing a highlybsd bmake build |
| bson | 0.89.3 | A bson data structure, including encoding/decoding |
| bson2 | 0.0.1 | Bson format encoding/decoding for Ocaml |
| bst | 7.0.0 | Bisector tree implementation in OCaml |
| bt | 0.2 | BitTorrent library and client using Lwt |
| buffer-pool | 0.2 | A pool of buffers which automatically increases in size as required |
| build_path_prefix_map | 0.2 | An OCaml implementation of the BUILD_PATH_PREFIX_MAP specification |
| bulletml | 0.2.0 | Library to manipulate shmup patterns |
| bun | 0.3.3 | Simple management of afl-fuzz processes |
| bwrap | 0.1 | Use Bubblewrap to sandbox executablessandbox bubblewrap |
| bytearray | 1.0.1 | Efficient marshaling to and from bigarrays |
| bytepdf | 0.1 | Tool to create PDFs that are also OCaml bytecodes |
| c3 | 0.4.0 | OCaml bindings for the Javascript c3 charting library. |
| cache | 1.0 | Implements a caching service for storing arbitrary strings that can be located by string keys |
| cairo | 1.2.0 | Binding to Cairo, a 2D Vector Graphics Library |
| cairo2 | 0.6.1 | Binding to Cairo, a 2D Vector Graphics LibraryCairo stroke drawing tutorial |
| cairo2-gtk | 0.6.1 | Rendering Cairo on Gtk2 canvasCairo stroke drawing tutorial |
| cairo2-pango | 0.6.1 | Interface between Cairo and Pango (for Gtk2)Cairo stroke drawing tutorial |
| calculon | 0.6 | Library for writing IRC bots in OCaml and a collection of pluginsirc bot factoids |
| calculon-redis | 0.6 | A redis plugin for Calculonirc bot redis |
| calculon-redis-lib | 0.6 | A library to interact with Calculon via Redisirc bot redis |
| calculon-web | 0.6 | A collection of web plugins for Calculonirc bot factoids |
| calendar | 2.04 | Library for handling dates and times in your program |
| calendars | 1.0.0 | Convert dates between gregorian/julian/french/hebrew calendars |
| callipyge | 0.2 | Pure OCaml implementation of Curve25519. |
| camelot | 1.4.2 | An OCaml Linter / Style Checker |
| camels | 0.0.4 | A game about camelsgame |
| camelsnakekebab | 0.4 | A Ocaml library for word case conversion |
| caml-mode | 4.06 | OCaml code editing commands for Emacs |
| caml2html | 1.4.4 | Produce ready-to-go HTML files |
| camlbz2 | 0.6.0 | Bindings for bzip2 |
| Camldiets | 0.2 | A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order. |
| camldm | 0.1.0 | Bindings for Linux libdevicemapper |
| CamlGI | 0.6 | FastCGI and CGI library |
| camlgpc | 1.0 | Interface to Alan Murta's General Polygon Clipper |
| camlhighlight | 5.0 | Camlhighlight provides syntax highlighting facilities for OCaml applications. |
| camlidl | 1.09 | Stub code generator for OCaml |
| camlimages | 5.0.2 | Image processing library |
| camllib | 1.3.2 | Utility Library (including various datatypes) |
| camlmix | 1.3.0 | Camlmix is a generic preprocessor which converts text with embedded |
| camlon | 3.0.0 | Caml Object Notion, parsing and printing OCaml like data expressions |
| camlp4 | 4.10+system | Camlp4 is a system for writing extensible parsers for programming languages |
| camlp5 | 7.12 | Preprocessor-pretty-printer of OCaml |
| camlpdf | 2.3 | Read, write and modify PDF files |
| camlprime | 0.5 | Primality testing with lazy lists of prime numbers |
| camltc | 0.9.8 | OCaml bindings for tokyo cabinet |
| camltemplate | 1.0.2 | Library for generating text from templates |
| camlzip | 1.10 | Provides easy access to compressed files in ZIP, GZIP and JAR format |
| camomile | 1.0.2 | A Unicode library |
| capnp | 3.4.0 | OCaml code generation plugin for the Cap'n Proto serialization framework |
| capnp-rpc | 0.7.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
| capnp-rpc-lwt | 0.7.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
| capnp-rpc-mirage | 0.7.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
| capnp-rpc-net | 0.7.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
| capnp-rpc-unix | 0.7.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
| captureio | 0.1.2 | Capture output to Stderr and Stdout |
| caqti | 1.2.3 | Unified interface to relational database libraries |
| caqti-async | 1.2.2 | Async support for Caqti |
| caqti-driver-mariadb | 1.2.3 | MariaDB driver for Caqti using C bindings |
| caqti-driver-postgresql | 1.2.4 | PostgreSQL driver for Caqti based on C bindings |
| caqti-driver-sqlite3 | 1.2.3 | Sqlite3 driver for Caqti using C bindings |
| caqti-dynload | 1.2.0 | Dynamic linking of Caqti drivers using findlib.dynload |
| caqti-lwt | 1.2.0 | Lwt support for Caqti |
| caqti-type-calendar | 1.2.0 | Date and time field types using the calendar library |
| caradoc | 0.3 | parser and validator of PDF files |
| caravan | 0.0.2 | A framework for testing arbitrary systems, in OCaml. |
| cbat-explicit-edge | 0.1 | VSA-based CFG edge reconstruction made in bap ecosystem |
| cbat-tools | 0.1 | Program analysis tools developed at Draper on the CBAT project |
| cbat-vsa | 0.1 | Value set analysis made in bap ecosystem |
| cbor | 0.3 | CBOR encoder/decoder (RFC 7049) - native OCaml implementationorg:ygrek |
| cconv | 0.5 | Combinators for Type Conversion in OCamlconversion gadt serialization |
| cconv-ppx | 0.5 | Combinators for Type Conversion in OCamlconversion gadt serialization ppx-deriving |
| ccss | 1.6 | CCSS is a preprocessor for CSS, extending the language with arithmetic operations and variables. |
| cdrom | 0.9.3 | Query the state and contents of CDROM devices under Linux.org:xapi-project |
| cduce | 0.5.5 | Modern XML-oriented functional language with innovative features |
| cduce_ws | 0.1 | Library fo Web Services creation |
| certify | 0.3.2 | CLI utilities for simple X509 certificate manipulationorg:mirage |
| cfg | 2.2.1 | CFG - Context-Free Grammars |
| cfgen | 1.0 | This package was renamed to bnfgen. |
| cfstream | 1.3.1 | Stream operations in the style of Core's API |
| cgi | 0.10 | Library for writing CGIs |
| cgroups | 0.1 | An OCaml interface for the Linux control groupscgroups |
| chacha | 1.0.0 | The Chacha functions, in OCaml |
| chalk | 1.0 | Composable and simple terminal highlighting package |
| chamo | 2.03 | A source code editor, even if it can be used to edit any text file.editor development ide |
| channel | 1.1.1 | MirageOS channelsorg:mirage |
| charInfo_width | 1.1.0 | Determine column width for a character |
| charrua | 1.2.1 | DHCP wire frame encoder and decoder |
| charrua-client | 1.2.1 | DHCP client implementationorg:mirage |
| charrua-client-lwt | 1.2.1 | A DHCP client using lwt as effectful layerorg:mirage |
| charrua-client-mirage | 1.2.1 | A DHCP client for MirageOSorg:mirage |
| charrua-core | 0.12.0 | DHCP wire frame encoder and decoder |
| charrua-server | 1.2.1 | DHCP server |
| charrua-unix | 1.2.1 | Unix DHCP daemon |
| chartjs | 0.2.2 | OCaml bindings for Chart.js |
| chartjs-annotation | 0.2.2 | OCaml bindigns for Chart.js annotation plugin |
| chartjs-colorschemes | 0.2.2 | OCaml bindigns for Chart.js colorschemes plugin |
| chartjs-datalabels | 0.2.2 | OCaml bindigns for Chart.js datalabels plugin |
| chartjs-streaming | 0.2.2 | OCaml bindings for Chart.js streaming plugin |
| chase | 1.3 | Model finder for geometric theories using the chase |
| checkseum | 0.2.1 | Adler-32, CRC32 and CRC32-C implementation in C and OCaml |
| choice | 0.4 | Choice monad, for easy backtracking |
| cil | 1.7.3 | A front-end for the C programming language that facilitates program analysis and transformation |
| cinaps | v0.14.0 | Trivial metaprogramming tool |
| clangml | 4.1.0 | OCaml bindings for Clang API |
| clangml-transforms | 0.25 | Code transformers for clangml |
| clarity | 0.4.0 | Functional programming library |
| cloudi | 2.0.0 | OCaml CloudI API |
| cmark | 0.2.0 | OCaml bindings for the CMark Common Markdown parsing and rendering library. |
| cmarker | 0.3.0 | Bindings for a local installation of CMark |
| cmdliner | 1.0.4 | Declarative definition of command line interfaces for OCamlcli system declarative org:erratique |
| cmdtui | 0.4.3 | Interactive command completion and execution for building REPLs |
| cmdtui-lambda-term | 0.4.3 | Interactive command completion and execution for building REPLs |
| cmitomli | 1.0.0 | Converts compiled interface files (.cmi) into source interface files (.mli) |
| coccinelle | 1.0.8 | Coccinelle is a C source code matching and transformation engine |
| coclobas | 0.0.2 | Coclobas is a scheduler for HPC-like jobs accessible through HTTP |
| codept | 0.10.3 | Alternative ocaml dependency analyzer |
| cohttp | 2.5.1 | An OCaml library for HTTP clients and serversorg:mirage org:xapi-project |
| cohttp-async | 2.5.1 | CoHTTP implementation for the Async concurrency libraryorg:mirage org:xapi-project |
| cohttp-lwt | 2.5.1 | CoHTTP implementation using the Lwt concurrency libraryorg:mirage org:xapi-project |
| cohttp-lwt-jsoo | 2.5.1 | CoHTTP implementation for the Js_of_ocaml JavaScript compilerorg:mirage org:xapi-project |
| cohttp-lwt-unix | 2.5.1 | CoHTTP implementation for Unix and Windows using Lwtorg:mirage org:xapi-project |
| cohttp-mirage | 2.5.1 | CoHTTP implementation for the MirageOS unikernelorg:mirage org:xapi-project |
| cohttp-top | 2.5.1 | CoHTTP toplevel pretty printers for HTTP typesorg:mirage org:xapi-project |
| coin | 0.1.3 | Mapper of KOI8-{U,R} to Unicode |
| coinst | 1.9.1 | Coinst tool suite to perform analysis on package repositories. |
| colombe | 0.3.0 | SMTP protocol in OCaml |
| color | 0.2.0 | |
| color-brewery | 0.1 | Offer colors palettes and functions to brew colors |
| combinat | 1.0 | Fast combinatorics functions for OCaml. |
| combine | 0.55 | Combine is a library for combinatorics problem solving. |
| command_rpc | v0.14.0 | Utilities for Versioned RPC communication with a child process over stdin and stdout |
| commonjs_of_ocaml | 0.1.0 | Import and export CommonJS modules in js_of_ocaml |
| comparelib | 113.00.00 | Part of Jane Street’s Core library |
| conduit | 2.1.0 | A network connection establishment libraryorg:mirage |
| conduit-async | 2.1.0 | A network connection establishment library for Asyncorg:mirage |
| conduit-lwt | 2.1.0 | A portable network connection establishment library using Lwtorg:mirage |
| conduit-lwt-unix | 2.2.2 | A network connection establishment library for Lwt_unixorg:mirage |
| conduit-mirage | 2.2.1 | A network connection establishment library for MirageOSorg:mirage |
| conex | 0.11.1 | Establishing trust in community repositories |
| conex-mirage-crypto | 0.11.1 | Establishing trust in community repositories: crypto provided via mirage-crypto |
| conex-nocrypto | 0.11.0 | Establishing trust in community repositories: crypto provided via nocrypto |
| conf-aclocal | 1.0.0 | Virtual package relying on aclocal |
| conf-autoconf | 0.1 | Virtual package relying on autoconf installation |
| conf-bap-llvm | 1.6 | Checks that supported version of LLVM is installed |
| conf-binutils | 0.2 | Checks that binutils are installed |
| conf-blas | 1 | Virtual package for BLAS configuration |
| conf-bluetooth | 1 | Virtual package for Bluetooth library |
| conf-bmake | 1.0 | Virtual package relying on a BSD Make compatible program |
| conf-boost | 1 | Virtual package relying on boost |
| conf-brotli | 0.0.1 | Virtual package relying on a brotli system installation |
| conf-cairo | 1 | Virtual package relying on a Cairo system installation |
| conf-capnproto | 0 | Virtual package relying on captnproto installation |
| conf-clang | 1 | Virtual package relying on clang |
| conf-cmake | 1 | Virtual package relying on cmake |
| conf-cpio | 1 | Virtual package relying on cpio |
| conf-csdp | 1 | Virtual package relying on a CSDP binary system installation |
| conf-dbm | 1.0.0 | Virtual package relying on gdbm |
| conf-efl | 1.8 | Virtual package relying on the EFL system installation |
| conf-emacs | 1 | Virtual package to install the Emacs editor |
| conf-env-travis | 1 | Detect Travis CI and lift its environment to opam |
| conf-expat | 1 | Virtual package relying on an expat system installation |
| conf-fftw3 | 1 | Virtual package relying on a FFTW3 lib system installation |
| conf-findutils | 1 | Virtual package relying on findutils |
| conf-freetype | 1 | Virtual package relying on a freetype lib system installation |
| conf-fswatch | 11-0.1.0 | Virtual package relying on libfswatch installation |
| conf-ftgl | 1 | Virtual package relying on an ftgl system installation |
| conf-g++ | 1.0 | Virtual package relying on the g++ compiler (for C++) |
| conf-gcc | 1.0 | Virtual package relying on the gcc compiler (for C) |
| conf-gd | 1 | Virtual package relying on a libgd system installation |
| conf-gfortran | 0 | Virtual package relying on a gfortran system installation |
| conf-git | 1.0 | Virtual package relying on git |
| conf-glade | 2 | Virtual package relying on a libglade system installation |
| conf-gles2 | 1 | Virtual package relying on a OpenGL ES 2 system installation |
| conf-glew | 1 | Virtual package relying on a GLEW system installation |
| conf-glfw3 | 2 | Virtual package relying on a GLFW3 system installation |
| conf-glib-2 | 1 | Virtual package relying on a system GLib 2 installation |
| conf-glpk | 1 | Virtual package for GLPK (GNU Linear Programming Kit) |
| conf-gmp | 1 | Virtual package relying on a GMP lib system installation |
| conf-gmp-powm-sec | 1 | Virtual package relying on a GMP lib with constant-time modular exponentiation |
| conf-gnome-icon-theme3 | 0 | Virtual package relying on gnome-icon-theme |
| conf-gnomecanvas | 2 | Virtual package relying on a Gnomecanvas system installation |
| conf-gnuplot | 0.1 | Virtual package relying on gnuplot installation |
| conf-gnutls | 1 | Virtual package relying on a gnutls system installation |
| conf-gobject-introspection | 1.0 | Virtual package relying on a system gobject-introspection installation |
| conf-graphviz | 0.1 | Virtual package relying on graphviz installation |
| conf-gsl | 1 | Virtual package relying on a GSL lib system installation |
| conf-gssapi | 1 | Virtual package relying on a krb5-gssapi system installation |
| conf-gtk3 | 18 | Virtual package relying on GTK+ 3 |
| conf-gtksourceview | 2 | Virtual package relying on a GtkSourceView system installation |
| conf-gtksourceview3 | 0+1 | Virtual package relying on a GtkSourceView-3 system installation |
| conf-haveged | 1.0.0 | Check if havaged is installed on the system |
| conf-hidapi | 0 | Virtual package relying on a hidapi system installation |
| conf-ida | 0.2 | Checks that IDA Pro is installed |
| conf-jq | 1 | Virtual package relying on jq |
| conf-lapack | 1 | Virtual package for LAPACK configuration |
| conf-leveldb | 1 | Virtual package relying on a LevelDB lib system installation |
| conf-libclang | 10 | Virtual package relying on the installation of llvm and clang libraries (any version) |
| conf-libcurl | 1 | Virtual package relying on a libcurl system installation |
| conf-libev | 4-11 | High-performance event loop/event model with lots of features |
| conf-libffi | 1 | Virtual package relying on a libffi system installation |
| conf-libgif | 1 | Virtual package relying on a libgif system installation |
| conf-libgsasl | 1 | Virtual package relying on a GSASL lib system installation |
| conf-libjpeg | 1 | Virtual package relying on a libjpeg system installation |
| conf-liblinear-tools | 1.0.0 | Virtual package relying on liblinear-{train|predict} installation |
| conf-liblz4 | 1 | Virtual package relying on liblz4 system installation |
| conf-libmagic | 1 | Virtual package relying on a libmagic system installation |
| conf-libMagickCore | 1 | Virtual package relying on an ImageMagick system installation |
| conf-libmaxminddb | 1 | Virtual package relying on a libmaxminddb system installation |
| conf-libmosquitto | 1 | Virtual package relying on a libmosquitto system installation |
| conf-libpcre | 1 | Virtual package relying on a libpcre system installation |
| conf-libpng | 1 | Virtual package relying on a libpng system installation |
| conf-libseccomp | 1 | Virtual package relying on a libseccomp system installation |
| conf-libsodium | 1 | Virtual package relying on a libsodium system installation |
| conf-libssl | 1 | Virtual package relying on an OpenSSL library system installation |
| conf-libsvm | 3 | Virtual package relying on libsvm library installation |
| conf-libtool | 1 | Virtual package relying on libtool installation |
| conf-libudev | 1 | Virtual package relying on a libudev system installation |
| conf-libuv | 1 | Virtual package relying on a libuv system installation |
| conf-libX11 | 1 | Virtual package relying on an Xlib system installation |
| conf-linux-libc-dev | 0 | Virtual package relying on the installation of the Linux kernel headers files |
| conf-lldb | 3.5 | Virtual package to check the availability of LLDB 3.5 development packages |
| conf-llvm | 10.0.0 | Virtual package relying on llvm library installation |
| conf-lua | 1 | Virtual package relying on a Lua system installation |
| conf-lz4 | 1.0.0 | Virtual package requiring the lz4 command to be available |
| conf-m4 | 1 | Virtual package relying on m4 |
| conf-mariadb | 2 | Virtual package relying on a libmariadbclient system installation |
| conf-mbedtls | 1 | Virtual package relying on an mbedtls system installation |
| conf-mecab | 0.996 | Virtual package relying on MeCab library installation |
| conf-mpfr | 2 | Virtual package relying on library MPFR installation |
| conf-mpi | 1 | Virtual package relying on a mpi system installation |
| conf-mysql | 1 | Virtual package relying on a libmysqlclient system installation |
| conf-nanomsg | 0 | Virtual package relying on a nanomsg system installation |
| conf-nauty | 1.0 | Virtual package relying on nauty |
| conf-ncurses | 1 | Virtual package relying on ncurses |
| conf-neko | 1 | Virtual package relying on a Neko system installation |
| conf-netsnmp | 1.0.0 | Package relying on net-snmp libs |
| conf-npm | 1 | Virtual package relying on npm installation |
| conf-numa | 0.1.0 | Package relying on libnuma |
| conf-ode | 1 | Virtual package relying on a ODE system installation |
| conf-openbabel | 0.1 | Virtual package relying on openbabel library installation |
| conf-openblas | 0.2.0 | Virtual package to install OpenBLAS and LAPACKE |
| conf-opencc0 | 1 | Virtual package relying on opencc v0 (libopencc.so.1) installationopencc Chinese conversion |
| conf-opencc1 | 1 | Virtual package relying on opencc v1 (libopencc.so.2) installationopencc Chinese conversion |
| conf-openssl | 2 | Virtual package relying on an OpenSSL binary system installation |
| conf-pam | 1 | Virtual package relying on a system installation of PAM |
| conf-pandoc | 0.1 | Virtual package relying on pandoc installation |
| conf-pango | 1 | Virtual package relying on a Pango system installation |
| conf-perl | 1 | Virtual package relying on perl |
| conf-pic-switch | 0.1 | Check if the +PIC compiler switch of the OCaml version you are using is installed |
| conf-pkg-config | 1.2 | Virtual package relying on pkg-config installation |
| conf-postgresql | 1 | Virtual package relying on a PostgreSQL system installation |
| conf-ppl | 1 | Virtual package relying on the Parma Polyhedra Library (PPL) system installation |
| conf-protoc | 1.0.0 | Virtual package to install protoc compiler |
| conf-python-2-7 | 1.1 | Virtual package relying on Python-2.7 installation |
| conf-python-2-7-dev | 1.0 | Virtual package relying on Python-2.7 development package installation |
| conf-python-3 | 1.0.0 | Virtual package relying on Python-3 installation |
| conf-python-3-dev | 1 | Virtual package relying on Python 3 development package installation |
| conf-qt | 5.2.1 | Installation of Qt5 using APT packages or from source |
| conf-r | 1.0.0 | Virtual package relying on the R interpreter |
| conf-r-mathlib | 1 | Virtual package relying on a system installation of R Standalone Mathlib |
| conf-rdkit | 0.1 | Virtual package relying on rdkit library installation |
| conf-rocksdb | 1 | Virtual package relying on a system installation of RocksDB |
| conf-ruby | 1.0.0 | Virtual package relying on Ruby |
| conf-rust | 0.1 | Virtual package relying on cargo (rust build system) |
| conf-rust-2018 | 1 | Virtual package relying on cargo (rust build system) |
| conf-sdl-gfx | 1 | Virtual package relying on a sdl-gfx system installation |
| conf-sdl-image | 1 | Virtual package relying on a sdl-image system installation |
| conf-sdl-mixer | 1 | Virtual package relying on a sdl-mixer system installation |
| conf-sdl-net | 1 | Virtual package relying on a sdl-net system installation |
| conf-sdl-ttf | 1 | Virtual package relying on a sdl-ttf system installation |
| conf-sdl2 | 1 | Virtual package relying on a SDL2 system installation |
| conf-sdl2-image | 1 | Virtual package relying on a sdl2-image system installation |
| conf-sdl2-mixer | 1 | Virtual package relying on a sdl2-mixer system installation |
| conf-sdl2-net | 1 | Virtual package relying on a sdl2-net system installation |
| conf-sdl2-ttf | 1 | Virtual package relying on a sdl2-ttf system installation |
| conf-sdpa | 1 | Virtual package relying on a SDPA binary system installation |
| conf-secp256k1 | 1.0.0 | Virtual package relying on a secp256k1 lib system installation |
| conf-sfml2 | 1 | Virtual package relying on a SFML2 system installation |
| conf-snappy | 1 | Virtual package relying on snappy |
| conf-sqlite3 | 1 | Virtual package relying on an SQLite3 system installation |
| conf-tcl | 1 | Virtual package relying on tcl |
| conf-tidy | 1 | Virtual package relying on libtidy installation |
| conf-time | 1 | Virtual package relying on the "time" command |
| conf-tk | 1 | Virtual package relying on tk |
| conf-vim | 1 | Virtual package to install the Vim editor |
| conf-wget | 1 | Virtual package relying on wget |
| conf-which | 1 | Virtual package relying on which |
| conf-wxwidgets | 3.0 | Virtual package to check the availability of wxWidgets 3.0 development packages |
| conf-zlib | 1 | Virtual package relying on zlib |
| conf-zmq | 0.1 | Virtual package relying on zmq library installation |
| conf-zstd | 1.3.8 | Virtual package relying on zstd |
| config-file | 1.2 | Small library to define, load and save options files.configuration |
| configuration | 0.4.1 | Analyse configuration filesconfiguration system |
| configurator | v0.11.0 | Helper library for gathering system configuration |
| conjury | 2.0 | Conjury library for OMakeorg:conjury.org |
| containers | 2.8.1 | A modular, clean and powerful extension of the OCaml standard librarystdlib containers iterators list heap queue |
| cookie | 0.1.8 | Cookie handling for OCaml and ReasonML |
| cookie-js | 1.0.0 | Simple library for setting/getting cookies in js_of_ocaml |
| coq | 8.11.2 | Formal proof management system |
| coq-serapi | 8.11.0+0.11.0 | Serialization library and protocol for machine interaction with the Coq proof assistant |
| coq-shell | 1 | Simplified OPAM shell for Coq |
| coqide | 8.11.2 | IDE of the Coq formal proof management system |
| cordova | 1.0 | Binding OCaml to cordova Javascript object. |
| cordova-plugin-activity-indicator | 1.0 | Binding OCaml to cordova-plugin-activity-indicator using gen_js_api. |
| cordova-plugin-background-mode | 1.0 | Binding to cordova-plugin-background-mode using gen_js_api. |
| cordova-plugin-barcode-scanner | 1.0 | Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api. |
| cordova-plugin-battery-status | 1.0 | Binding OCaml to cordova-plugin-battery-status using gen_js_api. |
| cordova-plugin-camera | 1.0 | Binding OCaml to cordova-plugin-camera using gen_js_api. |
| cordova-plugin-clipboard | 1.0 | Binding OCaml to cordova-plugin-clipboard using gen_js_api. |
| cordova-plugin-datepicker | 1.0 | Binding OCaml to cordova-plugin-datepicker using gen_js_api. |
| cordova-plugin-device | 1.0 | Binding OCaml to cordova-plugin-device using gen_js_api. |
| cordova-plugin-device-motion | 1.0 | Binding OCaml to cordova-plugin-device-motion using gen_js_api. |
| cordova-plugin-device-orientation | 1.0 | Binding OCaml to cordova-plugin-device-orientation using gen_js_api. |
| cordova-plugin-dialogs | 1.0 | Binding OCaml to cordova-plugin-dialogs using gen_js_api. |
| cordova-plugin-email-composer | 1.0 | Binding OCaml to cordova-plugin-email-composer using gen_js_api. |
| cordova-plugin-fcm | 1.0 | Binding OCaml to cordova-plugin-fcm using gen_js_api. |
| cordova-plugin-file | 1.0 | Binding OCaml to cordova-plugin-file using gen_js_api. |
| cordova-plugin-file-opener | 1.0 | Binding OCaml to cordova-plugin-file-opener using gen_js_api. |
| cordova-plugin-file-transfer | 1.0 | Binding OCaml to cordova-plugin-file-transfer using gen_js_api. |
| cordova-plugin-geolocation | 1.0 | Binding OCaml to cordova-plugin-geolocation using gen_js_api. |
| cordova-plugin-globalization | 1.0 | Binding OCaml to cordova-plugin-globalization using gen_js_api. |
| cordova-plugin-image-picker | 1.0 | Binding OCaml to cordova-plugin-image-picker using gen_js_api. |
| cordova-plugin-inappbrowser | 1.0 | Binding OCaml to cordova-plugin-inappbrowser using gen_js_api. |
| cordova-plugin-insomnia | 1.0 | Binding OCaml to cordova-plugin-insomnia using gen_js_api. |
| cordova-plugin-keyboard | 1.0 | Binding OCaml to cordova-plugin-keyboard using gen_js_api. |
| cordova-plugin-loading-spinner | 1.0 | Binding OCaml to cordova-plugin-loading-spinner using gen_js_api. |
| cordova-plugin-local-notifications | 1.0 | Binding to cordova-plugin-local-notifications using gen_js_api. |
| cordova-plugin-media | 1.0 | Binding OCaml to cordova-plugin-media using gen_js_api. |
| cordova-plugin-media-capture | 1.0 | Binding OCaml to cordova-plugin-media-capture using gen_js_api. |
| cordova-plugin-network-information | 1.0 | Binding OCaml to cordova-plugin-network-information using gen_js_api. |
| cordova-plugin-progress | 1.0 | Binding OCaml to cordova-plugin-progress using gen_js_api. |
| cordova-plugin-push-notifications | 1.1.2 | Binding OCaml to phonegap-plugin-push using gen_js_api. |
| cordova-plugin-qrscanner | 1.0 | Binding OCaml to cordova-plugin-qrscanner using gen_js_api. |
| cordova-plugin-screen-orientation | 1.0 | Binding OCaml to cordova-plugin-screen-orientation using gen_js_api. |
| cordova-plugin-sim-card | 1.0 | Binding OCaml to cordova-plugin-sim-card using gen_js_api. |
| cordova-plugin-sms | 1.0 | Binding OCaml to cordova-plugin-sms using gen_js_api. |
| cordova-plugin-social-sharing | 1.0 | Binding OCaml to cordova-plugin-x-socialsharing using gen_js_api. |
| cordova-plugin-statusbar | 1.0 | Binding OCaml to cordova-plugin-statusbar using gen_js_api. |
| cordova-plugin-toast | 1.0 | Binding OCaml to cordova-plugin-toast using gen_js_api. |
| cordova-plugin-touch-id | 1.0 | Binding OCaml to cordova-plugin-touch-id using gen_js_api. |
| cordova-plugin-vibration | 1.0 | Binding OCaml to cordova-plugin-vibration using gen_js_api. |
| cordova-plugin-videoplayer | 1.0 | Binding OCaml to cordova-plugin-videoplayer using gen_js_api. |
| core | v0.14.0 | Industrial strength alternative to OCaml's standard library |
| core-lwt | 0.3.0 | Lwt library wrapper in the Janestreet core style |
| core_bench | v0.14.0 | Benchmarking library |
| core_extended | v0.14.0 | Extra components that are not as closely vetted or as stable as Core |
| core_kernel | v0.14.0 | Industrial strength alternative to OCaml's standard library |
| core_profiler | v0.14.0 | Profiling library |
| corecount | 1.0.0 | Get count of cores on machineclib:stdc |
| cow | 2.4.0 | Caml on the Weborg:mirage org:xapi-project www html xml css json markdown |
| cowabloga | 0.5.0 | Simple static blogging supportorg:mirage |
| cpdf | 2.3 | High-level pdf tools based on CamlPDF |
| cpm | 10.0.0 | The Classification and Regression Performance Metrics library |
| cppo | 1.6.6 | Code preprocessor like cpp for OCaml |
| cppo_ocamlbuild | 1.6.6 | Plugin to use cppo with ocamlbuild |
| cpu | 2.0.0 | Pin current process to given core number |
| cpuid | 0.1.2 | Detect CPU features |
| craml | 1.0.0 | A CRAM-testing framework for testing command line applications |
| crc | 2.0.0 | CRC implementation supporting strings and cstructs |
| crdt-ml | 0.10.0 | CRDTs - Conflict-Free Replicated Data Types for OCaml |
| crlibm | 0.4 | Binding to CRlibm, a correctly rounded math liblibm math science |
| crontab | 0.1 | Interacting with cron from OCaml |
| crowbar | 0.2 | Write tests, let a fuzzer find failing cases |
| crunch | 3.2.0 | Convert a filesystem into a static OCaml moduleorg:mirage org:xapi-project |
| cry | 0.6.5 | OCaml client for the various icecast & shoutcast source protocols |
| crypt | 1.3 | Tiny binding for the unix crypt function |
| cryptgps | 0.2.1 | Cryptographic functions |
| cryptodbm | 0.84.2 | Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption. |
| cryptohash | 0.1.2 | hash functions for OCaml |
| cryptokit | 1.14 | A library of cryptographic primitives. |
| cryptoverif | 2.02 | CryptoVerif: Cryptographic protocol verifier in the computational model |
| csexp | 1.2.0 | Parsing and printing of S-expressions in Canonical form |
| css-parser | 0.2.4 | A CSS parser written in OCaml |
| cstruct | 5.1.1 | Access C-like structures directly from OCamlorg:mirage org:ocamllabs |
| cstruct-async | 5.1.1 | Access C-like structures directly from OCamlorg:mirage org:ocamllabs |
| cstruct-lwt | 5.1.1 | Access C-like structures directly from OCamlorg:mirage org:ocamllabs |
| cstruct-sexp | 5.1.1 | S-expression serialisers for C-like structuresorg:mirage org:ocamllabs |
| cstruct-unix | 5.1.1 | Access C-like structures directly from OCamlorg:mirage org:ocamllabs |
| csv | 2.4 | A pure OCaml library to read and write CSV filescsv database science |
| csv-lwt | 2.4 | A pure OCaml library to read and write CSV files, LWT versioncsv database science |
| csvfields | v0.14.0 | Runtime support for ppx_xml_conv and ppx_csv_conv |
| csvprovider | 1.2 | CSV Type Provider for OCaml |
| csvtool | 2.4 | Command line tool for handling CSV filescsv database science |
| ctypes | 0.17.1 | Combinators for binding to C libraries without writing any Corg:ocamllabs org:mirage |
| ctypes-build | 0.0.2 | Support for building Ctypes bindings. |
| ctypes-foreign | 0.4.0 | Virtual package for enabling the ctypes.foreign subpackage.org:ocamllabs org:mirage |
| ctypes-zarith | 0.1.0 | Ctypes wrapper for zarith |
| cubicle | 1.1.2 | SMT based model checker for parameterized systems |
| cudf | 0.9-1 | CUDF library (part of the Mancoosi tools) |
| cuid | 0.2 | CUID generator for OCaml |
| curly | 0.1.0 | The Dumbest Http Client |
| current | 0.2 | Pipeline language for keeping things up-to-date |
| current_ansi | 0.2 | ANSI escape sequence parser |
| current_docker | 0.2 | OCurrent Docker plugin |
| current_examples | 0.2 | Example pipelines for OCurrent |
| current_git | 0.2 | Git plugin for OCurrent |
| current_github | 0.2 | GitHub plugin for OCurrent |
| current_incr | 0.2 | Self-adjusting computations |
| current_rpc | 0.2 | Cap'n Proto RPC plugin for OCurrent |
| current_slack | 0.2 | Slack plugin for OCurrent |
| current_web | 0.2 | Test web UI for OCurrent |
| curses | 1.0.6 | Bindings to curses/ncurses |
| curve-sampling | 0.2 | Sampling of parametric and implicit curves |
| custom_printf | 113.00.00 | Extension for printf format strings |
| cviode | 0.0.3 | Contact variational integrators - native ocaml versionODE scientific-computing |
| cwe_checker | 0.3 | BAP plugin collection to detect common bug classes |
| d3 | 0.3.0 | OCaml bindings for D3.js |
| daft | 0.0.3 | DAFT Allows File Transfers |
| data-encoding | 0.2 | Library of JSON and binary encoding combinators |
| dataframe | 0.1 | A simple and type-safe dataframe api in pure ocaml |
| datakit | 1.0.0 | Orchestrate applications using a Git-like dataflow |
| datakit-bridge-github | 1.0.0 | A bidirectional bridge between the GitHub API and Datakit |
| datakit-bridge-local-git | 1.0.0 | DataKit Local-Git bridge |
| datakit-ci | 1.0.0 | Continuous Integration service using DataKit |
| datakit-client | 1.0.0 | A library to construct Datakit clients |
| datakit-client-9p | 1.0.0 | A library for Datakit clients over 9P |
| datakit-client-git | 1.0.0 | A library for connecting Datakit client using Git |
| datakit-github | 1.0.0 | Abstraction of the GitHub API, suitable for DataKit clients |
| datakit-server | 1.0.0 | A library to write Datakit servers |
| datakit-server-9p | 1.0.0 | Build Datakit servers using the 9P filesystem protocol |
| datalog | 0.6 | An in-memory datalog implementation for OCamldatalog relational query prolog |
| dbf | 0.1 | DBF format parsing |
| dbforge | 2.0.1 | A tool to describe database schemas and generate OCaml code to access these databases. |
| dbm | 1.2 | Binding to the NDBM/GDBM Unix "databases" |
| dead_code_analyzer | 0.9 | dead_code_analyzer -- Dead code analyzing tool. |
| debian-formats | 0.1.2 | Parse debian files |
| decoders | 0.4.0 | Elm-inspired decoders for Ocaml |
| decoders-bencode | 0.4.0 | Bencode interface for decoders |
| decoders-cbor | 0.4.0 | CBOR interface for decoders |
| decoders-ezjsonm | 0.4.0 | Interface to ezjsonm for decoders |
| decoders-jsonm | 0.4.0 | Interface to jsonm for decoders |
| decoders-sexplib | 0.4.0 | Sexplib interface for decoders |
| decoders-yojson | 0.4.0 | Interface to yojson for decoders |
| decompress | 1.1.0 | Implementation of Zlib and GZip in OCaml |
| dedukti | 2.6.0 | The Dedukti logical framework |
| delimcc | 2018.03.16 | Oleg's delimited continuations library for byte-code and native OCaml |
| delimited_parsing | v0.14.0 | Parsing of character (e.g., comma) separated and fixed-width values |
| depext | transition | opam-depext transition package |
| depgraph | 0.1.0 | dot graphs out of ocamldep output |
| depyt | 0.2.0 | Yet-an-other type combinator libraryorg:mirage |
| deriving | 0.8.1 | Extension to OCaml for deriving functions from type declarations |
| deriving-ocsigen | 0.5 | Extension to OCaml for deriving functions from type declarations |
| deriving-yojson | 0.4 | Parse/convert ocaml value from/to yojson ast |
| devkit | 1.3 | Development kit - general purpose library |
| dht | 0.2.0 | OCaml bindings for Juliusz Chroboczek's dht C library |
| diet | 0.4 | Discrete Interval Encoding Trees |
| digestif | 0.8.1 | Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5) |
| disml | 0.2.5 | An OCaml library for interfacing with the Discord APIdiscord |
| dispatch | 0.5.0 | Path-based dispatching for client- and server-side applications |
| dispatch-js | 0.5.0 | Path-based dispatch: js_of_ocaml-specific support |
| distributed | 0.6.0 | Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell |
| distributed-lwt | 0.2.0 | A library to probide a lwt based implementation of Distributed |
| distributed-uwt | 0.2.0 | A library to probide a uwt based implementation of Distributed |
| distwit | 0.1.0 | Distribute/marshal exceptions and extensible variants |
| diy | 5.01 | Tool suite for testing shared memory models |
| dlist | 0.1.0 | A purely functional list-like data structure supporting O(1) concatenation |
| dlm | 0.3.0 | Libdlm bindings |
| dns | 4.6.0 | An opinionated Domain Name System (DNS) library |
| dns-async | 1.1.3 | DNS implementation using the Async concurrency frameworkorg:mirage org:xapi-project |
| dns-certify | 4.6.0 | MirageOS let's encrypt certificate retrieval |
| dns-cli | 4.6.0 | Unix command line utilities using uDNS |
| dns-client | 4.6.0 | Pure DNS resolver API |
| dns-forward | 0.10.0 | Library and tools for creating forwarding DNS servers |
| dns-forward-lwt-unix | 0.9.0 | Lwt implementation for the `dns-forward` library |
| dns-lwt | 1.1.3 | DNS implementation in portable Lwtorg:mirage org:xapi-project |
| dns-lwt-unix | 1.1.3 | DNS implementation for Unix and Windows using Lwt_unixorg:mirage org:xapi-project |
| dns-mirage | 4.6.0 | An opinionated Domain Name System (DNS) library |
| dns-resolver | 4.6.0 | DNS resolver business logic |
| dns-server | 4.6.0 | DNS server, primary and secondary |
| dns-stub | 4.6.0 | DNS stub resolver |
| dns-tsig | 4.6.0 | TSIG support for DNS |
| dnscurve | 0.3.0 | DNSCurve protocol for DNS queries over a secure channelorg:mirage |
| dnssd | 0.5.0 | DNS Service Discovery for macOSorg:mirage |
| doc-ock | 1.2.1 | Extract documentation from OCaml filesdoc ocaml org:ocaml-doc |
| doc-ock-html | 1.2.1 | From doc-ock to HTMLdoc html ocaml org:ocaml-doc |
| doc-ock-xml | 1.2.1 | XML printer and parser for Doc-Ockdoc xml ocaml org:ocaml-doc |
| docker-api | 0.2.1 | Binding to the Docker Remote API |
| dockerfile | 6.4.0 | Dockerfile eDSL in OCamlorg:mirage org:ocamllabs |
| dockerfile-cmd | 6.4.0 | Dockerfile eDSL - generation supportorg:mirage org:ocamllabs |
| dockerfile-opam | 6.4.0 | Dockerfile eDSL -- opam supportorg:mirage org:ocamllabs |
| docout | 0.0.1 | Functor to create (text) output functions |
| dog | 0.2.1 | A loyal and faithful synchronisation tool that you can rely on. |
| dokeysto | 4.0.0 | The dumb OCaml key-value store |
| dokeysto_camltc | 4.0.0 | The dumb OCaml key-value store w/ tokyocabinet backend |
| dokeysto_lz4 | 4.0.0 | The dumb OCaml key-value store w/ LZ4 compression |
| dolmen | 0.4.1 | A parser libraryparser tptp logic smtlib dimacs |
| dolog | 4.0.0 | The dumb OCaml logging library |
| domain-name | 0.3.0 | RFC 1035 Internet domain names |
| dose | 3.4.2 | Dose library (part of Mancoosi tools) |
| dose3 | 5.0.1 | Dose library (part of Mancoosi tools) |
| dotenv | 0.0.3 | Javascript's dotenv port to OCaml |
| down | 0.0.2 | An OCaml toplevel (REPL) upgradeorg:erratique dev toplevel repl |
| DrawGrammar | 0.2.2 | Draw railroad diagrams of EBNF grammars |
| dropbox | 0.2 | Binding to the Dropbox Remote APIdropbox sync |
| dropbox_lwt_unix | 0.2 | Binding to the Dropbox Remote API (Unix)dropbox sync |
| dryunit | 0.5.0 | A detection tool for traditional and popular testing frameworks |
| dsfo | 0.0.1 | Download (anyhow) and interact (ocaml, utop) with common machine learning datasets. |
| dssi | 0.1.2 | Bindings for the DSSI API which provides audio synthesizers |
| dtoa | 0.3.2 | Converts OCaml floats into strings (doubles to ascii, 'd to a'), using the efficient Grisu3 algorithm |
| dtools | 0.4.2 | Library providing various helper functions to make daemons |
| duff | 0.2 | Rabin's fingerprint and diff algorithm in OCaml |
| dum | 1.0.1 | Inspect the runtime representation of arbitrary OCaml values |
| dumpast | 0.2.0 | OCaml AST dumper |
| dune | 2.6.0 | Fast, portable, and opinionated build system |
| dune-action-plugin | 2.6.0 | [experimental] API for writing dynamic Dune actions |
| dune-build-info | 2.6.0 | Embed build informations inside executable |
| dune-configurator | 2.6.0 | Helper library for gathering system configuration |
| dune-deps | 1.2.1 | Show dependency graph of a multi-component dune project |
| dune-glob | 2.6.0 | Glob string matching language supported by dune |
| dune-private-libs | 2.6.0 | Private libraries of Dune |
| dune-release | 1.3.3 | Release dune packages in opam |
| dune_watch | 0.2.0 | A tool to relaunch jbuilder (or dune) when a file modification is detected via fswatch |
| duppy | 0.8.0 | Library providing monadic threads |
| duration | 0.1.3 | Conversions to various time units |
| dynload-sys | 0.4.7 | Sys.argv override for dynamically loaded libraries |
| dyntype | 0.9.0 | syntax extension which makes OCaml types and values easier to manipulate programmaticallyorg:mirage org:xapi-project |
| dypgen | 20120619-1 | Self-extensible parsers and lexers for OCaml |
| earley | 2.0.0 | Parsing library based on Earley Algorithm |
| earley-ocaml | 1.1.0 | Earley-OCaml extensible parser for OCaml (and pa_ocaml preprocessos) |
| earlybird | 0.1.4 | OCaml debug adapter |
| easy-format | 1.3.2 | High-level and functional interface to the Format module of the OCaml standard library |
| easy_logging | 0.7.1 | Module to log messages. Aimed at being both powerful and easy to use |
| easy_logging_yojson | 0.7.1 | Configuration loader for easy_logging with yojson backend |
| easy_xlsx | 1.0 | A library to easily read XLSX files into a simpler format |
| ecaml | v0.14.0 | Library for writing Emacs plugin in OCaml |
| edn | 0.1.6-1-gff9db95 | Parsing OCaml library for EDN format |
| efl | 1.22.0 | An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary. |
| eigen | 0.2.0 | Owl's OCaml interface to Eigen3 C++ library |
| elasticsearch-cli | 1.1 | Command-line client for Elasticsearch |
| electrod | 0.6.2 | Formal analysis for the Electrod formal pivot language |
| electrumAnalyzer | 0.3.5-2 | A tool for the analysis of Electrum formal specifications.org:onera |
| elf2json | 1.0.0 | Converts an ELF binary to a JSON representation |
| elina | 1.1 | ETH LIBRARY FOR NUMERICAL ANALYSIS |
| eliom | 6.12.0 | Client/server Web framework |
| elpi | 1.11.2 | ELPI - Embeddable λProlog Interpreter |
| email_message | v0.14.0 | E-mail message parser |
| emile | 0.9 | Parser of email address according RFC822 |
| emoji | 1.1.0 | Use emojis by name |
| encore | 0.4 | Library to generate encoder/decoder which ensure isomorphism |
| enumerate | 111.08.00 | Quotation expanders for enumerating finite types. |
| enumerators | 0.2.0 | Finite lazy enumeratorsorg:cryptosense |
| eqaf | 0.7 | Constant-time equal function on string |
| erm_xml | 0.3 | XML stream parser |
| erm_xmpp | 0.2 | XMPP protocol implementation |
| erssical | 0.1 | Erssical is a tool to fetch, merge and filter Event RSS channels.rss xml ical http |
| esgg | 20190322 | Elasticsearch guided (code) generatororg:ahrefs |
| estring | 1.3 | Extension for string literals |
| ethernet | 2.2.0 | OCaml Ethernet (IEEE 802.3) layer, used in MirageOSorg:mirage |
| exenum | 0.86 | Build efficient enumerations for datatypes. Inspired by Feat for Haskell. |
| exit | 0.0.1 | Get exit status as declared in `stdlib.h` |
| exn-source | 0.1 | Exception backtrace for OCaml with source code printing |
| expect | 0.0.6 | Simple implementation of "expect" to help building unitary testing of interactive program |
| expect_test_helpers | v0.13.0 | Async helpers for writing expectation tests |
| expect_test_helpers_async | v0.14.0 | Async helpers for writing expectation tests |
| expect_test_helpers_core | v0.14.0 | Helpers for writing expectation tests |
| expect_test_helpers_kernel | v0.13.0 | Helpers for writing expectation tests |
| extlib | 1.7.7 | A complete yet small extension for OCaml standard library (reduced, recommended) |
| extlib-compat | 1.7.2 | A complete yet small extension for OCaml standard library (full, compatibility) |
| extprot | 1.6.0 | Extensible binary protocols for cross-language communication and long-term serialization |
| extunix | 0.2.0 | Collection of thin bindings to various low-level system APIorg:ygrek |
| ezgzip | 0.2.3 | Simple gzip (de)compression library |
| ezirmin | 0.2.1 | An easy interface on top of the Irmin library. |
| ezjsonm | 1.1.0 | Simple interface on top of the Jsonm JSON libraryorg:mirage org:ocamllabs |
| ezjsonm-lwt | 1.1.0 | Simple Lwt-based interface to the Jsonm JSON libraryorg:mirage org:ocamllabs |
| ezresto | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| ezresto-directory | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| ezsqlite | 0.4.2 | Simplified SQLite3 bindings for OCaml |
| ezxenstore | 0.1.2 | An easy-to-use xenstore library with a simplified interface geared |
| ezxmlm | 1.1.0 | Combinators for parsing and selection of XML structuresorg:mirage org:ocamllabs |
| faad | 0.4.0 | Bindings for the faad library which provides functions for decoding AAC audio files |
| facebook-sdk | 0.3.5 | Facebook Graph API SDK for OCaml |
| facile | 1.1.4 | A Functional Constraint Library implemented in Objective Caml. |
| facteur | 0.1.0 | Tool to send an email |
| fadbadml | 0.1 | FADBAD++ for OCaml |
| faillib | 111.17.00 | Part of Jane Street’s Core library |
| faraday | 0.7.1 | A library for writing fast and memory-efficient serializers. |
| faraday-async | 0.7.1 | Async support for Faraday |
| faraday-lwt | 0.7.1 | Lwt support for Faraday |
| faraday-lwt-unix | 0.7.1 | Lwt_unix support for Faraday |
| farfadet | 0.3 | A printf-like for [Faraday](https://github.com/inhabitedtype/faraday) library |
| farmhash | 0.3 | Bindings for Google's farmhash libraryorg:ahrefs |
| fat-filesystem | 0.14.0 | Pure OCaml implementation of the FAT filesystemorg:mirage org:xapi-project |
| fd-send-recv | 1.0.5 | Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain socketsorg:mirage org:xapi-project |
| fdkaac | 0.3.2 | Fraunhofer FDK AAC Codec Library |
| febusy | 0.0.0 | Embedded build system library |
| ffmpeg | 0.4.1 | Bindings for the ffmpeg library which provides functions for decoding audio and video files |
| fftw3 | 0.8.4 | Binding to the Fast Fourier Transform library FFTWFFT |
| fiat-p256 | 0.2.1 | Primitives for Elliptic Curve Cryptography taken from Fiatorg:mirage |
| 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 |
| fileutils | 0.6.2 | API to manipulate files (POSIX like) and filenames |
| findlib_top | v0.11.0 | Exposes findlib_top.cma without the need for using predicates |
| fix | 20200131 | Facilities for memoization and fixed points |
| fkie-cad-cwe-checker | 0.2 | Virtual Package. Can be safely removed |
| flac | 0.1.7 | Interface for the Free Lossless Audio Codec otherwise known as FLAC |
| flock | 1.0.0 | Ctypes bindings to flock for OCaml |
| flow | 0.3 | Deprecated exceptionless “systems” library on top of Core and Lwt. |
| flow_parser | 0.80.0 | The Flow parser is a JavaScript parser written in OCaml |
| flowcaml | 1.07 | Flow Caml is an extension of OCaml with a type system tracing information flow. |
| flowtype | 0.94.0 | Flow is a static typechecker for JavaScript. |
| fluent-logger | 1.1.0 | Structured logger for Fluentd (OCaml) |
| fm-simplex-plugin | 1.30 | Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin |
| fmt | 0.8.8 | OCaml Format pretty-printer combinatorsstring format pretty-print org:erratique |
| forkwork | 0.3.2 | Fork child processes to perform work on multiple cores |
| format | 0.1 | Format is a syntax extension which defines quotations for building |
| fpath | 0.7.2 | File system paths for OCamlfile system path org:erratique |
| frag | 0.1.0 | File fragment extraction |
| frama-c | 21.0 | Platform dedicated to the analysis of source code written in Cdeductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification |
| frama-c-base | 15.0 | Platform dedicated to the analysis of source code written in C.deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification |
| frama-c-e-acsl | 0.5 | This package contains the Frama-C's E-ACSL plug-in.program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL |
| freetds | 0.7 | Binding to the FreeTDS libraryclib:ct clib:sybdb |
| freetennis | 0.4.8 | Free Tennis, a free tennis simulation. |
| frei0r | 0.1.1 | Bindings for the frei0r API which provides video effects |
| frenetic | 5.0.3 | The Frenetic SDN Controller Platform |
| froc | 0.2.2 | Jake Donham's Froc library for functional reactive programming in OCaml. |
| FrontC | 3.4.2 | Library providing a C parser and lexer |
| fstar | 0.9.7.0-alpha1 | Verification system for effectful programs |
| fstreams | 0.2.1 | Functional, lazy, infinite streams. |
| fswatch | 11-0.1.0 | Bindings for libfswatch -- file change monitor |
| fswatch_lwt | 11-0.1.0 | Lwt extension for fswatch |
| ftp | 0.1.0 | Functions for accessing files via FTP |
| funbits | 0.03 | Functional bit field librarybit-field bits functional |
| functoria | 3.1.1 | A DSL to organize functor applicationsorg:mirage |
| functoria-runtime | 3.0.3 | Runtime support library for functoria-generated codeorg:mirage |
| functory | 0.6 | Distributed computing library. |
| fury-puyo | 0.5 | Fury Puyo is a free clone of the Puyo Puyo game. |
| future | 0.2.0 | Abstraction over Stdlib, Lwt, Async, and more.org:solvuu |
| gadelac | 0.6.1 | Preprocessor for the Game Description Language. |
| gamepad | 0.2.0 | Bindings for the JS Gamepad API |
| gammu | 0.9.4 | Cell phone and SIM card accessSMS phone clib:gammu |
| gapi-ocaml | 0.3.19 | A simple OCaml client for Google Services |
| gasoline | 0.5.0 | Unix-ish application development frameworkapplication |
| gavl | 0.1.6 | Bindings for the gavl library which provides functions for converting images formats, colorspaces, etc. |
| gd | 1.0a5 | OCaml interface to the GD graphics library. |
| gdal | 0.10.0 | GDAL and OGR bindings |
| gdb | 0.3 | GDB/MI (machine interface) library and stack-sampling profiler |
| gdbprofiler | 0.3 | gdbprofiler, a profiler for native OCaml and other executables |
| gedcom | 1.0.0 | GEDCOM parsing. |
| gemini | 0.2.0 | OCaml bindings for Gemini Trading Exchange API |
| gen | 0.5.3 | Iterators for OCaml, both restartable and consumablegen iterator iter fold |
| gen-bs | 0.1.0 | generate bucklescript code from Javascript type specifications |
| gen_js_api | 1.0.6 | Easy OCaml bindings for Javascript libraries |
| gen_server | 2.0.2 | An Erlang-like gen_server framework written for Async. |
| General | 0.7.0 | Rich functionality for built-in and basic OCaml types |
| genet | 0.6 | Genet is tool to build a continuous integration platform.continuous integration test execution chains rdf sparql |
| genlet | 201406 | Let-insertion for MetaOCaml. |
| genprint | 0.4 | PPX syntax extension and library package for printing values of any type |
| genspio | 0.0.2 | Typed EDSL to generate POSIX Shell scripts |
| genspir | 1.0.0 | Generate almost uniformly points on a sphere |
| gensqlite | 0.1 | A ppx preprocessor to generate SQLite3 prepared statements and query functions. |
| geoip | 0.0.3 | Bindings to GeoIP database library.org:ygrek |
| get_line | 7.0.0 | Robustly select lines from file; can replace the head and tail shell commands and do even more |
| getopt | 20120615 | Parsing of command line arguments (similar to GNU GetOpt) for OCaml |
| getopts | 0.4.0 | Analyse command line argumentscli system |
| gettext | 0.4.2 | Internationalization library (i18n) |
| gettext-camomile | 0.4.2 | Internationalization library using camomile (i18n) |
| gettext-stub | 0.4.2 | Internationalization using C gettext library (i18n) |
| gg | 0.9.3 | Basic types for computer graphics in OCamlmatrix vector color data-structure graphics org:erratique |
| git | 2.1.2 | Git format and protocol in pure OCaml |
| git-http | 2.1.2 | Client implementation of the "Smart" HTTP Git protocol in pure OCaml |
| git-mirage | 2.1.2 | MirageOS backend for the Git protocol(s) |
| git-unix | 2.1.2 | Virtual package to install and configure ocaml-git's Unix backend |
| github | 4.3.0 | GitHub APIv3 OCaml library |
| github-hooks | 0.5.0 | GitHub API web hook listener librarygit github |
| github-hooks-unix | 0.5.0 | GitHub API web hook listener library using unix functionsgit github |
| github-jsoo | 4.3.0 | GitHub APIv3 JavaScript library |
| github-unix | 4.3.0 | GitHub APIv3 Unix library |
| gles3 | 20160505.alpha | OCaml GLES 3.0 bindings |
| glfw-ocaml | 3.3~rc2 | A GLFW binding for OCaml |
| glical | 0.0.7 | Glical: glancing at iCalendar data.org:ocamllabs |
| glicko2 | 1.0.0 | Implementation of the Glicko2 algorithm. |
| glMLite | 0.03.53 | OpenGL bindings for OCamlbindings opengl graphics 3D |
| glpk | 0.1.8 | Bindings for glpk |
| glsurf | 3.3.1 | GlSurf, implicit curves and surfaces drawing and discretization |
| gluten | 0.2.1 | A reusable runtime library for network protocols |
| gluten-async | 0.2.1 | Async runtime for gluten |
| gluten-lwt | 0.2.1 | Lwt-specific runtime for gluten |
| gluten-lwt-unix | 0.2.1 | Lwt + Unix support for gluten |
| gluten-mirage | 0.2.1 | Mirage support for gluten |
| gmap | 0.3.0 | Heterogenous maps over a GADT |
| gmp-freestanding | 6.1.2-2 | The GNU Multiple Precision Arithmetic Library |
| gmp-xen | 6.0.0-1 | The GNU Multiple Precision Arithmetic Library |
| 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 |
| gobba | 0.4.1 | A simple, didactical, purely functional programming language |
| gobject-introspection | 0.2 | OCaml bindings for the GObject-Introspection library (https://gi.readthedocs.io/en/latest/) |
| goblint | 1.0.0 | Static analysis framework for concurrent C |
| goblint-cil | 1.7.4 | A front-end for the C programming language that facilitates program analysis and transformation |
| google-drive-ocamlfuse | 0.7.22 | A FUSE filesystem over Google Drive |
| gopcaml-mode | 0.0.1 | Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs |
| gperftools | 0.5 | Bindings to gperftoolsorg:ygrek |
| gpr | 1.5.0 | GPR - Library and Application for Gaussian Process Regression |
| gpx | 1.1.1 | Conversions between XML and GPX (1.1) types. |
| gr | 0.0.1 | OCaml bindings to the GR plotting library |
| grain_dypgen | 0.1 | Self-extensible parsers and lexers for OCaml |
| 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) |
| graphics | 5.1.0 | The OCaml graphics library |
| graphicspdf | 2.2.1 | Version of OCaml's Graphics library which outputs PDFs. |
| graphlib | 2.1.0 | Generic Graph library |
| graphql | 0.13.0 | Build GraphQL schemas and execute queries against them |
| graphql-async | 0.13.0 | Build GraphQL schemas with Async support |
| graphql-cohttp | 0.13.0 | Run GraphQL servers with `cohttp` |
| graphql-lwt | 0.13.0 | Build GraphQL schemas with Lwt support |
| graphql_parser | 0.13.0 | Library for parsing GraphQL queries |
| graphql_ppx | 0.7.1 | GraphQL PPX rewriter for Bucklescript/ReasonML |
| gremlin | 0.1.1 | Gremlin Client Library |
| grenier | 0.11 | A collection of various algorithms in OCaml |
| grib | 0.11.0 | Bindings for the ECMWF GRIB APIclib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib |
| gsasl | 0.10.0 | Bindings ot the GNU SASL library using Ctypes |
| gsl | 1.24.1 | GSL - Bindings to the GNU Scientific Library |
| gstreamer | 0.3.0 | Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams |
| GT | 0.2.0 | Generic programming with extensible transformations |
| gtk-light | 0.0.1 | Light wrapper around lablgtk2 |
| gtktop | 2.0 | A small library to ease the creation of graphical toplevels. |
| gufo | 0.1.2 | A fonctionnal shell |
| gxl-light | 1.0 | Gxl parser and in-place destructive update library |
| h2 | 0.6.1 | A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml |
| h2-async | 0.6.1 | Async support for h2 |
| h2-lwt | 0.6.1 | Lwt support for h2 |
| h2-lwt-unix | 0.6.1 | Lwt + UNIX support for h2 |
| h2-mirage | 0.6.1 | Mirage support for h2 |
| hack_parallel | 1.0.0 | Parallel and shared memory library |
| hacl | 0.3 | Tezos binding for Hacl* |
| hacl-star | 0.1.1 | OCaml API for EverCrypt/HACL* |
| hacl-star-raw | 0.1.1 | Auto-generated low-level OCaml bindings for EverCrypt/HACL* |
| hacl_x25519 | 0.1.1 | Primitives for Elliptic Curve Cryptography taken from Project Everest |
| hamt | 1.0.0 | Hash Array Mapped Tries |
| hardcaml | v0.14.0 | RTL Hardware Design in OCaml |
| hardcaml-affirm | 0.1.0 | Verification tools for HardCaml |
| hardcaml-bloop | 0.1.0 | Boolean logic tools for HardCaml |
| hardcaml-examples | 0.3.0 | HardCaml examples designs build using hardcaml-framework |
| hardcaml-framework | 0.3.0 | Framework for generating and simulating HardCaml cores |
| hardcaml-llvmsim | 0.3.0 | HardCaml simulation backend using LLVM |
| hardcaml-reedsolomon | 0.3.0 | HardCaml implementation of Reed-Solomon error correction coding |
| hardcaml-vpi | 0.3.0 | HardCaml Icarus Verilog cosimulation module |
| hardcaml-waveterm | 0.2.0 | Terminal based digital waveform viewer |
| hardcaml-yosys | 0.1.0 | Import Verilog designs into HardCaml |
| hardcaml_waveterm | v0.14.0 | A terminal based digital waveform viewer for Hardcaml |
| hashcons | 1.3 | OCaml hash-consing library |
| hashids | 1.0.1 | [hashids](http://hashids.org/): generate short, unique, non-sequential ids from numbers, that you can also decode |
| hashset | 1.0.0 | Sets as hash tables |
| haxe | 4.1.1 | Multi-target universal programming language |
| hc | 0.0.1 | Hashconsing library |
| hdf | 0.9.1 | Bindings for the HDF4 library |
| hdf5 | 0.1.5 | Manages HDF5 files used for storing large amounts of data |
| hdfs | 0.2 | Bindings to libhdfsorg:ygrek clib:hdfs |
| headache | 1.04 | Automatic generation of files headers |
| heptagon | 1.05.00 | Compiler for the Heptagon/BZR synchronous programming language |
| herdtools7 | 7.55 | The herdtools suite for simulating and studying weak memory models |
| herelib | 112.35.00 | Part of Jane Street’s Core library |
| hevea | 2.32 | A quite complete and fast LATEX to HTML translator |
| hex | 1.4.0 | Library providing hexadecimal converters |
| hidapi | 1.1.1 | Bindings to Signal11's hidapi library |
| higher | 0.3.1 | Library for higher-kinded programming.org:ocamllabs |
| higher_kinded | v0.14.1 | A library with an encoding of higher kinded types in OCaml |
| higlo | 0.6 | Library for syntax highlighting.syntax highlighting xml |
| hiredis | 0.8 | Redis tools based on the Hiredis C library |
| hiredis-value | 0.8 | Hiredis Value type |
| hkdf | 1.0.4 | HMAC-based Extract-and-Expand Key Derivation Function (RFC 5869) |
| hlarp | 0.0.3 | Normalize and compare HLA typing output. |
| hll | 2.7 | Create opam package files from a repository |
| hmap | 0.8.1 | Heterogeneous value maps for OCamldata-structure org:erratique |
| horned_worm | 0.3.5 | An easy functional Web app micro framework |
| hpack | 0.2.0 | An HPACK (Header Compression for HTTP/2) implementation in OCaml |
| hts_shrink | 2.1.1 | Distance-Based Boolean Applicability Domain for High Throughput Screening data |
| http2https | 1.0.0 | HTTP to HTTPS redirector daemon |
| http_router | 0.1.2 | Simple http router for cohttp and async. |
| httpaf | 0.6.6 | A high-performance, memory-efficient, and scalable web server for OCaml |
| httpaf-async | 0.6.6 | Async support for http/af |
| httpaf-lwt-unix | 0.6.6 | Lwt support for http/af |
| huffman | 0.1.2 | An OCaml library to manipulate Huffman trees |
| humane-re | 0.1.1 | A human friendly interface to regular expressions in OCaml |
| hvsock | 1.0.2 | Bindings for Hyper-V AF_VSOCK |
| hweak | 1.1 | An hastable with weak pointer enabling the GC to collect things that are in the hashtable |
| hxd | 0.2.0 | Hexdump in OCaml |
| hydro | 0.7.1 | An independent implementation of ICE, the object-oriented RPC protocol by ZeroC |
| i2c | 0.1.2-0 | i2c |
| i3ipc | 0.3 | A pure OCaml implementation of the i3 IPC protocoli3 ipc window-manager |
| ibx | 0.8.1 | OCaml implementation of the Interactive Brokers TWS API |
| icalendar | 0.1.3 | A library to parse and print the iCalendar (RFC 5545) formatorg:mirage org:robur |
| idd | 0.1 | Identity-suppressed decision diagrams (IDDs) |
| idds | 0.2 | Identity-suppressed decision diagrams (IDDs) |
| igvxml | 0.1.0 | Create IGV session files from the command-line |
| imagelib | 20180522 | The imagelib library implements image formats such as PNG and PPM |
| imagemagick | 0.34-1 | Bindings for ImageMagick |
| imap | 1.1.1 | Non-blocking client library for the IMAP4rev1 protocol |
| imaplet-lwt | 0.1.15 | IMAP server prototype, supports IMAPv4rev1 |
| immutable | 0.0.15 | Pure Reason implementation of persistent immutable data structures.reason reasonml ocaml immutable |
| incr_dom | v0.14.0 | A library for building dynamic webapps, using Js_of_ocaml |
| incr_dom_interactive | v0.14.0 | A monad for composing chains of interactive UI elements |
| incr_dom_keyboard | v0.14.0 | A library for Incr_dom keybinding and keyboard shortcut helpers |
| incr_dom_partial_render | v0.14.0 | A library for simplifying rendering of large amounts of data |
| incr_dom_sexp_form | v0.14.0 | A library for building forms that allow the user to edit complicated types |
| incr_dom_widgets | v0.13.0 | Utilities for Incr_dom |
| incr_map | v0.14.0 | Helpers for incremental operations on map like data structures |
| incr_select | v0.14.0 | Handling of large set of incremental outputs from a single input |
| incremental | v0.14.0 | Library for incremental computations |
| incremental_kernel | v0.11.1 | Library for incremental computations depending only on Core_kernel |
| index | 1.2.0 | A platform-agnostic multi-level index for OCaml |
| indexmap | 0.0.3 | Generic indexed data for OCaml |
| inferno | 20190924 | A library for constraint-based Hindley-Milner type inference |
| influxdb | 0.3.0 | InfluxDB client library |
| influxdb-async | 0.3.0 | InfluxDB client library using async for concurrency |
| influxdb-lwt | 0.3.0 | InfluxDB client library using lwt for concurrency |
| inotify | 2.3 | Inotify bindings for ocaml. |
| inquire | 0.2.0 | An OCaml library to create beautiful interactive CLIs |
| inspect | 0.2.1 | Inspect the runtime representation of arbitrary OCaml values. |
| integers | 0.4.0 | Various signed and unsigned integer types for OCaml |
| integration1d | 0.5.1 | Collection of 1D numerical integration routinesscience numerics |
| interface-prime | 0.1 | Interfaces for common design patternsinterface monad io lwt |
| interface-prime-lwt | 0.1 | Interfaces for common design patterns (LWT implementation)interface monad io lwt |
| interval | 1.5.1 | An interval arithmetic library for OCaml (meta package)interval science |
| interval_base | 1.5.1 | An interval library for OCaml (base package)interval science |
| interval_crlibm | 1.5.1 | An interval library for OCaml (crlibm version)interval science |
| interval_intel | 1.5.1 | An interval library for OCamlinterval science |
| inuit | 0.4.1 | Make interactive text-based user-interfaces in OCaml |
| io | 0.2.0 | Simple, secure and composable abstraction for efficient component |
| io-page | 2.3.0 | Support for efficient handling of I/O memory pagesorg:mirage |
| io-page-unix | 2.3.0 | Support for efficient handling of I/O memory pages on Unixorg:mirage |
| io-page-xen | 2.3.0 | Support for efficient handling of I/O memory pages on Xenorg:mirage |
| iocaml | 0.4.9 | A webserver for iocaml-kernel and iocamljs-kernel. |
| iocaml-kernel | 0.4.8 | An OCaml kernel for the IPython notebook. |
| iocamljs-kernel | 0.4.8 | An OCaml javascript kernel for the IPython notebook. |
| ipaddr | 4.0.0 | A library for manipulation of IP (and MAC) address representationsorg:mirage org:xapi-project |
| ipaddr-cstruct | 4.0.0 | A library for manipulation of IP address representations using Cstructsorg:mirage org:xapi-project |
| ipaddr-sexp | 4.0.0 | A library for manipulation of IP address representations usnig sexporg:mirage org:xapi-project |
| ipv6-multicast | 0.9 | UNIX bindings for IPv6 multicast |
| ipv6-multicast-lwt | 0.9 | UNIX bindings for IPv6 multicast — Lwt |
| irc-client | 0.6.2 | IRC client library - core functionality |
| irc-client-lwt | 0.6.2 | IRC client library - Lwt implementation |
| irc-client-lwt-ssl | 0.6.2 | IRC client library - Lwt SSL implementation |
| irc-client-tls | 0.6.2 | IRC client library - TLS implementation |
| irc-client-unix | 0.6.2 | IRC client library - Unix implementation |
| iri | 0.4.0 | IRI (RFC3987) native OCaml implementation.web iri rfc3987 |
| irmin | 2.1.0 | Irmin, a distributed database that follows the same design principles as Git |
| irmin-chunk | 2.0.0 | Irmin backend which allow to store values into chunks |
| irmin-fs | 2.0.0 | Generic file-system backend for Irmin |
| irmin-git | 2.0.0 | Git backend for Irmin |
| irmin-graphql | 2.1.0 | GraphQL server for Irmin |
| irmin-http | 2.0.0 | HTTP client and server for Irmin |
| irmin-indexeddb | 2.0 | Irmin backend using the web-browser's IndexedDB store |
| irmin-mem | 2.0.0 | Generic in-memory Irmin stores |
| irmin-mirage | 2.0.0 | MirageOS-compatible Irmin stores |
| irmin-mirage-git | 2.0.0 | MirageOS-compatible Irmin stores |
| irmin-mirage-graphql | 2.0.0 | MirageOS-compatible Irmin stores |
| irmin-pack | 2.1.0 | Irmin backend which stores values in a pack file |
| irmin-test | 2.0.0 | Irmin test suite |
| irmin-unix | 2.1.0 | Unix backends for Irmin |
| irmin-watcher | 0.4.1 | Portable Irmin watch backends using FSevents or Inotify |
| irrlicht | 0.0.5 | An OCaml binding for the Irrlicht Enginebinding 3D gamedev |
| iso-filesystem | 0.1 | ISO9660 filesystem library |
| iso639 | 0.0.4 | Language Codes for OCaml |
| ISO8601 | 0.2.6 | ISO 8601 and RFC 3999 date parsing for OCaml |
| iter | 1.2.1 | iter iterator iter fold |
| itv-tree | 2.1 | float intervals tree library |
| ivy | 1.3.1 | This OCaml-library interfaces the Ivy software bus C-library. |
| jane-street-headers | v0.14.0 | Jane Street C header files |
| jane-street-tests | v0.10.0 | Tests for Jane Street packages |
| javalib | 3.2.1 | Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files |
| javascriptcore | 0.0.1 | OCaml bindings to JavaScriptCoreclib:javascriptcoregtk clib:c |
| jbuilder | transition | This is a transition package, jbuilder is now named dune. Use the dune |
| jekyll-format | 0.1.0 | Jekyll post parsing libraryorg:ocamllabs org:mirage |
| jemalloc | 0.2 | Bindings to jemalloc mallctl apiorg:ahrefs clib:jemalloc |
| jenga | v0.11.0 | Industrial strength, full-featured build system |
| jerboa | 0.1 | Jerboa is a minimalistic web framework for everyone |
| jhupllib | 0.2.1 | A collection of OCaml utilities used by the JHU PL lab |
| jingoo | 1.3.4 | Template engine almost compatible with Jinja2(python template engine) |
| jitsu | 0.3.0 | A forwarding DNS server that automatically starts unikernels on demand |
| jitsu-libvirt | 0.0.1 | Virtual package for installing Jitsu with a libvirt backend. |
| jitsu-libxl | 0.0.1 | Virtual package for installing Jitsu with a libxl (xenctrl) backend. |
| jitsu-xapi | 0.0.1 | Virtual package for installing Jitsu with a Xapi (xen-api-client) backend. |
| joolog | 0.4 | Logger for js_of_ocaml |
| jose | 0.4.0 | JOSE implementation for OCaml and ReasonML |
| js-build-tools | 113.33.04 | Collection of tools to help building Jane Street Packages |
| js-lz4 | 109.38.alpha1 | Barebones bindings for the LZ4 C api |
| js_of_ocaml | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-camlp4 | 3.1.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-compiler | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-lwt | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-ocamlbuild | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-ppx | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-ppx_deriving_json | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-toplevel | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| js_of_ocaml-tyxml | 3.6.0 | Compiler from OCaml bytecode to Javascript |
| JsOfOCairo | 2.0.0 | Library to reuse Cairo-based drawing code in web browsers |
| json-data-encoding | 0.8 | Type-safe encoding to and decoding from JSON |
| json-data-encoding-browser | 0.8 | Type-safe encoding to and decoding from JSON (browser support) |
| json-data-encoding-bson | 0.8 | Type-safe encoding to and decoding from JSON (bson support) |
| json-derivers | 1.0.0 | Common Derivers for Jsonm/Yjsonderiving json |
| json-pointer | 0.1.1-0 | JSON pointer |
| json-predicate | 0.2.0-0 | JSON predicate |
| json-rpc | 0.5.0-0 | JSON RPC |
| json-static | 0.9.8 | JSON camlp4 syntax extension using json-wheel |
| json-wheel | 1.0.6+safe-string | JSON parser and writer, with optional C-style comments |
| json-wheel_jane_street_overlay | v0.9.0 | Jane Street overlay of the json-wheel library |
| json_decoder | 0.1.1 | |
| json_of_jsonm | 1.0.0 | json_of_jsonm_lib is a JSON encoder and decoder library that converts text to and from a |
| jsondiff | 0.0.1 | JSON sensitive diffing |
| jsonm | 1.0.1 | Non-blocking streaming JSON codec for OCamljson codec org:erratique |
| jsoo_broadcastchannel | 2.0.0 | A wrapper in Js_of_ocaml to deal with BroadcastChannel |
| jsoo_router | 1.0 | Jsoo_router provide an extension point to manage route with the Hash |
| jsoo_storage | 1.0.1 | A wrapper in Js_of_ocaml for the WebStorage API |
| jst-config | v0.14.0 | Compile-time configuration for Jane Street libraries |
| junit | 2.0.2 | JUnit XML reports generation libraryjunit jenkins |
| junit_alcotest | 2.0.2 | JUnit XML reports generation for alcotest testsjunit jenkins alcotest |
| junit_ounit | 2.0.2 | JUnit XML reports generation for OUnit testsjunit jenkins ounit |
| jupyter | 2.7.1 | An OCaml kernel for Jupyter notebook |
| jupyter-archimedes | 2.3.2 | A Jupyter-friendly 2D plotting library (Archimedes backend) |
| jupyter-kernel | 0.6 | Library to write jupyter kernels (interactive notebooks)jupyter ipython |
| jwt | 0.1 | Implementation of JWT in OCaml. |
| jwto | 0.3.0 | JWT encoding, decoding and verification |
| kafka | 0.4 | OCaml bindings for Kafka |
| kaputt | 1.2 | Testing tool |
| KaSim | 4.0.0 | Software suite for the Kappa language. |
| ke | 0.4 | Queue implementation |
| ketrew | 3.2.1 | A Workflow Engine for Computational Experiments |
| key-parsers | 0.10.1 | Parsers for multiple key formats |
| kicadsch | 0.6.1 | Library to read and convert Kicad Sch files |
| kinetic-client | 0.0.11 | Client API for Seagate's Kinetic drives |
| krb5 | 109.38.alpha1 | Kerberos 5 bindings |
| kremlin | 0.9.6.0 | A compiler from Low*, a low-level subset of F*, to C. |
| kubecaml | 0.1.0 | Kubernetes API client for OCaml |
| kyotocabinet | 0.2 | OCaml bindings for Kyoto Cabinet DBM |
| lablgl | 1.06 | Interface to OpenGL |
| lablgtk | 2.18.10 | OCaml interface to GTK+ |
| lablgtk-extras | 1.6 | A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.gtk utils configuration |
| lablgtk3 | 3.1.0 | OCaml interface to GTK+3 |
| lablgtk3-gtkspell3 | 3.1.0 | OCaml interface to GTK+3 |
| lablgtk3-sourceview3 | 3.1.0 | OCaml interface to GTK+ gtksourceview library |
| lablgtkosx | 2.01 | Lablgtkosx binds gOSX_application on top of lablgtk |
| lablqml | 0.6.2 | OCamlfind package and PPX extension to interface OCaml and QtQuickgui ui qt |
| lablqt | 0.2 | Tool for interfacing QtQuick with OCaml |
| labltk | 8.06.8 | OCaml interface to Tcl/Tk |
| labrys | 0.1 | A toy language based on LLVM that implements the System Fω type-systemcompiler System F System Fω llvm type-system language |
| lacaml | 11.0.6 | Lacaml - OCaml-bindings to BLAS and LAPACK |
| lacc | 0.2 | fat-free list accumulators |
| ladspa | 0.1.5 | Bindings for the LADSPA API which provides audio effects |
| lambda | 0.1.7 | λ-calculus ocaml library |
| lambda-term | 3.1.0 | Terminal manipulation library for OCaml |
| lambda_streams | 0.1.2 | Lambda-based streaming library |
| lambda_streams_async | 0.1.2 | Async helpers for lambda_streams |
| lambda_streams_lwt | 0.1.2 | Lwt helpers for lambda_streams |
| lambdapi | 1.0 | Implementation of the λΠ-calculus modulo rewriting |
| lambdasoup | 0.7.1 | Easy functional HTML scraping and manipulation with CSS selectors |
| lambdoc | 1.0-beta4 | Library providing support for semantically rich documents in web applications. |
| lame | 0.3.3 | Bindings for the lame library which provides functions for encoding mp3 files |
| landmarks | 1.3 | A simple profiling library |
| lascar | 0.6.0 | A library for manipulating Labeled Transition Systems in OCaml |
| lastfm | 0.3.2 | The lastfm library is an implementation of the API used by the last.fm to keep count of played songs |
| launchd | 1.3 | Bindings for the launchd socket activation API |
| lazy-trie | 1.2.0 | Implementation of lazy prefix trees |
| lbfgs | 0.9.3 | Bound-constrainted optimization in many variablesscience numerics optimization minimization maximization bound-constrained large-scale |
| lbvs_consent | 2.1.1 | Chemoinformatics software for consensus fingerprint queries |
| ldap | 2.4.1 | Implementation of the Light Weight Directory Access Protocolldap |
| learn-ocaml | 0.12 | The learn-ocaml online platform (engine) |
| learn-ocaml-client | 0.12 | The learn-ocaml client |
| ledgerwallet | 0.1.0 | Ledger wallet library for OCaml |
| ledgerwallet-tezos | 0.1.0 | Ledger wallet library for OCaml: Tezos app |
| ledit | 2.04 | Line editor, a la rlwrap |
| lem | 2020-06-03 | Lem is a tool for lightweight executable mathematics |
| lemonade | 0.6.0 | A monad library with bubblespattern monad |
| lemonade-sqlite | 0.1.0 | A monadic interface to sqlitesql sqlite monad |
| lens | 1.2.3 | Functional lenses |
| let-if | 0.2.0 | let%if syntax inspired by Rust's if let syntax |
| letsencrypt | 0.2.2 | ACME implementation in OCaml |
| leveldb | 1.2.0 | OCaml bindings for Google's LevelDB library. |
| levenshtein | 1.1.3 | Levenshtein distance algorithm for general array |
| libdash | 0.1.1 | Bindings to the dash shell's parser |
| libevent | 0.8.1 | OCaml wrapper for the libevent APIorg:ygrek |
| libra-tk | 1.1.2 | Learning and inference with discrete probabilistic modelsclib:expat |
| libres3 | 1.3 | Amazon S3 compatible server |
| libssh | 0.1 | Bindings to libsshclib:ssh |
| libsvm | 0.10.0 | LIBSVM bindings for OCaml |
| libtensorflow | 0.1 | TensorFlow library package |
| libtorch | 1.5.0 | LibTorch library package |
| libudev | 0.2.1 | Bindings to libudev for OCaml |
| libvhd | 0.9.0 | OCaml bindings for the C library 'libvhd' which allows the manipulationorg:mirage org:xapi-project |
| libvirt | 0.6.1.4 | Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.org:mirage org:xapi-project |
| libzipperposition | 1.6 | Library for Zipperpositionlogic unification term superposition prover |
| lilis | 0.2.1 | Library to Interpret Lindenmayer Systemslsystem grammar graphics logo |
| line-up-words | v0.14.0 | Align words in an intelligent way |
| linenoise | 1.3.1 | Lightweight readline alternative |
| linkage | 0.1 | easier plugin loading |
| links | 0.9.1 | The Links Programming Language |
| links-postgresql | 0.9.1 | Postgresql database driver for the Links Programming Language |
| links-sqlite3 | 0.9.1 | SQLite database driver for the Links Programming Language |
| linksem | 0.7 | A formalisation of the core ELF file format written in Lem |
| linwrap | 5.0.0 | Wrapper around liblinear-tools |
| lipsum | 0.2 | lipsum - self-contained tool for literate programming in tradition of NoWeb |
| liquidsoap | 1.4.2 | Swiss-army knife for multimedia streaming |
| liquidsoap-daemon | 1.0.0 | Daemonization scripts for liquidsoap |
| litiom | 4.0 | Extensions to Ocsigen's Eliom. |
| llopt | 1.0.0 | Just a tiny LLVM-IR optimizer for testing stuff.llvm optimization test testing compiler |
| llvm | 10.0.0 | The OCaml bindings distributed with LLVM |
| llvmgraph | 0.2 | Ocamlgraph overlay for llvmllvm ocamlgraph |
| lmdb | 1.0 | Bindings for LMDB, a fast in-file database with ACID transactionsclib:lmdb database |
| lo | 0.1.2 | Bindings for the lo library which provides functions for communicating with input controls using the OSC protocol |
| loga | 0.0.5 | Logging library for OCaml |
| logger-p5 | 0.4.3 | Camlp5 syntax extension for logging |
| logical | 0.3.0 | Logical is a minimalistic logic programming inspired by microKanren |
| logs | 0.7.0 | Logging infrastructure for OCamllog system org:erratique |
| logs-async | 1.1 | Jane Street Async logging with Logs |
| logs-async-reporter | 1.0 | Logs reporter compatible with Async's threads |
| logs-syslog | 0.2.2 | Logs reporter to syslog (UDP/TCP/TLS) |
| logtk | 1.6 | Core types and algorithms for logiclogic unification term |
| lp | 0.2.0 | LP and MIP modeling in OCaml |
| lp-glpk | 0.2.0 | LP and MIP modeling in OCaml (GLPK interface) |
| lp-gurobi | 0.2.0 | LP and MIP modeling in OCaml (Gurobi interface) |
| lpd | 1.2.2 | A Line Printer Daemon (LPD) server library written entirely in OCaml.lpd print |
| lpi | 0.0.2 | A REPL and library for a small dependently-typed language. |
| lru | 0.3.0 | Scalable LRU caches |
| lru-cache | 0.3.0 | A simple implementation of a LRU cache.cache |
| lua-ml | 0.9.1 | An embeddable Lua 2.5 interpreter implemented in OCaml |
| lua_pattern | 1.7 | Implementation of Lua patterns |
| lustre-v6 | 6.101.7 | The Lustre V6 Verimag compiler |
| lutils | 1.49.5 | Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg) |
| lutin | 2.70.4 | Lutin: modeling stochastic reactive systemsclib:stdc clib:camlidl |
| luv | 0.5.2 | Binding to libuv: cross-platform asynchronous I/O |
| lwt | 5.3.0 | Promises and event-driven I/O |
| lwt-binio | 0.2.1 | Asynchronous random access IO for numbers |
| lwt-canceler | 0.2 | Cancellation synchronization object |
| lwt-dllist | 1.0.0 | Mutable doubly-linked list with Lwt iterators |
| lwt-parallel | 0.1.2 | Lwt-enabled multiprocessing library |
| lwt-pipe | 0.1 | An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal bufferlwt pipe stream blocking |
| lwt-pipeline | 0.2 | Pipeline library for Lwt |
| lwt-watcher | 0.1 | One-to-many broadcast in Lwt |
| lwt-zmq | 2.1.0 | Lwt-friendly interface to ZeroMQ |
| lwt_camlp4 | 1.0.0 | Camlp4 syntax extension for Lwt (deprecated) |
| lwt_glib | 1.1.1 | GLib integration for Lwt |
| lwt_log | 1.1.1 | Lwt logging library (deprecated) |
| lwt_named_threads | 0.1 | Library to attach names and logs to Lwt threads (for debug/trace/objsize)org:ahrefs |
| lwt_ppx | 2.0.1 | PPX syntax for Lwt, providing something similar to async/await from JavaScript |
| lwt_react | 1.1.3 | Helpers for using React with Lwt |
| lwt_ssl | 1.1.3 | OpenSSL binding with concurrent I/O |
| lymp | 0.2.5 | Use Python functions and objects from OCaml |
| lz4 | 1.1.1 | Bindings for LZ4, a very fast lossless compression algorithmcompression |
| lz4_chans | 3.0.1 | LZ4-compressed binary channels |
| lzo | 0.0.2 | Bindings to LZO - a portable lossless data compression libraryorg:ygrek |
| m17n | 1.0 | Multilingualization for OCaml source codesyntax |
| macaddr | 4.0.0 | A library for manipulation of MAC address representationsorg:mirage org:xapi-project |
| macaddr-cstruct | 4.0.0 | A library for manipulation of MAC address representations using Cstructsorg:mirage org:xapi-project |
| macaddr-sexp | 4.0.0 | A library for manipulation of MAC address representations using sexporg:mirage org:xapi-project |
| macaque | 0.8 | DSL for SQL Queries in Caml |
| macaque_lwt | 0.1 | Utils for MaCaQue with Lwt |
| macaroons | 0.1.1 | Macaroons for OCaml |
| mad | 0.4.5 | Bindings for the mad library which provides functions for encoding wave audio files into mp3 |
| magic | 0.7.3 | Bindings for libmagic (to determine the type of files) |
| magic-mime | 1.1.2 | Map filenames to common MIME types |
| maildir | 0.9.0 | This is a preliminary release of an OCaml library to access directories in the Maildir format. |
| maki | 0.2 | Persistent incremental computations, for repeatable tests and benchmarks.incremental persistent memoization |
| malfunction | 0.3 | Compiler back-end for functional languages, based on OCaml. |
| mariadb | 1.1.4 | OCaml bindings for MariaDB |
| markdown | 0.2.1 | Markdown processor for Ocsigen |
| markup | 0.8.2 | Error-recovering functional HTML5 and XML parsers and writers |
| markup-lwt | 0.5.0 | Adapter between Markup.ml and Lwt |
| mascot | 1.0 | A style-checker for OCaml sources (code, documentation, interface, metrics, and typography). |
| mastodon-archive-viewer | 0.3 | View your Mastodon archive offlinemastodon ActivityPub |
| matplotlib | 0.1 | Plotting using Matplotlib through python |
| maxminddb | 0.6 | Bindings to Maxmind.com's libmaxminddb library, like geoip2clib:maxminddb |
| mbr-format | 0.3 | A simple library for manipulating Master Boot Records.org:mirage |
| mccs | 1.1+11 | MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project |
| md2mld | 0.3.0 | Md files into odoc mld files |
| mdx | 1.6.0 | Executable code blocks inside markdown files |
| mecab | 0.0.0 | An OCaml binding of MeCab, a part-of-speech and morphological analyzer. |
| mechaml | 1.2.0 | A functional web scraping libraryweb scraping mechanize http client |
| melt | 1.4.0 | Program LaTeX documents using OCaml |
| memcad | 1.0.0 | The MemCAD analyzer |
| memcpy | 0.2.1 | Safe and efficient copying between blocks of memory.org:mirage |
| memo | 0.0.1 | Memoïzation library |
| memprof-limits | 0.1 | Memory limits based on memprof |
| menhir | 20200612 | An LR(1) parser generator |
| menhirLib | 20200612 | Runtime support library for parsers generated by Menhir |
| menhirSdk | 20200612 | Compile-time library for auxiliary tools related to Menhir |
| merge-fmt | 0.2 | Git mergetool leveraging code formatters |
| merge-queues | 0.2.0 | Mergeable queues |
| merge-ropes | 0.2.0 | Mergeable ropes |
| mergeable-vector | 0.1.0 | Mergeable vector based on operational transformation |
| merlin | 3.3.6 | Editor helper, provides completion, typing and source browsing in Vim and Emacs |
| merlin-acme | 0.1 | Merlin interface for acme. |
| merlin-extend | 0.5 | A protocol to provide custom frontend to Merlin |
| merlin-of-pds | 1.4 | Simple script that turns a pds.conf into a .merlin file |
| mesh | 0.9.5 | Triangular mesh generation and manipulationMesh Triangulation PDE |
| mesh-display | 0.8.9 | Triangular mesh representation using the graphics module |
| mesh-easymesh | 0.9.5 | Triangular mesh generation with EasyMeshMesh Triangulation PDE |
| mesh-graphics | 0.9.5 | Triangular mesh representation using the graphics modulemesh |
| mesh-triangle | 0.9.5 | Binding to the triangle mesh generatorclib:triangle |
| message-switch | 1.4.0 | A simple store-and-forward message switch.org:xapi-project |
| meta_conv | 1.1.5 | Meta conv, type_conv for various tree data formats. |
| metapp | 0.2.0 | Meta-preprocessor for OCaml |
| metaquot | 0.2.0 | OCaml syntax extension for quoting code |
| metrics | 0.2.0 | Metrics infrastructure for OCaml |
| metrics-influx | 0.2.0 | Influx reporter for the Metrics library |
| metrics-lwt | 0.2.0 | Lwt backend for the Metrics library |
| metrics-mirage | 0.2.0 | Mirage backend for the Metrics library |
| metrics-unix | 0.2.0 | Unix backend for the Metrics library |
| mew | 0.1.0 | Modal editing witch |
| mew_vi | 0.5.0 | Modal editing witch, VI interpreter |
| mezzo | 0.0.m8 | We present the design of Mezzo, a programming language in the ML tradition, |
| mikmatch | 1.0.9 | OCaml syntax extension for regexps |
| milter | 1.0.4 | OCaml libmilter bindings |
| mindstorm | 0.8 | Drive Lego Mindstorms bricks from OCamllego robotics mindstorms clib:usb clib:bluetooth |
| mindstorm-lwt | 0.8 | Drive Lego Mindstorms bricks from OCaml (LWT version)lego robotics mindstorms clib:usb clib:bluetooth |
| minicaml | 0.4 | A simple, didactical, purely functional programming language |
| minicli | 5.0.2 | Minimalist library for command line parsing |
| minilight | 1.6 | Minimal global illumination renderer. |
| minima-theme | 1.0.0 | OCaml port of the Jekyll Minima themeorg:mirage org:ocamllabs |
| minimal | 1.1.0 | Minima.l, a minimal Lisp |
| minios-xen | 0.9 | A minimal OS for running under the Xen hypervisor |
| minisat | 0.3 | Bindings to Minisat-C-1.14.1, with the solver includedminisat solver SAT |
| minivpt | 2.0.0 | Minimalist vantage point tree implementation in OCaml. |
| mirage | 3.7.7 | The MirageOS library operating systemorg:mirage org:xapi-project |
| mirage-block | 2.0.1 | Block signatures and implementations for MirageOSorg:mirage |
| mirage-block-ccm | 1.0.1 | AES-CCM encrypted Mirage V1.BLOCK storage |
| mirage-block-combinators | 2.0.1 | Block signatures and implementations for MirageOS using Lwtorg:mirage |
| mirage-block-lwt | 1.2.0 | Block signatures and implementations for MirageOS using Lwtorg:mirage |
| mirage-block-ramdisk | 0.5 | In-memory BLOCK device for MirageOSorg:mirage |
| mirage-block-solo5 | 0.6.1 | Solo5 implementation of MirageOS block interfaceorg:mirage |
| mirage-block-unix | 2.12.0 | MirageOS disk block driver for Unixorg:mirage |
| mirage-block-xen | 1.7.0 | MirageOS block driver for Xen that implements the blkfront/back protocolorg:mirage org:xapi-project |
| mirage-bootvar-solo5 | 0.6.0 | Solo5 implementation of MirageOS Bootvar interfaceorg:mirage |
| mirage-bootvar-unix | 0.1.0 | Unix implementation of MirageOS Bootvar interfaceorg:mirage |
| mirage-bootvar-xen | 0.7.0 | Handle boot-time arguments for Xen platform |
| mirage-btrees | 0.1.0 | An implementation of BTrees designed for use with MirageOS's BLOCK interface |
| mirage-channel | 4.0.1 | Buffered channels for MirageOS FLOW typesorg:mirage |
| mirage-channel-lwt | 3.2.0 | Buffered Lwt channels for MirageOS FLOW typesorg:mirage |
| mirage-clock | 3.0.1 | Libraries and module types for portable clocksorg:mirage |
| mirage-clock-freestanding | 3.0.1 | Paravirtual implementation of the MirageOS Clock interfaceorg:mirage |
| mirage-clock-lwt | 2.0.0 | Lwt-based implementation of the MirageOS Clock interfaceorg:mirage |
| mirage-clock-unix | 3.0.1 | Unix-based implementation for the MirageOS Clock interfaceorg:mirage |
| mirage-clock-xen | 1.1 | A Mirage-compatible Clock library for Xenorg:mirage org:xapi-project |
| mirage-conduit | 3.2.0 | MirageOS interface to network connectionsorg:mirage |
| mirage-console | 3.0.2 | Implementations of Mirage console devicesorg:mirage org:xapi-project |
| mirage-console-lwt | 2.4.3 | Implementation of Mirage consoles using Lwtorg:mirage org:xapi-project |
| mirage-console-solo5 | 0.6.1 | Solo5 implementation of MirageOS console interfaceorg:mirage |
| mirage-console-unix | 3.0.2 | Implementation of Mirage consoles for Unixorg:mirage org:xapi-project |
| mirage-console-xen | 3.0.2 | Implementation of Mirage console for Xenorg:mirage org:xapi-project |
| mirage-console-xen-backend | 3.0.2 | Implementation of Mirage console backend for Xenorg:mirage org:xapi-project |
| mirage-console-xen-cli | 2.2.0 | Libraries for interacting with the Xen console command-line interface.org:mirage org:xapi-project |
| mirage-console-xen-proto | 3.0.2 | Implementation of Mirage console protocol for Xenorg:mirage org:xapi-project |
| mirage-crypto | 0.7.0 | Simple symmetric cryptography for the modern age |
| mirage-crypto-entropy | 0.6.2 | Entropy source for MirageOS unikernelsorg:mirage |
| mirage-crypto-pk | 0.7.0 | Simple public-key cryptography for the modern age |
| mirage-crypto-rng | 0.7.0 | A cryptographically secure PRNG |
| mirage-device | 2.0.0 | Abstract devices for MirageOSorg:mirage |
| mirage-dns | 3.1.3 | DNS implementation for the MirageOS unikernel framework |
| mirage-entropy | 0.5.1 | Entropy source for MirageOS unikernelsorg:mirage |
| mirage-entropy-unix | 0.2.0 | MirageOS entropy device |
| mirage-entropy-xen | 0.3.0 | MirageOS entropy deviceorg:mirage |
| mirage-flow | 2.0.1 | Flow implementations and combinators for MirageOSorg:mirage |
| mirage-flow-combinators | 2.0.1 | Flow implementations and combinators for MirageOS specialized to lwtorg:mirage |
| mirage-flow-lwt | 1.6.0 | Flow implementations and combinators for MirageOS specialized to lwtorg:mirage |
| mirage-flow-rawlink | 1.1.0 | Expose rawlink interfaces as MirageOS flowsorg:mirage |
| mirage-flow-unix | 2.0.1 | Flow implementations and combinators for MirageOS on Unixorg:mirage |
| mirage-fs | 3.0.1 | MirageOS signatures for filesystem devicesorg:mirage |
| mirage-fs-lwt | 2.0.0 | MirageOS signatures for filesystem devices using Lwtorg:mirage |
| mirage-fs-mem | 0.1.0 | In-memory file system for for MirageOSorg:mirage org:robur |
| mirage-fs-unix | 1.7.0 | Passthrough filesystem for MirageOS on Unixorg:mirage |
| mirage-git | 1.6.0 | Virtual package to install the `git.mirage` libary |
| mirage-http | 3.2.0 | MirageOS-compatible implementation of the Cohttp interfacesorg:mirage org:xapi-project |
| mirage-http-unix | 1.0.0 | MirageOS HTTP client and server driver for Unix |
| mirage-http-xen | 1.0.0 | MirageOS HTTP client and server driver for Xen |
| mirage-irmin | 0.9.8 | Virtual package to install Irmin with mirage support |
| mirage-kv | 3.0.1 | MirageOS signatures for key/value devicesorg:mirage |
| mirage-kv-lwt | 2.0.0 | MirageOS signatures for key/value devicesorg:mirage |
| mirage-kv-mem | 3.0.0 | In-memory key value store for MirageOSorg:mirage org:robur |
| mirage-kv-unix | 2.1.0 | Key-value store for MirageOS backed by Unix filesystemorg:mirage |
| mirage-logs | 1.2.0 | A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestampsorg:mirage |
| mirage-nat | 2.2.1 | Mirage-nat is a library for network address translation to be used with MirageOS |
| mirage-net | 3.0.1 | Network signatures for MirageOSorg:mirage |
| mirage-net-direct | 0.9.4 | TCP/IP networking stack in pure OCamlorg:mirage org:xapi-project |
| mirage-net-fd | 0.2.1 | MirageOS network interfaces using raw sockets |
| mirage-net-flow | 1.0.0 | Build MirageOS network interfaces on top of MirageOS flows |
| mirage-net-lwt | 2.0.0 | Network signatures for MirageOSorg:mirage |
| mirage-net-macosx | 1.8.0 | MacOS implementation of the Mirage_net_lwt interfaceorg:mirage |
| mirage-net-socket | 0.9.4 | Socket-based networking stack compatible with Mirageorg:mirage org:xapi-project |
| mirage-net-solo5 | 0.6.1 | Solo5 implementation of MirageOS network interfaceorg:mirage |
| mirage-net-unix | 2.7.0 | Unix implementation of the Mirage_net_lwt interface |
| mirage-net-xen | 1.13.0 | Network device for reading and writing Ethernet frames via then Xen netfront/netback protocolorg:mirage |
| mirage-no-solo5 | 1 | Virtual package conflicting with mirage-solo5 |
| mirage-no-xen | 1 | Virtual package conflicting with mirage-xen |
| mirage-os-shim | 3.1.0 | Portable shim for MirageOS OS API |
| mirage-profile | 0.9.1 | Collect runtime profiling information in CTF format |
| mirage-profile-unix | 0.9.1 | Collect runtime profiling information in CTF format |
| mirage-profile-xen | 0.9.1 | Collect runtime profiling information in CTF format |
| mirage-protocols | 4.0.1 | MirageOS signatures for network protocolsorg:mirage |
| mirage-protocols-lwt | 3.1.0 | MirageOS signatures for network protocolsorg:mirage |
| mirage-qubes | 0.8.2 | Implementations of various Qubes protocols for MirageOS |
| mirage-qubes-ipv4 | 0.8.2 | Implementations of IPv4 stack which reads configuration from QubesDB for MirageOS |
| mirage-random | 2.0.0 | Random-related devices for MirageOSorg:mirage |
| mirage-random-stdlib | 0.1.0 | Random device implementation using the OCaml stdliborg:mirage |
| mirage-random-test | 0.1.0 | Stub random device implementation for testingorg:mirage |
| mirage-runtime | 3.7.6 | The base MirageOS runtime library, part of every MirageOS unikernelorg:mirage org:xapi-project |
| mirage-seal | 0.4.2 | Serve static files over HTTPS, using Mirage+ocaml-TLS. |
| mirage-solo5 | 0.6.2 | Solo5 core platform libraries for MirageOSorg:mirage |
| mirage-stack | 2.0.1 | MirageOS signatures for network stacksorg:mirage |
| mirage-stack-lwt | 1.4.0 | MirageOS signatures for network stacksorg:mirage |
| mirage-tc | 0.3.0 | MirageOS type-classes |
| mirage-tcpip-unix | 0.9.5 | Userlevel TCP/IP stack |
| mirage-tcpip-xen | 0.9.5 | Userlevel TCP/IP stack |
| mirage-time | 2.0.1 | Time operations for MirageOSorg:mirage |
| mirage-time-lwt | 1.3.0 | Time operations for MirageOS with Lwtorg:mirage |
| mirage-time-unix | 2.0.1 | Time operations for MirageOS on Unixorg:mirage |
| mirage-types | 3.7.6 | Module type definitions for MirageOS applicationsorg:mirage org:xapi-project |
| mirage-types-lwt | 3.7.6 | Lwt module type definitions for MirageOS applicationsorg:mirage org:xapi-project |
| mirage-unix | 4.0.0 | Unix core platform libraries for MirageOSorg:mirage |
| mirage-vnetif | 0.5.0 | Virtual network interface and software switch for Mirageorg:mirage |
| mirage-www | 1.1.0 | MirageOS website (written with MirageOS) |
| mirage-xen | 5.0.0 | Xen core platform libraries for MirageOSorg:mirage |
| mirage-xen-minios | 0.9.3 | Xen MiniOS guest operating system libraryorg:mirage |
| mirage-xen-ocaml | 3.3.2 | MirageOS headers for the OCaml runtimeorg:mirage |
| mirage-xen-posix | 3.3.1 | MirageOS library for posix headers |
| mirari | 0.9.7 | MirageOS application builderorg:mirage |
| mirror | 0.0.1 | Mirror upstream OPAM package distribution filesorg:ocamllabs org:mirage |
| missinglib | 0.4.1 | Collection of OCaml-related utilities |
| misuja | 0.0.0 | A library to drive the MIDI system of the Jack Audio Connection Kit. |
| mixture | 1.0.0 | The Mixture package is a mixin library for the module systempattern |
| mkaudio | 1.1.0 | CLI program for generating audio files |
| mkocaml | 1.0 | Tool to generate OCaml projects |
| ml2mxml | 0.2 | Generate musicxml files from OCaml |
| mlbdd | 0.6 | A high performance BDD implementation in OCaml |
| mlcuddidl | 3.0.5 | OCaml interface to the CUDD BDD library |
| mld | 0.2 | The MLD package makes directory foo.mld turn into module Foo |
| mldonkey | 3.1.6 | Cross-platform multi-network peer-to-peer daemon |
| mlfenv | 1.0.0 | OCaml C bindings for fenv(3) |
| mlgmp | 20120224 | Interface of GNU MP and MPFR |
| mlgmpidl | 1.2.12 | OCaml interface to the GMP library |
| mlmpfr | 4.0.2+dune | OCaml C bindings for MPFR-4.0.2 |
| mlpost | 0.8.2 | Interface to Metapost |
| mlt_parser | v0.14.0 | Parsing of top-expect files |
| mm | 0.5.0 | The mm library contains high-level to create and manipulate multimedia streams (audio, video, MIDI) |
| mmap | 1.1.0 | File mapping functionality |
| mmdb | 0.3.0 | Binding to the MaxMind DB library for GeoIP lookups |
| mmseg | transition | This is a transition package, mmseg is now named wseg. Use the wseg package instead |
| mock | 0.1.1 | Configurable functions to test impure code |
| mock-ounit | 0.1.1 | OUnit wrapper for OCaml mock |
| modelica_ml | 0.2.0 | Modelica abstract syntax and parser |
| modular-arithmetic | 0.1 | A library for operations on integers modulo some integer (the modulus) |
| molenc | 8.0.2 | Molecular encoder/featurizer using rdkit and OCaml |
| monadlib | 0.2 | A starter library for monads, with transformers and applicatives. |
| monads | 2.1.0 | A missing monad library |
| mongo | 0.67.2 | OCaml driver for MongoDB |
| monolith | 20200609 | A framework for testing a library using afl-fuzz |
| monomorphic | 1.5 | A small library used to shadow polymorphic operators (and functions) contained in the stdlib.polymorphic compare equal equality monomorphic unsafe safe |
| morbig | 0.10.3 | A trustworthy parser for POSIX shell |
| more-ocaml | 1.0 | Support code for the book 'More OCaml' |
| morsmall | 0.2.0 | A concise AST for POSIX shell |
| mosquitto | 0.2.1-0 | mosquitto |
| moss | 0.1.1 | A client for the MOSS plagiarism detection serviceMOSS |
| mparser | 1.2.3 | A simple monadic parser combinator library |
| mpi | 1.03 | OCaml binding to the Message Passing Interface (MPI) |
| mpp | 0.3.2 | A preprocessor meant to blend languages. |
| mpris | 0.2.0 | Client library for the MPRIS D-Bus media player interface |
| mpris-clients | 0.2.0 | Client implementations of the MPRIS D-Bus media player interface |
| mqtt | 0.0.2 | MQTT message parser in OCaml |
| mqtt_client | 0.0.1 | MQTT pub/sub transport protocol client written in OCaml |
| mrmime | 0.3.0 | Mr. MIME |
| mrt-format | 0.3.1 | MRT parsing library and CLI |
| msat | 0.8.2 | Library containing a SAT solver that can be parametrized by a theorysat smt cdcl functor |
| msat-bin | 0.8.2 | SAT solver binary based on the msat librarysat |
| msgpack | 1.3.0 | Msgpack library for OCaml |
| msgpck | 1.5 | Fast MessagePack (http://msgpack.org) librarymessagepack msgpack binary serialization |
| msgpck-repr | 1.5 | Fast MessagePack (http://msgpack.org) library -- ocplib-json-typed interface |
| mssql | 2.1.0 | Async SQL Server client using FreeTDS |
| mstruct | 1.4.0 | A mutable interface to Cstruct buffers |
| mtime | 1.2.0 | Monotonic wall-clock time for OCamltime monotonic system org:erratique |
| mtl | 1.0.0 | A Monad Transformers Library for OCaml |
| multipart-form-data | 0.3.0 | Parser for multipart/form-data (RFC2388) |
| murmur3 | 0.2 | bindings for murmur3 hash implementationorg:ahrefs |
| mustache | 3.1.0 | Mustache logic-less templates in OCaml |
| mutf8 | 0.2 | The Modified UTF-8 encoding used by Java and related systems |
| mvar | 1.0.0 | Threadsafe mutable variables for Unix threads |
| mwt | 0.1.0 | Mediumweight thread library for OCaml via Lwt |
| mybuild | 6 | Collection of ocamlbuild plugins (extprot, atdgen, ragel, etc) and utility to generate version from VCSorg:ygrek |
| mysql | 1.2.4 | Bindings to C client library for interacting with Mysql/MariaDB/Percona databasesorg:ygrek |
| mysql_protocol | 2.0 | Implementation of MySQL Protocol with the Bitstring library |
| naboris | 0.1.2 | Simple http server |
| nacc | 1.0 | Not Another Compiler Compiler |
| named-pipe | 0.4.0 | Bindings for named pipes |
| namespaces | 0.5.1 | Turn directories into OCaml modules (deprecated) |
| nanomsg | 1.0 | Ctypes based bindings to nanomsg |
| nbd | 3.0.0 | Network Block Device (NBD) protocol implementationorg:mirage org:xapi-project |
| nebula | 0.2.1 | DCPU-16 emulator. |
| netamqp | 1.0 | Implements an AMQP client for accessing a message broker |
| netchannel | 1.13.0 | Network device for reading and writing Ethernet frames via then Xen netfront/netback protocolorg:mirage |
| netkat | 0.1 | A clean slate implementation of NetKAT |
| netlink | 0.2.1 | Bindings to the Netlink Protocol Library Suite (libnl) |
| netml | 0.1.0 | Network packets authoring and parsing toolkit. |
| netsnmp | v0.14.0 | An interface to the Net-SNMP client library |
| nice_parser | 1.0.0 | Nice parsers without the boilerplate |
| nit | 0.6 | Nit, a static analysis tool, checks whether a java bytecode program is NullPointerException free. |
| nlopt-ocaml | 0.5.1 | OCaml bindings to the NLOpt optimization library |
| nlp | 0.0.1 | Natural Language Processing tools for OCaml |
| nmea | 0.1.5 | Nmea parser |
| nocoiner | 1.0.0 | A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort |
| nocrypto | 0.5.4-2 | Simpler cryptoorg:mirage |
| noise | 0.2.0 | The Noise Protocol Framework |
| nonstd | 0.0.3 | Non-standard mini-library |
| nosetup | 0.8.1 | An `.ocamlinit` helper to `#require` packages in an OCaml toplevels |
| not-ocamlfind | 0.05 | A small frontend for ocamlfind that adds a few useful commands |
| notty | 0.2.2 | Declaring terminals |
| notty_async | v0.14.0 | An Async driver for Notty |
| nproc | 0.5.1 | Process pool implementation for OCaml. |
| npy | 0.0.9 | Numpy npy file format reading/writing. |
| nsq | 0.5.1 | A client library for the NSQ messaging platform |
| nullable-array | 0.1 | Small self-contained library providing an efficient implementation for a type equivalent to `'a option array` |
| num | 1.3 | The legacy Num library for arbitrary-precision integer and rational arithmetic |
| numalib | 0.1.0 | Interface to Linux NUMA API |
| numerix | 0.22 | Big integer library, written by Michel Quercia. Compares well to GMP. |
| nunchaku | 0.6 | A counter-example finder for higher-order logic, designed to be used from various proof assistants |
| nuscr | 1.1.0 | A tool to manipulate and validate Scribble-style multiparty protocols |
| oasis | 0.4.11 | Tooling for building OCaml libraries and applications |
| oasis-mirage | 0.3.0a | This is a fork of OASIS with support for native output-obj.org:mirage org:xapi-project |
| oasis2debian | 0.1.5 | Create and maintain Debian package for an OASIS package |
| oasis2opam | 0.8 | Tool to convert OASIS metadata to OPAM package descriptionsbuild install |
| obandit | 0.3.4 | Ocaml Multi-Armed Bandits |
| obeam | 0.1.5 | A utility library for parsing BEAM format |
| obeanstalk | 0.1 | Async based client for the beanstalk work queue |
| obelisk | 0.5.2 | Pretty-printing for Menhir files |
| obi | 1.0.0 | interface to OCaml Build Infrastructureorg:mirage org:ocamllabs |
| obigstore | 0.9.1 | Client/server + embeddable semi-structured database. |
| objsize | 0.18 | Small library to compute sizes of OCaml heap values |
| obrowser | 1.1.1 | OCaml virtual machine written in Javascript |
| obuild | 0.1.10 | simple package build system for OCaml |
| obus | 1.2.2 | Pure Ocaml implementation of the D-Bus protocol |
| obytelib | 1.5 | OCaml bytecode library tools to read, write and evaluate OCaml bytecode files |
| oc45 | 1.0.0 | Pure OCaml implementation of the C4.5 algorithm. |
| ocal | 0.2.2 | An improved Unix `cal` utility |
| ocaml | 4.12.0 | The OCaml compiler (virtual package) |
| ocaml-arg | 0.3 | A simple library to handle subcommand arguments |
| ocaml-base-compiler | 4.10.0 | Official release 4.10.0 |
| ocaml-basics | 0.5.0 | Implements common functionnal patterns / abstractions |
| ocaml-beta | disabled | Virtual package for enabling OCaml beta releases |
| ocaml-buddy | 0.6.1 | Bindings for the Buddy BDD library. |
| ocaml-compiler-libs | v0.12.1 | OCaml compiler libraries repackaged |
| ocaml-config | 1 | OCaml Switch Configuration |
| ocaml-data-notation | 0.0.11 | Store data using OCaml notation (deprecated) |
| ocaml-expat | 1.1.0 | Write XML-Parsers using the SAX method |
| ocaml-freestanding | 0.6.0 | Freestanding OCaml runtimeorg:mirage |
| ocaml-gist | 0.0.1 | A tool to create online OCaml gist experiences for the web |
| ocaml-http | 0.1.6 | Library freely inspired from Perl's HTTP::Daemon module |
| ocaml-indent | 1.2.1 | OCaml-indent: OCaml source code indenter |
| ocaml-inifiles | 1.2 | An ini file parser |
| ocaml-js-stdlib | 1.0 | Binding OCaml to JavaScript standard library |
| ocaml-logicalform | v0.6.0 | `LogicalForm` provides modules for efficient and intuitive manipulation |
| ocaml-lua | 1.8 | Lua bindings |
| ocaml-makefile | 6.39.2 | Generic Makefile for building OCaml projects |
| ocaml-manual | 4.10.0 | The OCaml system manual |
| ocaml-markdown | transition | This is a transition package, ocaml-markdown is now named markdown. |
| ocaml-migrate-parsetree | 1.7.3 | Convert OCaml parsetrees between different versionssyntax org:ocamllabs |
| ocaml-migrate-parsetree-ocamlbuild | 1.2.0 | Ocamlbuild plugin for ocaml-migrate-parsetreesyntax org:ocamllabs |
| ocaml-monadic | 0.4.1 | A PPX extension to provide an OCaml-friendly monadic syntax |
| ocaml-print-intf | 1.2.0 | Display human-readable OCaml interface from a compiled .cmi |
| ocaml-protoc | 2.0.2 | Protobuf compiler for OCaml |
| ocaml-protoc-plugin | 4.0.0 | Plugin for protoc protobuf compiler to generate ocaml definitions from a .proto file |
| ocaml-protoc-yojson | 0.2.0 | JSON Runtime based on Yojson library for `ocaml-protoc` generated code |
| ocaml-r | 0.3.0 | Objective Caml bindings for the R interpreter |
| ocaml-sat-solvers | 0.4 | An abstraction layer for integrating SAT Solvers into OCaml. |
| ocaml-secondary-compiler | 4.08.1-1 | OCaml 4.08.1 Secondary Switch Compiler |
| ocaml-src | 4.10.0 | Compiler sources |
| ocaml-syntax-shims | 1.0.0 | Backport new syntax to older OCaml versions |
| ocaml-system | 4.10.0 | The OCaml compiler (system version, from outside of opam) |
| ocaml-systemd | 1.2 | OCaml module for native access to the systemd facilities |
| ocaml-top | 1.1.5 | The OCaml interactive editor for educationorg:ocamlpro gui teaching toplevel |
| ocaml-topexpect | 0.3 | Simulate and post-process ocaml toplevel sessions |
| ocaml-twt | 0.94.0 | The Whitespace Thing, a layout preprocessor for OCaml code |
| ocaml-variants | 4.12.0+trunk+flambda | current trunk, with flambda activated |
| ocaml-vdom | 0.2 | DOM and VDOM for OCaml |
| ocaml-version | 2.5.0 | Manipulate, parse and generate OCaml compiler version stringsorg:ocamllabs |
| ocaml-webworker | 0.0.1 | A webworker for the web that runs OCaml code which includes a modified version of Merlin to run on the web. |
| ocaml-xdg-basedir | 0.0.3 | xdg-basedir specification implementation |
| ocaml-xml-rpc | 0.2.3 | An XML-RPC client and server, using an ad-hoc interface definition language and IDL compiler |
| ocaml-zmq | 0 | OCaml bindings for ZMQ 2.1 |
| ocaml9p | 0.4 | ocaml9p is a library for the 9p protocol. |
| ocaml_at_p | 1.1.0 | OCaml@p : A debugging print system for OCaml |
| ocaml_plugin | v0.14.0 | Automatically build and dynlink OCaml source files |
| ocamlapi | 0.0.2 | Path-based HTTP request routing for Ocaml |
| ocamlapi_async | 0.0.2 | Path-based HTTP request routing for Ocaml |
| ocamlapi_lwt_unix | 0.0.2 | Path-based HTTP request routing for Ocaml |
| ocamlapi_ppx | 0.0.2 | Path-based HTTP request routing for Ocaml |
| ocamlbrowser | 4.10.0 | OCamlBrowser Library Explorer |
| ocamlbuild | 0.14.0 | OCamlbuild is a build system with builtin rules to easily build most OCaml projects. |
| ocamlbuild-atdgen | 0.1.0 | Atdgen plugin for OCamlbuild |
| ocamlbuild-pkg | 0.2.1 | An ocamlbuild plugin that helps packaging softwares.ocamlbuild package plugin build build-system |
| ocamlbuild-protoc | 0.1 | ocaml-protoc plugin for Ocamlbuild |
| ocamlcc | 1.0 | Compiler from OCaml bytecode executable files to C source code |
| ocamlclean | 2.2 | Reduce size of OCaml bytecode files by dead-code removing |
| ocamlcodoc | 1.0.1 | Extract test code from doc-comments |
| ocamldap | transition | Transitional package for ldap (renaming)ldap |
| ocamldbi | 0.9.11 | Database independent layer patterned upon Perl DBI |
| ocamldiff | 1.1 | OCamldiff is a small OCaml library providing functions to parse and display diff results.diff |
| ocamldot | 1.0 | OCamldot is a small library to parse, print and display graphviz dot files. |
| ocamldsort | 0.16.0 | Sorts a set of OCaml source files according to their dependencies |
| ocamleditor | 1.13.4 | OCamlEditor is a GTK+ source code editor and build tool for OCaml. |
| ocamlfind | 1.8.1 | A library manager for OCaml |
| ocamlfind-lint | 0.1.0 | Simple tool performing checks on installed findlib META filesfindlib ocamlfind check META |
| ocamlfind-secondary | 1.8.1 | ocamlfind support for ocaml-secondary-compiler |
| ocamlformat | 0.14.2 | Auto-formatter for OCaml code |
| ocamlformat_support | 0.4 | Support package for OCamlFormat |
| ocamlfuse | 2.7.1-cvs6 | OCaml bindings for FUSE (Filesystem in UserSpacE) |
| ocamlgraph | 1.8.8 | A generic graph library for OCamlgraph library algorithms directed graph vertice edge persistent imperative |
| ocamlify | 0.0.1 | Include files in OCaml code |
| ocamline | 1.2 | Command line interface for user input |
| ocamllint | 0.3.0 | Detect common errors in OCaml code |
| ocamlmod | 0.0.9 | Generate OCaml modules from source files |
| ocamlnet | 4.1.7 | Internet protocols (HTTP, CGI, e-mail etc.) and helper data structures |
| ocamlpp | 1.1 | OCaml binary files (.byte and .cmo) pretty printers. |
| ocamlrss | 2.2.2 | Library providing functions to parse and print RSS 2.0 filesrss xml rdf |
| ocamlscript | 2.0.4 | Tool which compiles OCaml scripts into native code |
| ocamlsdl | 0.9.1 | Interface between OCaml and SDL |
| ocamlsdl2 | 0.03 | Interface to the SDL2 librarybindings graphics audio multimedia opengl cross-platform |
| ocamlspot | 4.07.0.2.3.2 | OCamlSpotter - OCaml source browsing |
| ocamltter | 4.1.1 | The OCAMLTTER OAuth1 library and twitter, flickr clients |
| ocamlviz | 1.01 | real-time profiling tool |
| ocamlwc | 0.3 | Count lines in OCaml source code |
| ocamlweb | 1.39 | A literate programming tool for OCaml |
| ocamlyices | 0.7.1 | Yices SMT solver binding |
| ocapic | 3.4 | Development tools to run OCaml programs on PIC microcontrollers |
| ocb-stubblr | 0.1.1-1 | OCamlbuild plugin for C stubsocamlbuild |
| ocephes | 0.8.2 | Bindings to special math functions from the Cephes library |
| ocf | 0.5.0 | Library to load and store configuration options in JSON syntax.configuration options json |
| oci | 0.3 | OCI is a framework for continuous integrations and benchmarks. At the |
| oclaunch | 0.3.0-pre1 | Command-line program allowing you to launch program on a human basis. Don't let a clock plan things! |
| oclock | 0.4.0 | Oclock: Precise POSIX clock for OCaml |
| ocolor | 1.2.1 | Print with style in your terminal using Format's semantic tags |
| ocp-browser | 1.2 | Console browser for the documentation of installed OCaml librariesorg:ocamlpro org:typerex |
| ocp-build | 1.99.20-beta | Project builder for OCaml |
| ocp-indent | 1.8.1 | A simple tool to indent OCaml programsorg:ocamlpro org:typerex |
| ocp-indent-nlfork | 1.5.4 | ocp-indent library, "newline tokens" forkorg:ocamlpro org:typerex |
| ocp-index | 1.2 | Lightweight completion and documentation browsing for OCaml librariesorg:ocamlpro org:typerex |
| ocp-index-top | 0.5.0 | Documentation in the OCaml toplevel |
| ocp-manager | 0.1.3 | Global Manager for OCaml versions and OPAM switches |
| ocp-ocamlres | 0.4 | Manipulation, injection and extraction of embedded resources |
| ocp-pack-split | 1.0.1 | ocp-pack and ocp-splitorg:ocamlpro |
| ocp-pp | 1.99.19-beta | A simple preprocessor for OCaml |
| ocp-reloc | 0.1 | Relocation of OCaml bytecode executablesorg:ocamlpro org:typerex |
| ocp_reveal | 0.1 | OCaml bindings for Reveal.js, an HTML presentation framework |
| ocplib-compat | 1.99.17-beta | Compatibility between String/Bytes modules for several OCaml versions |
| ocplib-concur | 0.1 | Concurrent wrapper on top of Lwt and Async |
| ocplib-config | 1.99.17-beta | A simple library to manage configuration files |
| ocplib-endian | 1.1 | Optimised functions to read and write int16/32/64 from strings and bigarrays |
| ocplib-file | 1.99.17-beta | A simple library to manage accesses to files |
| ocplib-json-typed | 0.7.1 | Type-aware JSON and JSON schema utilities |
| ocplib-json-typed-browser | 0.7.1 | Json_repr interface over JavaScript's objects |
| ocplib-json-typed-bson | 0.7.1 | A Json_repr compatible implementation of the JSON compatible subset of BSON |
| ocplib-resto | 0.1 | Minimal OCaml library for type-safe HTTP/JSON RPCs. |
| 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 |
| ocs | 1.0.3 | OCS: OCaml Scheme interpreter |
| ocsfml | 2.0 | Binding to the C++ SFML gaming library. |
| ocsigen-i18n | 3.5.0 | I18n made easy for web sites written with eliom |
| ocsigen-start | 2.18.0 | An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc |
| ocsigen-toolkit | 2.7.0 | Reusable UI components for Eliom applications (client only, or client-server) |
| ocsigenserver | 2.16.0 | A full-featured and extensible Web server |
| octavius | 1.2.2 | Ocamldoc comment syntax parser |
| ocurl | 0.9.1 | Bindings to libcurlorg:ygrek clib:curl |
| ocveralls | 0.3.4 | Generate JSON for http://coveralls.io from bisect code coverage data (deprecated). |
| odash | 0.1.0 | Odash: Lodash for Ocamlsyntax |
| odate | 0.5 | Date & Duration Library |
| odb-server | 0.1 | Text editors/IDE helper module |
| odbc | 3.0 | Interface to various ODBC drivers |
| odds | 1.0 | Dice formula librarygames dice random |
| odepack | 0.7 | Binding to ODEPACKODE scientific-computing |
| odiff-gtk | 1.0 | OCaml library to display and merge diffs using Lablgtk.diff gtk merge |
| odig | 0.0.5 | Lookup documentation of installed OCaml packagesorg:erratique org:b0-system build dev meta doc packaging |
| odisco | 0.1.3 | OCaml library for Disco workers. |
| odoc | 1.5.1 | OCaml documentation generator |
| odoc-depgraph | 1.0 | Custom OCamldoc generator to insert clickable dependency graphs in generated html pageocamldoc graph |
| offheap | 0.1.2 | Copies OCaml objects out of the OCaml heap |
| ofx | 0.1.5 | OCaml parser for OFX files |
| ogen | 0.1.4 | A tool for creating new OCaml projects with OPAM, Oasis, and Merlin |
| ogg | 0.5.2 | Interface for Ogg Bitstream Library, otherwise known as libogg |
| ogre | 2.1.0 | Open Generic REpresentation NoSQL Database |
| ojquery | 0.1 | JQuery binding for OCaml |
| ojs-base | 0.5.0 | Components to create web applications using js_of_ocaml and websockets.javascript web components |
| ojwidgets | 0.1 | Browser widgets in OCaml with js_of_ocaml. |
| olinq | 0.3 | LINQ inspired queries on in-memory datalinq query join group collection |
| ollvm | 0.99 | ollvm library offers an interface to manipulate LLVM IR in pure OCaml. |
| ollvm-tapir | 0.99.1 | a fork of ollvm with added LLVM-Tapir support |
| olmi | 1.1 | Olmi provide functor to generate monadic combinators with a minimal interface |
| oloop | 0.1.2 | Evaluate code through the OCaml toploop for inclusion in educational material. |
| omake | 0.10.3 | Build system designed for scalability and portability |
| omd | 1.3.1 | A Markdown frontend in pure OCaml.org:ocamllabs org:mirage |
| omg | 0.0.1 | Generate text using Markov chains |
| omigrate | 0.1.0 | Database migrations for Reason and OCaml |
| oml | 0.0.7 | Math Library |
| omod | 0.0.2 | Lookup and load installed OCaml modulesorg:erratique dev toplevel repl |
| omonad | 0.4.0 | Monad programming using ppx preprocessor |
| oni | 1.0.12 | Oni - assorted components for low-level networking. |
| oolc | 0.3 | An Ocaml implementation of Open Location Code. |
| opa-base | 1.1.0+4263 | Extended standard library developped along the OPA language |
| opaca | 0.1.5 | A friendly OCaml project scaffolding tool |
| opal | 0.1.1 | Self-contained monadic parser combinators for OCaml |
| opam-0install | 0.1 | Opam solver using 0install backend |
| opam-build-revdeps | 0.1.0 | Build reverse dependencies of a package in OPAM. |
| opam-bundle | 0.4 | A tool that creates stand-alone source bundles from opam packagesorg:ocamlpro |
| opam-ci | 1.0.0 | query the opam package build statusorg:ocamllabs |
| opam-client | 2.0.7 | |
| opam-core | 2.0.7 | |
| opam-depext | 1.1.3 | Query and install external dependencies of OPAM packages |
| opam-devel | 2.0.7 | |
| opam-doc | 0.9.3 | Produce documentation for OPAM packagesorg:ocamllabs |
| opam-ed | 0.3 | Command-line edition tool for handling the opam file syntax |
| opam-file-format | 2.0.0 | Parser and printer for the opam file syntax |
| opam-format | 2.0.7 | |
| opam-installer | 2.0.7 | |
| opam-installext | 1.0.1 | OPAM plugin to install external system dependencies |
| opam-lib | 1.3.1 | The OPAM library |
| opam-lock | 0.2 | Locking of development package definition dependency versions |
| opam-package-upgrade | 0.2 | Upgrades opam package definition files to the latest formatorg:ocamlpro |
| opam-publish | 2.0.2 | A tool to ease contributions to opam repositories |
| opam-query | 1.3 | A tool to query opam files from shell scripts |
| opam-repository | 2.0.7 | |
| opam-solver | 2.0.7 | |
| opam-state | 2.0.7 | |
| opam-sync-github-prs | 1.1.0 | Sync OCaml GitHub issues with OPAMorg:ocamllabs |
| opam2web | 2.0 | Tool to generate the opam.ocaml.org website |
| opam_of_packagejson | 0.1.2 | Simple tool to generate META, opam and .install files. |
| opamconfig | 0.3.0 | Virtual package owning parameters of opam installation.opam configure |
| opamfind | 1.2.0 | Small library and tool to find out relationships between OCamlFind and OPAM packages. |
| opamfu | 0.1.4 | Functions over OPAM Universes |
| opass | 2.15 | A simple command line tool for storing, retreiving, |
| opasswd | 1.0.1 | OCaml bindings to the glibc passwd file and shadow password file interface.org:xapi-project |
| opazl | 0.0.1 | Library to parse ZNC logs |
| open | 0.2.2 | Open files in their default applications |
| open_packaging | 1.0 | A library for parsing Microsoft's Open Packaging Specification (most commonly used for Microsoft |
| openai-gym | 0.01 | OCaml binding for openai Gym toolkit |
| opencc | transition | Bindings for OpenCC (v1) - Open Chinese Convertopencc Chinese conversion |
| opencc0 | 1.0.2 | Bindings for OpenCC (v0) - Open Chinese Convertopencc Chinese conversion |
| opencc1 | 1.0.1 | Bindings for OpenCC (v1) - Open Chinese Convertopencc Chinese conversion |
| openflow | 0.9.1 | Serialization and protocol implementation for OpenFlow 1.{0,3} |
| openQASM | 0.3.0 | Parser for OpenQASM (Open Quantum Assembly Language) |
| operf-macro | 0.2 | Macro benchmarking tool |
| operf-micro | 1.1.1 | Simple tool for benchmarking the OCaml compiler |
| opium | 0.18.0 | Sinatra like web toolkit based on Lwt + Cohttp |
| opium_kernel | 0.18.0 | Sinatra like web toolkit based on Lwt + Cohttp |
| oplay | 1.0.0 | Raw YUV video player |
| oplot | 0.50 | Mathematical plotter library for ocaml |
| oplsr | 5.0.1 | OCaml wrapper for the R 'pls' package |
| optcomp | 1.6 | Optional compilation with cpp-like directives |
| opti | 1.0.3 | DSL to generate fast incremental C code from declarative specifications |
| optimization1d | 0.6.1 | Find extrema of 1D functionsoptimization |
| optint | 0.0.4 | Abstract type on integer between x64 and x86 architecture |
| opus | 0.1.3 | Bindings for the opus library to decode audio files in opus format |
| oqamldebug | 0.9.5 | Graphical front-end to ocamldebug |
| oraft | 0.1.0 | Raft consensus algorithm implemented in OCaml |
| orakuda | 2.0.0 | Perlish string literals in OCaml |
| orandforest | 1.0.0 | A random forest classifier based on OC4.5. |
| oranger | 2.0.2 | OCaml wrapper for the ranger (C++) random forests implementation |
| ordma | 0.0.5 | Ordma provides OCaml bindings to librdmacm (rsocket) |
| orec | 1.0.1 | dynamic open records |
| orewa | 0.2.1 | Async-friendly Redis client |
| orm | 0.7.1 | The ORM library provides a storage backend to persist ML values.org:mirage |
| orocksdb | 0.4.0 | ctypes based bindings for rocksdb |
| orpie | 1.6.1 | Curses-based RPN calculator |
| orrandomForest | 2.0.1 | Classification or regression using Random Forests |
| orsetto | 1.0.2 | A library of assorted structured data interchange languagesorg:conjury.org |
| orsvm_e1071 | 4.0.0 | OCaml wrapper to SVM R packages e1071 and svmpath |
| orxgboost | 1.1.0 | Gradient boosting for OCaml using the R xgboost package |
| osbx | 1.2.4 | Implementation of SeqBox in OCaml |
| osc | 0.1.4 | Pure OCaml OpenSoundControl client and server implementation |
| osdp | 1.0.0 | OCaml Interface to SDP solvers |
| oseq | 0.3 | Simple list of suspensions, as a composable lazy iterator that behaves like a valuesequence iterator seq pure list |
| oskel | 0.3.0 | Skeleton generator for OCaml projects |
| osm_xml | 0.0.1 | Library for parsing OpenStreetMap XML dumps. |
| ospec | 0.3.2 | Behavior-Driven Development tool for OCaml, inspired by RSpec |
| osx-acl | 0.1.0 | OS X POSIX.1e file system access control list (ACL) bindingsosx acl file system POSIX.1e security |
| osx-attr | 0.3.0 | OS X generic file system attribute system call bindingsosx attr attributes getattrlist setattrlist file system |
| osx-cf | 0.1.1 | OS X CoreFoundation bindings |
| osx-fsevents | 0.2.0 | OS X FSevents bindings |
| osx-membership | 0.1.0 | OS X membership.h bindings for user, group, and UUID translationosx membership uid gid guid uuid opendirectoryd |
| osx-mount | 0.1.1 | Bindings to OS X mount system callsosx mount mountpoint mtab mount table file system |
| osx-plutil | 0.5.0 | OS X plutil plist manipulation |
| osx-secure-transport | 0.1.1 | macos/ios SecureTransport TLS OSX implementation API for OCaml |
| osx-xattr | 0.3.0 | OS X extended attribute system call bindingsosx xattr extended attributes file system |
| otags | 4.01.1 | Tag file generation of OCaml sources (for vi and emacs) |
| otetris | 1.1 | Tetris game implemented in OCaml language. |
| otf | 0.1 | otf is a simple Output Test Framework |
| otfm | 0.4.0 | OpenType font decoder for OCamlOpenType ttf font decoder graphics org:erratique |
| oth | 2.10 | Ocaml Test Harness - Simple library for running tests |
| otr | 0.3.8 | Off the record implementation purely in OCaml |
| ott | 0.30 | A tool for writing definitions of programming languages and calculi |
| otto | 0.0.2 | Otto is a testing / autograding library |
| ounit | 2.2.2 | This is a transition package, ounit is now ounit2 |
| ounit-lwt | 2.2.2 | This is a transition package, ounit-lwt is now ounit2-lwt |
| ounit2 | 2.2.2 | OUnit testing framework |
| ounit2-lwt | 2.2.2 | OUnit testing framework (Lwt) |
| override | 0.3.0 | PPX extension for overriding modules |
| owebl | 0.1 | A fast, light, and concurrent web framework inspired by Flask and Sinatra. |
| owee | 0.3 | OCaml library to work with DWARF format |
| owl | 0.9.0 | OCaml Scientific and Engineering Computing |
| owl-base | 0.9.0 | OCaml Scientific and Engineering Computing - Base |
| owl-jupyter | 1.0 | Owl - Jupyter Wrappter |
| owl-ode | 0.3.0 | Owl's ODE solvers |
| owl-ode-base | 0.3.0 | Owl's ODE solvers |
| owl-ode-odepack | 0.3.0 | Owl's ODE solvers, interface with ODEPACK |
| owl-ode-sundials | 0.3.0 | Owl's ODE solvers, interface with SundialsML |
| owl-opt | 0.0.1 | Owl's Optimisation Module |
| owl-opt-lbfgs | 0.0.1 | Owl's Lbfgs Optimisation Module |
| owl-plplot | 0.9.0 | OCaml Scientific and Engineering Computing |
| owl-symbolic | 0.2.0 | Owl's Symbolic Library |
| owl-top | 0.9.0 | OCaml Scientific and Engineering Computing - Top |
| owl-zoo | 0.9.0 | OCaml Scientific and Engineering Computing - Zoo |
| owork | 0.1.1 | A productivity timer for focusing on work |
| ox | 1.1.1 | A platform for writing OpenFlow controllers |
| oxylc | alpha1.1.2 | The compiler for the Oxyl language |
| p4pp | 0.1.4 | P4PP: Preprocessor for P4 Language |
| pa_bench | 113.00.00 | Syntax extension for inline benchmarks |
| pa_bin_prot | 113.00.01 | A binary protocol generator |
| pa_comprehension | 0.4 | Syntax extension for comprehension expressions |
| pa_do | 0.8.16 | Syntax extension to write arithmetic expressions |
| pa_fields_conv | 113.00.01 | 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 |
| pa_monad_custom | v6.0.0 | Syntactic Sugar for Monads |
| pa_ounit | 113.00.00 | Syntax extension for oUnit |
| pa_ovisitor | 1.0.0 | CamlP4 type_conv module to auto-generate visitor, folder, mapper from type definitions. |
| pa_qualified | 0.6 | A syntax extension that implements support for fully qualified module references |
| pa_sexp_conv | 113.00.01 | Library for serializing OCaml values to and from S-expressions |
| pa_solution | 0.7 | A DSL for solving programming contest problems |
| pa_sqlexpr | 0.9.0 | Type-safe, convenient SQLite database access - extension for use with sqlexpr. |
| pa_structural_sexp | 113.00.00 | Quotation expanders to simplify building s-expressions from ocaml values |
| pa_test | 112.24.00 | Quotation expander for assertions. |
| pa_typerep_conv | 113.00.01 | typerep is a library for runtime types. |
| pa_variants_conv | 109.15.04 | Part of Jane Street’s Core library |
| pa_where | 0.4 | Backward declaration syntax |
| packet | 0.4.0 | A serialization library for several common packet formats |
| pacomb | 1.0 | Parsing library based on combinators and ppx extension to write languages |
| pam | v0.14.0 | OCaml bindings for the Linux-PAM library |
| papi | 0.1.1 | Performance Application Programming Interface (PAPI) bindings |
| parany | 11.0.2 | Parallelize any computation |
| pardi | 2.0.4 | Parallel and distributed execution of command lines, pardi! |
| pareto | 0.3 | GSL powered OCaml statistics library. |
| parmap | 1.1.1 | Minimalistic library allowing to exploit multicore architecture |
| parse-argv | 0.2.0 | Process strings into sets of command-line argumentsorg:mirage |
| parsexp | v0.14.0 | S-expression parsing library |
| parsexp_io | v0.14.0 | S-expression parsing library (IO functions) |
| parsley | 0.0.1 | Parsley library |
| partition_map | 0.9.0 | Partition maps |
| passmaker | 1.0 | Library for generating memorable passphrases |
| passmakercmd | 1.0 | Command line utility for generating memorable passphrases |
| patch | 1.0.0 | Patch library purely in OCaml |
| patdiff | v0.14.0 | File Diff using the Patience Diff algorithm |
| patience_diff | v0.14.0 | Diff library using Bram Cohen's patience diff algorithm |
| patoline | 0.1 | A new typesetting system, programmable in ocaml. |
| pattern | 0.2.0 | Run-time patterns that explain match failures |
| pb | 1.0.0 | Library for describing Protobuf messages |
| pb-plugin | 1.0.0 | Plugin for generating pb protobuf message descriptions |
| pbkdf | 1.1.0 | Password based key derivation functions (PBKDF) from PKCS#5 |
| pbs | 0.2.0 | Helper library around PBS/Torque |
| pcap-format | 0.5.2 | Decode and encode PCAP (packet capture) filesorg:mirage org:xapi-project |
| pcf-format | 0.0.1 | parse PCF format X11 bitmap font files |
| pci | 1.0.1 | Ctypes bindings to libpci for OCaml |
| pci-db | 0.3.0 | Library to parse and query the pci.ids database of PCI devices |
| pcre | 7.4.3 | Bindings to the Perl Compatibility Regular Expressions library |
| pds | 5.24 | A tool to build Makefiles for Ocaml projects |
| pds-reachability | 0.2.2 | A PDS reachability query library |
| pecu | 0.4 | Encoder/Decoder of Quoted-Printable (RFC2045 & RFC2047) |
| perf | 1.0 | Binding to perf_event_open |
| petr4 | 0.1.1 | Petr4: Formal Semantics for the P4 Programming Language |
| pf-qubes | 0.1.0 | QubesOS firewall ruleset handling libraryorg:mirage |
| pfff | 0.40.4 | Tools and APIs for program analysis, code visualization, refactoring |
| pg_query | 0.9.4 | Bindings to libpg_query for parsing PostgreSQL |
| pgocaml | 4.2 | Native OCaml interface to PostgreSQL databases |
| pgocaml_ppx | 4.2 | PPX extension for PGOCaml |
| pgsolver | 4.1 | A collection of tools for generating, manipulating and - most of all - solving parity games. |
| pgx | 1.0 | Pure-OCaml PostgreSQL client library |
| pgx_async | 1.0 | Pgx using Async for IO |
| pgx_lwt | 1.0 | Pgx using Lwt for IO |
| pgx_lwt_mirage | 1.0 | Pgx using Lwt on Mirage for IO |
| pgx_lwt_unix | 1.0 | Pgx using Lwt and Unix libraries for IO |
| pgx_unix | 1.0 | PGX using the standard library's Unix module for IO (synchronous) |
| pgx_value_core | 1.0 | Pgx_value converters for Core types like Date and Time |
| phantom-algebra | 1.0 | A strongly-typed tensor library à la GLSL |
| phashtbl | 1.0.0 | Persistent hash table library using dbm under the carpet. |
| phonetic | 0.1.0 | Phonetic algorithm in OCaml |
| phox | 0.89.170929 | PhoX is an implementation of Higher Order Logic |
| pilat | 1.3 | A polynomial invariant generator based on Frama-C |
| pipebang | 113.00.00 | Part of Jane Street’s Core library |
| piqi | 0.7.7 | Protocol Buffers, JSON and XML serialization system for OCaml |
| piqilib | 0.6.15 | The Piqi library -- runtime support for multi-format Protobuf/JSON/XML/Piq data serialization and conversion |
| pixel_pusher | 1.0 | Control LED strips on Pixel Pusher hardware |
| pkcs11 | 1.0.0 | PKCS#11 ocaml typesorg:cryptosense |
| pkcs11-cli | 1.0.0 | Cmdliner arguments to initialize a PKCS#11 sessionorg:cryptosense |
| pkcs11-driver | 1.0.0 | Bindings to the PKCS#11 cryptographic APIorg:cryptosense |
| pkcs11-rev | 1.0.0 | Reverse bindings to pkcs11org:cryptosense |
| pla | 1.3 | Ppx templating library using verbatim strings. |
| planck | 2.2.0 | A small monadic parser combinator library |
| planets | 0.1.14 | A simple interactive program for playing with simulations of planetary systems |
| plasma | 0.6.2 | Distributed filesystem for large files, implemented in user space |
| plebeia | 1.0.0 | Merkle Patricia tree implementation |
| plist | 1.0.0 | Native OCaml Plist manipulationclib:objc clib:gnustep |
| plotkicadsch | 0.6.1 | Utilities to print and compare version of Kicad schematics |
| plplot | 5.11.0-1 | Bindings for the PLplot library |
| podge | 0.8.0 | Shortcuts and helpers for common tasks in OCaml ecosystem |
| polyglot | 1.0.0 | Filters to convert XHTML into polyglot HTML5 |
| pomap | 4.1.1 | Partially Ordered Maps for OCaml |
| portaudio | 0.2.1 | Bindings for the portaudio library which provides high-level functions for using soundcards |
| portia | 1.3 | Literate Programming Preprocessor |
| posix-base | 2.0.0 | Base module for the posix bindings |
| posix-bindings | 2.0.0 | POSIX bindings |
| posix-clock | 0.4.0-0 | POSIX clockclib:rt |
| posix-getopt | 2.0.0 | Bindings for posix getopt/getopt_long |
| posix-math | 0.3.1-0 | POSIX mathclib:lm |
| posix-mqueue | 0.8.0-0 | POSIX message queuesclib:rt |
| posix-semaphore | 0.5.0-0 | POSIX semaphoreclib:rt |
| posix-signal | 2.0.0 | Bindings for the types defined in <signal.h> |
| posix-socket | 2.0.0 | Bindings for posix sockets |
| posix-socket-unix | 2.0.0 | Bindings for posix sockets |
| posix-time | 1.0.1-0 | POSIX time |
| posix-time2 | 2.0.0 | Bindings for posix time functions |
| posix-types | 2.0.0 | Bindings for the types defined in <sys/types.h> |
| posix-uname | 2.0.0 | Bindings for posix uname |
| posixat | v0.14.0 | Bindings to the posix *at functions |
| postgres_async | v0.14.0 | OCaml/async implementation of the postgres protocol (i.e., does not use C-bindings to libpq) |
| postgresql | 4.6.0 | Bindings to the PostgreSQL library |
| pp | 1.0.1 | Pretty-printing library |
| pprint | 20200410 | A pretty-printing combinator library and rendering engine |
| ppx-owl-opt | 0.0.1 | Ppx tool for owl-opt |
| ppx_accessor | v0.14.1 | [@@deriving] plugin to generate accessors for use with the Accessor libraries |
| ppx_assert | v0.14.0 | Assert-like extension nodes that raise useful errors on failure |
| ppx_ast | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_base | v0.14.0 | Base set of ppx rewriters |
| ppx_bench | v0.14.0 | Syntax extension for writing in-line benchmarks in ocaml code |
| ppx_bigarray | 3.0.0 | A PPX extension for big array literals |
| ppx_bin_prot | v0.14.0 | Generation of bin_prot readers and writers from types |
| ppx_bitstring | 2.0.2 | PPX extension for the bitstring library. |
| ppx_blob | 0.7.0 | Include a file as a string at compile time |
| ppx_bsx | 2.0.0 | ReasonReact JSX for OCamlBuckleScript ReasonReact React JSX |
| ppx_cold | v0.14.0 | Expands [@cold] into [@inline never][@specialise never][@local never] |
| ppx_compare | v0.14.0 | Generation of comparison functions from types |
| ppx_compose | 0.1.0 | Inlined function composition |
| ppx_const | 1.1 | Compile-time "if" statement for conditional inclusion of code.syntax |
| ppx_conv_func | v0.14.0 | Deprecated |
| ppx_core | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_cstruct | 5.1.1 | Access C-like structures directly from OCamlorg:mirage org:ocamllabs |
| ppx_cstubs | 0.4.1 | Preprocessor for easier stub generation with ctypes |
| ppx_csv_conv | v0.14.0 | Generate functions to read/write records in csv format |
| ppx_curried_constr | 1.0.0 | ppx_curried_constr: ppx extension for curried constructors |
| ppx_custom_printf | v0.14.0 | Printf-style format-strings for user-defined string conversion |
| ppx_debugger | 1.0 | ppx_debugger is a small semi-interactive for debugging OCaml execution |
| ppx_defer | 0.4.0 | Go-like [%defer later]; now syntax |
| ppx_derivers | 1.2.1 | Shared [@@deriving] plugin registry |
| ppx_deriving | 4.5 | Type-driven code generation for OCaml >=4.02.2syntax |
| ppx_deriving_argparse | 0.0.5 | Very simple ppx deriver of command line parser for Ocaml >=4.02 |
| ppx_deriving_cmdliner | 0.4.1 | Cmdliner.Term.t generatorsyntax cli |
| ppx_deriving_crowbar | 0.1.1 | ppx_deriving plugin for crowbar generators |
| ppx_deriving_hardcaml | v0.14.0 | Rewrite OCaml records for use as Hardcaml Interfaces |
| ppx_deriving_madcast | 0.1 | Library deriving cast functions based on their types.syntax |
| ppx_deriving_morphism | 0.4.1 | Morphism generator for OCaml >=4.02syntax |
| ppx_deriving_protobuf | 2.7 | A Protocol Buffers codec generator for OCaml >=4.02syntax |
| ppx_deriving_protocol | 0.8.1 | Migrate to ppx_protocol_conv |
| ppx_deriving_rpc | 7.0.0 | Ppx deriver for ocaml-rpc, a library to deal with RPCs in OCamlorg:mirage org:xapi-project |
| ppx_deriving_yojson | 3.5.2 | JSON codec generator for OCamlsyntax json |
| ppx_distr_guards | 0.2 | Extension to distribute guards over or-patterns |
| ppx_dotbracket | 1.0.0 | ppx extension for rebinding dot-bracket expressions such as a.[x], a.(x), a.{x} |
| ppx_driver | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_dryunit | 0.4.0 | A detection tool for traditional unit testing in OCaml |
| ppx_enum | 0.0.2 | PPX to derive enum-like modules from variant type definitionsorg:cryptosense |
| ppx_enumerate | v0.14.0 | Generate a list containing all values of a finite type |
| ppx_expect | v0.14.0 | Cram like framework for OCaml |
| ppx_factory | 0.1.1 | PPX to derive factories and default valuesorg:cryptosense |
| ppx_fail | v0.14.0 | Add location to calls to failwiths |
| ppx_fast_pipe | 0.0.1 | Fast pipe, pipe first as a syntax transform |
| ppx_fields_conv | v0.14.0 | Generation of accessor and iteration functions for ocaml records |
| ppx_fixed_literal | v0.14.0 | Simpler notation for fixed point literals |
| ppx_fun | 0.0.4 | ppx_fun is PPX rewriter that provides simplified syntax for anonymous functions via extensions: `[%f ...]` and `[%f_ ...]`. |
| ppx_gen_rec | 1.1.0 | A ppx rewriter that transforms a recursive module expression into a `struct` |
| ppx_getenv | 1.2 | A sample syntax extension that uses OCaml's new extension points API.syntax |
| ppx_graphql | 0.2.0 | Write type-safe GraphQL queries |
| ppx_hardcaml | 1.3.0 | PPX extension for HardCamlsyntax |
| ppx_hash | v0.14.0 | A ppx rewriter that generates hash functions from type expressions and definitions |
| ppx_here | v0.14.0 | Expands [%here] into its location |
| ppx_implicits | 0.3.0 | ppx_implicits: ppx extension for implicits, overloading and type classes. |
| ppx_import | 1.7.1 | A syntax extension for importing declarations from interface filessyntax |
| ppx_include | 1.1 | Include OCaml source files in each othersyntax |
| ppx_inline_test | v0.14.0 | Syntax extension for writing in-line tests in ocaml code |
| ppx_integer | 0.1.0 | ppx extension for integer literals with a suffix character [g-zG-Z]. |
| ppx_irmin | 2.1.0 | PPX deriver for Irmin generics |
| ppx_jane | v0.14.0 | Standard Jane Street ppx rewriters |
| ppx_js_style | v0.14.0 | Code style checker for Jane Street Packages |
| 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.syntax jsoo javascript |
| ppx_json_types | 0.3 | JSON type providers |
| ppx_let | v0.14.0 | Monadic let-bindings |
| ppx_log | v0.14.0 | Ppx_sexp_message-like extension nodes for lazily rendering log messages |
| ppx_measure | 1.1 | Provide a Type-safe way to manage unit of measure |
| ppx_meta_conv | 4.0.1 | Ppx based type_conv for various tree data formats |
| ppx_metaquot | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_module_timer | v0.14.0 | Ppx rewriter that records top-level module startup times |
| ppx_monadic | 2.3.0 | ppx extension for do notation, pattern guards, and monad comprehension |
| ppx_monoid | 0.3.2 | Syntax extension for building values of monoids |
| ppx_mysql | 1.1 | Syntax extension for facilitating usage of MySQL bindings |
| ppx_mysql_identity | 1.1 | Convenience package for using ppx_mysql with Mysql and the identity monad for IO |
| ppx_nanocaml | 0.1 | Framework for writing nanopass-style compilers |
| ppx_netblob | 1.2.1 | type-driven generation of HTTP calling code |
| ppx_optcomp | v0.14.0 | Optional compilation for OCaml |
| ppx_optional | v0.14.0 | Pattern matching on flat options |
| ppx_orakuda | 3.3.0 | ORakuda, Perlish string literals in OCaml |
| ppx_overload | 1.4 | Virtual package for ppx_overload, now provided by typpx |
| ppx_pattern_bind | v0.14.0 | A ppx for writing fast incremental bind nodes in a pattern match |
| ppx_pattern_guard | 1.0.1 | ppx_pattern_guard: ppx extension for pattern guard |
| ppx_pipebang | v0.14.0 | A ppx rewriter that inlines reverse application operators `|>` and `|!` |
| ppx_poly_record | 1.3.0 | ppx for polymorphic records |
| ppx_protocol_conv | 5.1.1 | Ppx for generating serialisation and de-serialisation functions of ocaml types |
| ppx_protocol_conv_json | 5.1.1 | Json driver for Ppx_protocol_conv |
| ppx_protocol_conv_jsonm | 5.1.1 | Jsonm driver for Ppx_protocol_conv |
| ppx_protocol_conv_msgpack | 5.1.1 | MessagePack driver for Ppx_protocol_conv |
| ppx_protocol_conv_xml_light | 5.1.1 | Xml driver for Ppx_protocol_conv |
| ppx_protocol_conv_xmlm | 5.1.1 | Xmlm driver for Ppx_protocol_conv |
| ppx_protocol_conv_yaml | 5.1.1 | Json driver for Ppx_protocol_conv |
| ppx_python | v0.14.0 | [@@deriving] plugin to generate Python conversion functions |
| ppx_rapper | 1.1.1 | Syntax extension for Caqti/PostgreSQL queries |
| ppx_regexp | 0.4.3 | Matching Regular Expressions with OCaml Patterns |
| ppx_relit | 0.2.0 | An implementation of Typed Literal Macros for Reason |
| ppx_sexp | 0.3.0 | ppx_sexp is a ppx preprocessor for embedding S-expressions in OCaml programs. |
| ppx_sexp_conv | v0.14.0 | [@@deriving] plugin to generate S-expression conversion functions |
| ppx_sexp_message | v0.14.0 | A ppx rewriter for easy construction of s-expressions |
| ppx_sexp_value | v0.14.0 | A ppx rewriter that simplifies building s-expressions from ocaml values |
| ppx_show | 0.2.0 | OCaml PPX deriver for deriving show based on ppxlib |
| ppx_sqlexpr | 0.9.0 | Type-safe, convenient SQLite database access - extension for use with sqlexpr. |
| ppx_stable | v0.14.0 | Stable types conversions generator |
| ppx_string | v0.14.0 | Ppx extension for string interpolation |
| ppx_string_interpolation | 1.0.0 | String interpolation PPX preprocessor |
| ppx_test | 1.7.0 | A ppx replacement of pa_ounit |
| ppx_there | 0.0.0 | PPX extension for improved __MODULE__ |
| ppx_tools | 6.1+4.10.0 | Tools for authors of ppx rewriters and other syntactic toolssyntax |
| ppx_tools_versioned | 5.4.0 | A variant of ppx_tools based on ocaml-migrate-parsetreesyntax |
| ppx_traverse | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_traverse_builtins | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_type_conv | v0.11.0 | Deprecated: use ppxlib instead |
| ppx_typerep_conv | v0.14.0 | Generation of runtime types from type declarations |
| ppx_tyre | 0.4.3 | PPX syntax for tyre regular expressions and routes |
| ppx_variants_conv | v0.14.0 | Generation of accessor and iteration functions for ocaml variant types |
| ppx_view | 1.0.1 | A ppx rewriter that provides pattern matching on abstract types by |
| ppx_where | 1.0 | Haskell-style `where` clauses as a PPX syntax extension |
| ppx_wideopen | 0.0.1 | Ppx_wideopen syntax extension |
| ppx_xml_conv | v0.14.0 | Generate XML conversion functions from records |
| ppx_yojson | 1.0.0 | PPX extension for Yojson literals and patterns |
| ppx_yojson_conv | v0.14.0 | [@@deriving] plugin to generate Yojson conversion functions |
| ppx_yojson_conv_lib | v0.14.0 | Runtime lib for ppx_yojson_conv |
| ppxfind | 1.4 | Tool combining ocamlfind and ppx |
| ppxlib | 0.13.0 | Base library and tools for ppx rewriters |
| ppxx | 2.4.0 | Ppxx: a small extension library for writing PPX preprocessors |
| prettiest | 0.0.2 | Non-greedy pretty printer |
| primes | 1.3.5 | A small library for dealing with primes. |
| printbox | 0.5 | Allows to print nested boxes, lists, arrays, tables in several formatsprint box table tree |
| prob-cache | 1.1.0 | Polymorphic probability cache API, including a distributed riak backed cache. |
| process | 0.2.1 | Easy process controlprocess subprocess command system |
| procord | 0.2.0 | Procord: a portable library to delegate tasks to other processes. |
| prof_spacetime | 0.3.0 | A viewer for OCaml spacetime profiles |
| profiler-plugin | 1.30 | Alt-Ergo, an SMT Solver for Software Verification: Profiler Plugin |
| profound | 0.4.2 | Interactive proof exploration based on formula linking |
| proj4 | 0.9.2 | Bindings to the PROJ.4 projection libraryclib:proj clib:m |
| prom | 0.2 | Types and pretty printer for Prometheus text-based exposition format |
| promela | 0.4.2 | Library to create, manipulate and reason about PROMELA data structures. |
| prometheus | 0.7 | Client library for Prometheus monitoring |
| prometheus-app | 0.7 | Client library for Prometheus monitoring |
| promise | 1.0.2 | Native implementation of a JS promise binding |
| protobuf | 1.0.0 | Protobuf implementation for Ocaml |
| protocell | 1.0.0 | A Protobuf plugin for OCaml |
| protocol-9p | 2.0.1 | An implementation of the 9p protocol in pure OCaml |
| protocol-9p-tool | 2.0.1 | An implementation of the 9p protocol in pure OCaml |
| protocol-9p-unix | 2.0.1 | A Unix implementation of the 9p protocol in pure OCaml |
| protocol_version_header | v0.14.0 | Protocol versioning |
| proverif | 2.01 | ProVerif: Cryptographic protocol verifier in the symbolic model |
| proverifdoc | 2.01 | Documentation for ProVerif, a cryptographic protocol verifier in the symbolic model |
| psmt2-frontend | 0.2 | A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism |
| psq | 0.2.0 | Functional Priority Search Queues |
| psyche | 0.0.1 | A WASM-friendly lightweight programming language implemented in OCaml |
| ptime | 0.8.5 | POSIX time for OCamltime posix system org:erratique |
| ptmap | 2.0.4 | Maps over integers implemented as Patricia trees |
| ptset | 1.0.0 | Sets of integers implemented as Patricia trees |
| publish | 0.3.4+transition | opam-publish transition package |
| pulseaudio | 0.1.3 | Bindings to Pulseaudio client library |
| pumping | 0.1.0 | Regular languages in typesregex types |
| pure-splitmix | 0.2 | Purely functional splittable PRNG |
| pvem | 0.0.1 | Polymorphic-Variants-based Error Monad |
| pvem_lwt_unix | 0.0.2 | Access to the Operating system with Pvem and Lwt_unix |
| pxp | 1.2.9 | Polymorphic XML Parser |
| py | 1.3 | Ctypes bindings to Python 3.5 or greaterpython |
| pyml | 20200518 | OCaml bindings for Python |
| pythonlib | v0.14.0 | A library to help writing wrappers around ocaml code for python |
| qbf | 0.2 | QBF solving in OCaml, including bindings to solversclib:quantor clib:qdpll clib:picosat |
| qcheck | 0.13 | Compatibility package for qchecktest property quickcheck |
| qcheck-alcotest | 0.13 | Alcotest backend for qchecktest quickcheck qcheck alcotest |
| qcheck-core | 0.13 | Core qcheck librarytest property quickcheck |
| qcheck-ounit | 0.13 | OUnit backend for qcheckqcheck quickcheck ounit |
| qcow | 0.11.0 | Support for Qcow2 imagesorg:mirage |
| qcow-format | 0.5.0 | Read and write images in Qcow2 formatorg:mirage |
| qcow-tool | 0.11.0 | A command-line tool for manipulating qcow2-formatted dataorg:mirage |
| qcstm | 0.1.1 | A simple state-machine framework for OCaml based on QCheckstate machine test property quickcheck |
| qfs | 0.12 | Bindings to libqfs - client library to access QFSorg:ahrefs clib:stdc clib:qfs |
| qmp | 0.9.1 | OCaml implementation of a Qemu Message Protocol (QMP) clientorg:mirage org:xapi-project |
| qocamlbrowser | 0.2.11 | OCamlBrowser clone written with OCaml and QtQuick 2 |
| qrencode | 0.2 | Binding to libqrencode (QR-code encoding library) |
| qtest | 2.11 | Lightweight inline test extraction from commentstest property quickcheck |
| quest | 0.1 | quest - generates C code for testing a C compiler's calling convention |
| quests | 0.1.3 | HTTP/1.1 client library like Python requests |
| quickcheck | 1.0.2 | Translation of QuickCheck from Haskell into OCaml |
| r2pipe | 0.0.1 | Deprecated: use radare2 instead |
| radare2 | 0.0.4 | OCaml interface to r2 |
| radis | 0.1 | Radix tree implementation |
| randomconv | 0.1.3 | Convert from random byte vectors (Cstruct.t) to random native numbers |
| range | 0.8.3 | Fold on integer range |
| ranger | 0.1.0 | A consecutive range slice library for strings, arrays, etc. |
| rankers | 2.0.1 | Vanishing Ranking Kernels (VRK) |
| rashell | 0.2.1 | A resilient and replicant shell programming libraryshell |
| raw_spacetime | base | Raw_spacetime_lib library distributed with the OCaml compiler |
| rawlink | 1.0 | Portable library to read and write raw packets |
| raygun4ocaml | 0.1.0 | Client for the Raygun error reporting API |
| rdbg | 1.184.1 | RDBG: a reactive programs debugger |
| rdf | 0.11.0 | Native OCaml implementation of RDF Graphs and Sparql 1.1 Query.rdf semantic web xml turtle graph sparql utf8 |
| rdr | 2.0.1 | Rdr is a cross-platform binary analysis and reverse engineering library, |
| re | 1.9.0 | RE is a regular expression library for OCaml |
| re2 | v0.14.0 | OCaml bindings for RE2, Google's regular expression library |
| re2_stable | v0.14.0 | Re2_stable adds an incomplete but stable serialization of Re2 |
| react | 1.2.1 | Declarative events and signals for OCamlreactive declarative signal event frp org:erratique |
| reactiveData | 0.2.2 | Declarative events and signals for OCamlreactive declarative signal event frp |
| reason | 3.6.0 | Reason: Syntax & Toolchain for OCamlsyntax |
| reason-parser | 2.0.0 | Reason Parser: Meta Language Toolchainsyntax |
| reason-standard | 0.1.0~alpha.1 | A portable standard library enhancement for Reason and OCaml. |
| receive-mail | 0.1.2 | A simple SMTP server for OCaml |
| received | 0.3.0 | Received field according RFC5321 |
| record_builder | v0.14.0 | A library which provides traversal of records with an applicative |
| records | 0.8.0 | Recordsorg:cryptosense |
| redirect | 0.1.1 | Redirect channels |
| redis | 0.4 | Redis clientredis |
| redis-lwt | 0.4 | Redis client (lwt interface)redis lwt |
| redis-sync | 0.4 | Redis client (blocking)redis unix |
| reed-solomon-erasure | 1.0.2 | OCaml implementation of Reed-Solomon erasure coding |
| reedsolomon | 0.3 | Reed-Solomon Error Correction CODEC |
| refl | 0.1.0 | PPX deriver for reflection |
| regenerate | 0.2 | Regenerate is a tool to generate test-cases for regular expression engines |
| regstab | 2.0.0 | SAT-Solver able to deal with formulae patterns |
| regular | 2.1.0 | Library for regular data types |
| reins | 0.1a | Persistent data structure library from OCaml Summer Project 2007 sponsored by Jane St. Capital. |
| release | 1.1.1 | Release is a multi-process Lwt-enabled daemon framework for OCaml. |
| relit-reason | 0.0.2 | Hygienic typed literal macros (TLMs) for Reasonsyntax |
| relit_helper | 0.2.0 | A helper library for those wishing to write TLMs using Relit |
| remu_ts | 0.1 | External type infer |
| res | 5.0.1 | RES - Library for resizable, contiguous datastructures |
| resource-pooling | 1.1 | Library for pooling resources like connections, threads, or similar |
| resource_cache | v0.14.0 | General resource cache |
| resp | 0.9.1 | Redis serialization protocol library |
| resp-client | 0.9.1 | Redis serialization protocol clientredis protocol |
| resp-mirage | 0.9.1 | Redis serialization protocol tools for MirageOS |
| resp-server | 0.9.1 | Redis serialization protocol server |
| resp-unix | 0.9.1 | Redis serialization protocol library for Unix |
| resto | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| resto-cohttp | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| resto-cohttp-client | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| resto-cohttp-server | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs - server library |
| resto-directory | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| resto-json | 0.5 | A minimal OCaml library for type-safe HTTP/JSON RPCs |
| result | 1.5 | Compatibility Result module |
| revops | 2.5 | Reversible operations |
| rfc1951 | 1.1.0 | Implementation of RFC1951 in OCaml |
| rfc6287 | 1.0.4 | OCRA (OATH Challenge-Response Algorithm) implementation in OCaml |
| rfc7748 | 1.0 | Edwards Curves X25519 and X448 from RFC 7748 |
| rfsm | 1.6.0 | A toolset for describing and simulating StateChart-like state diagrams |
| rhythm | 0.0.1 | Data Structures and Algorithms implemented in Reason |
| riak | 1.0.0 | A Riak OCaml client |
| riak-pb | 1.0.0 | Riak OCaml Protobuffs library |
| riakc | 2.0.0 | Protobuf based Riak client |
| riakc_ppx | 3.1.4 | An OCaml riak client with ppx extensions |
| ringo | 0.4 | Caches (bounded-size key-value stores) and other bounded-size stores |
| ringo-lwt | 0.4 | Lwt-wrappers for Ringo caches |
| river | 0.1.3 | A planet (feed aggregator) in OCaml. |
| rlp | 0.1 | RLP: Recursive Length Prefix Encoding |
| rml | 1.09.05 | ReactiveML: a programming language for implementing interactive systems. |
| rmlbuild | 0.11.0-00 | rmlbuild is a fork of ocamlbuild that handles ReactiveML projets. |
| root1d | 0.5.1 | Find roots of 1D functionsscientfic root finding |
| rope | 0.6.2 | Ropes (heavyweight strings)datastructure |
| rosetta | 0.3.0 | Universal mapper to Unicode |
| rotor | 0.1 | An automatic refactoring tool for OCaml |
| routes | 0.8.0 | Typed routing for OCaml applicationsrouter http |
| rpc | 7.0.0 | A library to deal with RPCs in OCaml - meta-packageorg:mirage org:xapi-project |
| rpc_parallel | v0.14.0 | Type-safe parallel library built on top of Async_rpc |
| rpclib | 7.0.0 | A library to deal with RPCs in OCamlorg:mirage org:xapi-project |
| rpclib-async | 7.0.0 | A library to deal with RPCs in OCaml - Async interfaceorg:mirage org:xapi-project |
| rpclib-html | 7.0.0 | A library to deal with RPCs in OCaml - html documentation generatororg:mirage org:xapi-project |
| rpclib-js | 7.0.0 | A library to deal with RPCs in OCaml - Bindings for js_of_ocamlorg:mirage org:xapi-project |
| rpclib-lwt | 7.0.0 | A library to deal with RPCs in OCaml - Lwt interfaceorg:mirage org:xapi-project |
| rresult | 0.6.0 | Result value combinators for OCamlresult error declarative org:erratique |
| rtime | 0.9.3 | Module implementing timelines for React |
| rtop | 3.6.0 | Reason toplevelsyntax |
| rubytt | 0.1 | rubytt is a static code analyzer for Ruby.ruby analyzer |
| safa | 1.4 | Symbolic Algorithms for Finite Automata |
| safepass | 3.0 | Facilities for the safe storage of user passwords |
| sail | 0.13 | Sail is a language for describing the instruction semantics of processors |
| salsa20 | 1.1.0 | Salsa20 family of encryption functions, in pure OCaml |
| salsa20-core | 1.0.0 | The Salsa20 core functions, in OCaml |
| samplerate | 0.1.4 | Bindings for the samplerate library which provides functions for changing samplerate of audio data |
| sanddb | 0.2 | A simple immutable database for the masses |
| sanlock | 0.0.9 | Ctypes bindings to libsanlock for OCaml |
| sarek | 20140620 | GPGPU kernels DSL for OCaml. |
| satML-plugin | 1.30 | Alt-Ergo, an SMT Solver for Software Verification: satML Plugin |
| sattools | 0.1.0 | Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat |
| satyrographos | 0.0.2.1 | A package manager for SATySFi |
| sawja | 1.5.8 | Sawja provides a high level representation of Java bytecode programs and static analysis tools |
| scgi | 1.0 | Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP serversscgi web application |
| schoca | 0.2.3 | Implementation of the Scheme language in OCaml |
| schroedinger | 0.1.1 | Bindings for the schroedinger library to decode video files in Dirac format |
| scid | 1.0 | Sierra Chart's Intraday Data File Format library |
| scrypt | 0.2.1 | C bindings and a high level interface to the official scrypt distribution. |
| scrypt-kdf | 1.1.0 | The scrypt Password-Based Key Derivation Function |
| sdl-liquidsoap | 1 | Virtual package installing liquidsoap's sdl dependencies |
| secp256k1 | 0.4.1 | Elliptic curve library secp256k1 wrapper for Ocaml |
| secp256k1-internal | 0.2.0 | Bindings to secp256k1 internal functions (generic operations on the curve) |
| sedlex | 2.2 | An OCaml lexer generator for Unicode |
| sek | 20200403 | An efficient implementation of ephemeral and persistent sequences |
| selective | 0.1.0 | Selective applicative functors in OCaml |
| semver | 0.1.0 | Semantic versioning module |
| semver2 | 1.0.0 | Semantic version handling for OCaml |
| sendmail | 0.3.0 | Implementation of the sendmail command |
| sendmail-lwt | 0.3.0 | Implementation of the sendmail command over LWT |
| sendmsg | 0.0.2 | π-calculus? In _my_ kernel? |
| sentry | v0.10.1 | Unofficial Async Sentry error monitoring client |
| seq | base | Compatibility package for OCaml's standard iterator type starting from 4.07. |
| sequence | 1.1 | Simple and lightweight sequence abstract data type.sequence iterator iter fold |
| sequencer_table | v0.14.0 | A table of [Async.Sequencer]'s, indexed by key |
| sequoia | 0.1.0 | Type-safe query builder for OCaml |
| serial | 0.0.2 | Serial communication module |
| session | 0.4.1 | A session manager for your everyday needs |
| session-cohttp | 0.4.1 | A session manager for your everyday needs - Cohttp-specific support |
| session-cohttp-async | 0.4.1 | A session manager for your everyday needs - Cohttp-specific support for Async |
| session-cohttp-lwt | 0.4.1 | A session manager for your everyday needs - Cohttp-specific support for Lwt |
| session-cookie | 0.1.8 | Session handling for OCaml and ReasonML |
| session-cookie-async | 0.1.8 | Session handling for OCaml and ReasonML |
| session-cookie-lwt | 0.1.8 | Session handling for OCaml and ReasonML |
| session-postgresql | 0.4.1 | A session manager for your everyday needs - Postgresql-specific support |
| session-postgresql-async | 0.4.1 | A session manager for your everyday needs - Postgresql-specific support for Async |
| session-postgresql-lwt | 0.4.1 | A session manager for your everyday needs - Postgresql-specific support |
| session-redis-lwt | 0.4.1 | A session manager for your everyday needs - Redis-specific support for Lwt |
| session-webmachine | 0.4.1 | A session manager for your everyday needs - Webmachine-specific support |
| sessions | 0.1.0 | Library to provide session types to allow for static verification of protocols between concurrent computations. |
| setcore | 1.0.2 | Pin current process to given core number |
| setr | 0.1.1 | Abstract domain library for sets |
| sexp | v0.14.0 | S-expression swiss knife |
| sexp_diff_kernel | v0.14.0 | Code for computing the diff of two sexps |
| sexp_macro | v0.14.0 | Sexp macros |
| sexp_pretty | v0.14.0 | S-expression pretty-printer |
| sexp_select | v0.14.0 | A library to use CSS-style selectors to traverse sexp trees |
| sexplib | v0.14.0 | Library for serializing OCaml values to and from S-expressions |
| sexplib0 | v0.14.0 | Library containing the definition of S-expressions and some base converters |
| sfml | 0.08.2 | Bindings to the SFML multimedia librarybindings graphics audio multimedia gamedev opengl network |
| sgf | 1.0 | Parser and pretty printer for SGF files. |
| sha | 1.13 | Binding to the SHA cryptographic functions |
| shared-block-ring | 2.4.0 | A single-consumer single-producer queue on a block deviceorg:mirage org:xapi-project |
| shared-memory-ring | 3.1.0 | Shared memory rings for RPC and bytestream communicationsorg:mirage org:xapi-project |
| shared-memory-ring-lwt | 3.1.0 | Shared memory rings for RPC and bytestream communications using Lwtorg:mirage org:xapi-project |
| shared-secret | 0.4 | Exceptions are shared secrets |
| shcaml | 0.2.1 | Library for Unix shell programming |
| shell | v0.14.0 | Yet another implementation of fork&exec and related functionality |
| shexp | v0.14.0 | Process library and s-expression based shell |
| shine | 0.2.1 | Fixed-point MP3 encoder. |
| should | 0.1.0 | Literate assertions |
| sibylfs | 0.5.0 | formal specification and oracle-based testing for POSIX file systems |
| sibylfs-lem | 0.4.0 | SibylFS fork of Lightweight Executable Mathematics for large-scale semantics |
| sid | 2.0 | Handle security identfiers |
| sill | 1.4 | Implementation of Linear Session Types |
| simple-bmc | 0.0.1 | A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal). |
| simple-diff | 0.3 | Simple_diff is a pure OCaml diffing algorithm. |
| simple_pam | 0.1.2 | Tiny binding around PAM |
| skkserv-lite | 2.0.1 | SKK server using sqlite3 dictionaries |
| sklearn | 0.22-0.2.0 | Scikit-learn machine learning library for OCaml |
| slack-backup | 0.1 | Small tool to backup IM and channels from slack. |
| slacko | 0.15.0 | Type-safe binding to the Slack API |
| slap | 4.1.0 | A linear algebra library with static size checking for matrix operations |
| smart-print | 0.3.0 | A pretty-printing library in OCaml |
| smbc | 0.6.1 | Experimental model finder/SMT solver for functional programminglogic narrowing model smt |
| smtlib-utils | 0.1 | Parser for SMTLIB2SMTLIB smt2 parse logic |
| smtp | 0.3 | SMTP library with Unix and Lwt backendssmtp |
| snabela | 1.0 | Logic-less template system |
| snappy | 0.1.2 | Bindings to snappy - fast compression/decompression libraryorg:ygrek clib:snappy |
| so | 0.0.1 | Open file depending on their extension |
| socialpeek | 1.0.0 | OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML. |
| sociaml-facebook-api | 0.4.1 | Facebook Graph API Client Library for OCaml |
| sociaml-oauth-client | 0.5.0 | OAuth Client Library for Ocaml |
| sociaml-tumblr-api | 0.2.0 | Tumblr API Client Library for OCaml |
| sociaml-vcard | 0.2.1 | vCard library for OCaml |
| socket-daemon | 0.3.0 | Create daemons listening to a socket for stop, restart, ..., orderssocket daemon unix |
| socketcan | 0.8.12-0 | socketcan |
| sodium | 0.6.0 | Binding to libsodium UNAUDITEDorg:mirage |
| solo5-bindings-genode | 0.6.4 | Solo5 sandboxed execution environment (genode target) |
| solo5-bindings-hvt | 0.6.5 | Solo5 sandboxed execution environment (hvt target) |
| solo5-bindings-muen | 0.6.5 | Solo5 sandboxed execution environment (muen target) |
| solo5-bindings-spt | 0.6.5 | Solo5 sandboxed execution environment (spt target) |
| solo5-bindings-virtio | 0.6.5 | Solo5 sandboxed execution environment (virtio target) |
| solo5-kernel-muen | 0.3.1 | Solo5 sandboxed execution environment (muen target) |
| solo5-kernel-ukvm | 0.3.1 | Solo5 sandboxed execution environment (ukvm target) |
| solo5-kernel-virtio | 0.3.1 | Solo5 sandboxed execution environment (virtio target) |
| solvuu-build | 0.3.0 | Solvuu's build system.org:solvuu |
| solvuu_build | 0.0.2 | DEPRECATED. Please use solvuu-build.org:solvuu |
| sonet | 0.1.2 | Collection of modules for asynchronous network applications |
| sosa | 0.3.0 | Sane OCaml String API |
| soundtouch | 0.1.8 | Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data |
| soupault | 1.12.0 | Static website generator based on HTML rewriting |
| space-search | 0.9.1 | SpaceSearch is a library that turns Coq into a solver-aided host language. Many |
| spacetime_lib | 0.3.0 | Library for decoding OCaml spacetime profiles |
| sparrow | 0.2 | A Static Analyzer for C |
| spatial_index | 0.0.2 | Implementation of several spatial indexes (R-tree, etc.) |
| spawn | v0.13.0 | Spawning sub-processes |
| spdiff | 0.1 | tool for automatic inference of semantic patches |
| speex | 0.2.1 | Bindings for the speex library to decode audio files in speex format |
| spelll | 0.3 | Fuzzy string searching, using Levenshtein automatonspell levenshtein automaton typo edit distance |
| spf | 2.0.2 | OCaml bindings for libspf2 |
| sphinxcontrib-ocaml | 0.3.0 | Sphinx extension to document OCaml libraries |
| spin | 0.6.0 | A project generator for Reason and OCaml |
| spirv | 1.1.2 | SPIR-V Compiler Library |
| splay_tree | v0.14.0 | A splay tree implementation |
| splittable_random | v0.14.0 | PRNG that can be split into independent streams |
| spoc | 20170724 | High-level GPGPU programming library for OCaml. |
| spotify-cli | 0.3.0 | CLI program for controlling the Spotify client on Linux and OSX |
| spotify-web-api | 0.2.1 | OCaml bindings to the Spotify web API |
| spotinstall | 1.2.1 | A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit). |
| spotlib | 4.1.0 | Useful functions for OCaml programming used by @camlspotter |
| spotlib_js | 2.2.0_js | Useful functions for OCaml programming used by @camlspotter |
| spreadsheet | 0.1 | Functor for parsing and building spreadsheets. |
| spreadsheetml | 1.0 | A library to parsing SpreadsheetML (used in Microsoft Excel files) |
| sqlexpr | 0.9.0 | Type-safe, convenient SQLite database access. |
| sqlgg | 20200521 | SQL Guided (code) Generatororg:ygrek |
| sqlite3 | 5.0.1 | SQLite3 bindings for OCaml |
| sqlite3_utils | 0.3.1 | High-level wrapper around ocaml-sqlite3sqlite3 gadt typed sql |
| sqlite3EZ | 0.1.0 | Thin wrapper for sqlite3-ocaml with a simplified interface |
| srs | 2.0.0 | OCaml bindings for libsrs2 |
| srt | 0.1.0 | Binding for the Secure, Reliable, Transport protocol library |
| ssh-agent | 0.3.0 | Ssh-agent protocol parser and serialization implementation |
| ssh-agent-unix | 0.3.0 | Ssh-agent protocol parser and serialization implementation for unix platforms |
| ssl | 0.5.9 | Bindings for OpenSSL |
| sslconf | 0.8.3 | An OCaml version of Openssl's NCONF library |
| starterkit | 1.0.0 | Virtual package for starting OCaml |
| stationary | 0.0.1 | Static site generator |
| statmemprof-emacs | 0.1.0 | Emacs client for statistical memory profiler |
| statsd-client | 1.0.2 | StatsD client library |
| statverif | 1.97pl1.2 | StatVerif: automated verifier for cryptographic protocols with state, based on ProVerif |
| stb_image | 0.5 | OCaml bindings to stb_image, a public domain image loader |
| stb_image_write | 0.2 | OCaml bindings to stb_image_write, a public domain image writer |
| stb_truetype | 0.6 | OCaml bindings to stb_truetype, a public domain font rasterizer |
| stdcompat | 14 | Compatibility module for OCaml standard library |
| stdint | 0.6.0 | Signed and unsigned integer types having specified widths |
| stdio | v0.14.0 | Standard IO library for OCaml |
| stdlib-diff | 0.1.3 | Symmetric Diffs for OCaml stdlib and ReasonML |
| stdlib-shims | 0.1.0 | Backport some of the new stdlib features to older compilerstdlib compatibility org:ocaml |
| stemmer | 0.2 | Porter stemming algorithm in pure OCaml |
| stemming | 0.2.1 | Collection of stemmersorg:ygrek |
| stitch | 0.0.0 | Refactoring frameworkorg:cryptosense |
| stog | 0.18.0-1 | A static web site compiler, handling blog posts, or XML document in general.publication xml documentation blog web website |
| stog-rdf | 0.16.1 | Plugin for Stog. Define and query RDF graphs in rewrite rules.publication rdf sparql semantic web |
| stog-writing | 0.17.0 | Plugin for Stog to use footnotes and bibliographies in stog-generated web sites.publication web blog bibliography |
| stone | 0.5.1 | Simple static website generator, useful for a portfolio or documentation pages |
| streaming | 0.8.0 | Fast, safe and composable streaming abstractions |
| string_dict | v0.14.0 | Efficient static string dictionaries |
| stringext | 1.6.0 | Extra string functions for OCaml |
| sturgeon | 0.4.2 | A toolkit for communicating with Emacs |
| subscriptions-transport-ws | 0.1.0 | Websocket protocol for exchanging GraphQL requests and responses |
| subtype-refinement | 0.2 | Refinement types encoded with private types in OCaml |
| sugar | 0.7.3 | Monadic library for error aware expressions |
| sundialsml | 3.1.1p0-1 | Interface to the Sundials suite of numerical solversnumerical simulation mathematics science |
| swagger | 0.2.0 | Swagger 2.0 code generator for OCaml |
| swdogen | 0.1.0 | SWagger DOcumentation GENerator |
| symkat | 1.4 | Symbolic Algorithms for Kleene algebra with Tests (KAT) |
| syndic | 1.6.1 | RSS1, RSS2, Atom and OPML1 parsing |
| sys-socket | 1.0.0 | Ctypes bindings to system-specific low-level socket structure and data-types |
| sys-socket-unix | 1.0.0 | Ctypes bindings to unix-specific low-level socket structure and data-types |
| syslog | 2.0.1 | syslog(3) routines for ocaml |
| syslog-message | 1.1.0 | Syslog message parser |
| syslog-rfc5424 | 0.1 | Syslog Protocol (RFC5424) parser and pretty-printer |
| systemverilog | 0.0.2 | SystemVerilog for OCaml |
| tablecloth-native | 0.0.7 | Native OCaml library implementing Tablecloth, a cross-platform standard library for OCaml, Bucklescript and ReasonML |
| taglib | 0.3.6 | Bindings for the taglib library which provides functions for reading tags in headers of audio files |
| taglog | 0.3.0 | Logging library using levels and tags to determine what to log.log |
| tallgeese | 0.1 | Enhanced SSH on OS X |
| tar | 1.1.0 | Decode and encode tar format files in pure OCamlorg:xapi-project org:mirage |
| tar-format | 0.7.1 | Decode and encode tar filesorg:xapi-project org:mirage |
| tar-mirage | 1.1.0 | Read and write tar format files via MirageOS interfacesorg:xapi-project org:mirage |
| tar-unix | 1.1.0 | Decode and encode tar format files from Unixorg:xapi-project org:mirage |
| tcpip | 4.1.0 | OCaml TCP/IP networking stack, used in MirageOSorg:mirage |
| TCSLib | 0.3 | A multi-purpose library for OCaml. |
| tcx | 0.25.0 | OCaml library for parsing and formatting Training Center XML files. |
| tdk | 0.2.0 | The Decision Kit is a collection of data structures that are useful |
| teash | 0.1.0 | TEA for the shell |
| telegraml | 2.2.0 | Telegram Bot API for OCaml |
| tensorboard | 0.0.1 | |
| tensorflow | 0.0.11 | TensorFlow bindings for OCaml |
| termbox | 0.1.0 | Bindings for the termbox library, minimalistic API for creating text-based interfaces. |
| terminal_size | 0.1.4 | Get the dimensions of the terminal |
| testrunner | 0.1.0 | Simple framework to run tests and create test reports for OCaml libraries.test continuous integration |
| testsimple | 0.3.1 | A simple unit testing framework |
| text | 0.8.1 | Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way |
| text-tags | 2.1.0 | A library for rich formatting using semantics tags |
| textrazor | 0.1 | An OCaml wrapper for the TextRazor API |
| textutils | v0.14.0 | Text output utilities |
| textutils_kernel | v0.14.0 | Text output utilities |
| textwrap | 0.2 | Text wrapping and filling library |
| tezos | 7.1 | Tezos meta package installing all active binaries |
| tezos-accuser-006-PsCARTHA | 7.1 | Tezos/Protocol: 006_PsCARTHA accuser binary |
| tezos-baker-006-PsCARTHA | 7.1 | Tezos/Protocol: 006_PsCARTHA baker binary |
| tezos-baking-006-PsCARTHA | 7.1 | Tezos/Protocol: base library for `tezos-baker/endorser/accuser` |
| tezos-baking-006-PsCARTHA-commands | 7.1 | Tezos/Protocol: protocol-specific commands for baking |
| tezos-baking-alpha | 7.1 | Tezos/Protocol: base library for `tezos-baker/endorser/accuser` |
| tezos-baking-alpha-commands | 7.1 | Tezos/Protocol: protocol-specific commands for baking |
| tezos-base | 7.1 | Tezos: meta-package and pervasive type definitions for Tezos |
| tezos-clic | 7.1 | Tezos: library of auto-documented command-line-parsing combinators |
| tezos-client | 7.1 | Tezos: `tezos-client` binary |
| tezos-client-000-Ps9mPmXa | 7.1 | Tezos/Protocol: 000-Ps9mPmXa (protocol-specific commands for `tezos-client`) |
| tezos-client-001-PtCJ7pwo | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-001-PtCJ7pwo-commands | 7.1 | Tezos/Protocol: 001_PtCJ7pwo (protocol-specific commands for `tezos-client`) |
| tezos-client-002-PsYLVpVv | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-002-PsYLVpVv-commands | 7.1 | Tezos/Protocol: 002_PsYLVpVv (protocol-specific commands for `tezos-client`) |
| tezos-client-003-PsddFKi3 | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-003-PsddFKi3-commands | 7.1 | Tezos/Protocol: 003_PsddFKi3 (protocol-specific commands for `tezos-client`) |
| tezos-client-004-Pt24m4xi | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-004-Pt24m4xi-commands | 7.1 | Tezos/Protocol: 004_Pt24m4xi (protocol-specific commands for `tezos-client`) |
| tezos-client-005-PsBabyM1 | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-005-PsBabyM1-commands | 7.1 | Tezos/Protocol: 005_PsBabyM1 (protocol-specific commands for `tezos-client`) |
| tezos-client-006-PsCARTHA | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-006-PsCARTHA-commands | 7.1 | Tezos/Protocol: 006_PsCARTHA (protocol-specific commands for `tezos-client`) |
| tezos-client-alpha | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-alpha-commands | 7.1 | Tezos/Protocol: protocol-specific commands for `tezos-client` |
| tezos-client-base | 7.1 | Tezos: common helpers for `tezos-client` |
| tezos-client-base-unix | 7.1 | Tezos: common helpers for `tezos-client` (unix-specific fragment) |
| tezos-client-commands | 7.1 | Tezos: protocol agnostic commands for `tezos-client` |
| tezos-client-demo-counter | 7.1 | Tezos/Protocol: protocol specific library for `tezos-client` |
| tezos-client-genesis | 7.1 | Tezos/Protocol: genesis (protocol-specific commands for `tezos-client`) |
| tezos-client-genesis-carthagenet | 7.1 | Tezos/Protocol: genesis (protocol-specific commands for `tezos-client`) |
| tezos-codec | 7.1 | Tezos: `tezos-codec` binary to encode and decode values |
| tezos-crypto | 7.1 | Tezos: library with all the cryptographic primitives used by Tezos |
| tezos-embedded-protocol-000-Ps9mPmXa | 7.1 | Tezos/Protocol: 000-Ps9mPmXa (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-001-PtCJ7pwo | 7.1 | Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-002-PsYLVpVv | 7.1 | Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-003-PsddFKi3 | 7.1 | Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-004-Pt24m4xi | 7.1 | Tezos/Protocol: economic-protocol definition, embedded in `tezos-node` |
| tezos-embedded-protocol-005-PsBABY5H | 7.1 | Tezos/Protocol: economic-protocol definition, embedded in `tezos-node` |
| tezos-embedded-protocol-005-PsBabyM1 | 7.1 | Tezos/Protocol: economic-protocol definition, embedded in `tezos-node` |
| tezos-embedded-protocol-006-PsCARTHA | 7.1 | Tezos/Protocol: economic-protocol definition, embedded in `tezos-node` |
| tezos-embedded-protocol-alpha | 7.1 | Tezos/Protocol: economic-protocol definition, embedded in `tezos-node` |
| tezos-embedded-protocol-demo-counter | 7.1 | Tezos/Protocol: demo_counter (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-demo-noops | 7.1 | Tezos/Protocol: demo_noops (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-genesis | 7.1 | Tezos/Protocol: genesis (economic-protocol definition, embedded in `tezos-node`) |
| tezos-embedded-protocol-genesis-carthagenet | 7.1 | Tezos/Protocol: genesis_carthagenet (economic-protocol definition, embedded in `tezos-node`) |
| tezos-endorser-006-PsCARTHA | 7.1 | Tezos/Protocol: 006_PsCARTHA endorser binary |
| tezos-error-monad | 7.1 | Tezos: error monad |
| tezos-event-logging | 7.1 | Tezos event logging library |
| tezos-lmdb | 7.1 | Legacy Tezos OCaml binding to LMDB (Consider ocaml-lmdb instead) |
| tezos-mempool-006-PsCARTHA | 7.1 | Tezos/Protocol: mempool-filters for protocol 006-PsCARTHA |
| tezos-micheline | 7.1 | Tezos: internal AST and parser for the Michelson language |
| tezos-mockup | 7.1 | Tezos: library of auto-documented RPCs (mockup mode) |
| tezos-mockup-commands | 7.1 | Tezos: library of auto-documented RPCs (commands) |
| tezos-mockup-registration | 7.1 | Tezos: protocol registration for the mockup mode |
| tezos-node | 7.1 | Tezos: `tezos-node` binary |
| tezos-p2p | 7.1 | Tezos: library for a pool of P2P connections |
| tezos-p2p-services | 7.1 | Tezos: descriptions of RPCs exported by `tezos-p2p` |
| tezos-protocol-000-Ps9mPmXa | 7.1 | Tezos/Protocol: 000_Ps9mPmXa (economic-protocol definition, functor version) |
| tezos-protocol-001-PtCJ7pwo | 7.1 | Tezos/Protocol: 001_PtCJ7pwo (economic-protocol definition, functor version) |
| tezos-protocol-002-PsYLVpVv | 7.1 | Tezos/Protocol: 002_PsYLVpVv (economic-protocol definition, functor version) |
| tezos-protocol-003-PsddFKi3 | 7.1 | Tezos/Protocol: 003_PsddFKi3 (economic-protocol definition, functor version) |
| tezos-protocol-004-Pt24m4xi | 7.1 | Tezos/Protocol: economic-protocol definition |
| tezos-protocol-005-PsBABY5H | 7.1 | Tezos/Protocol: economic-protocol definition |
| tezos-protocol-005-PsBabyM1 | 7.1 | Tezos/Protocol: economic-protocol definition |
| tezos-protocol-006-PsCARTHA | 7.1 | Tezos/Protocol: economic-protocol definition |
| tezos-protocol-006-PsCARTHA-parameters | 7.1 | Tezos/Protocol: parameters for protocol 006-PsCARTHA |
| tezos-protocol-alpha | 7.1 | Tezos/Protocol: economic-protocol definition |
| tezos-protocol-alpha-parameters | 7.1 | Tezos/Protocol: parameters |
| tezos-protocol-compiler | 7.1 | Tezos: economic-protocol compiler |
| tezos-protocol-demo-counter | 7.1 | Tezos/Protocol: demo_counter economic-protocol definition |
| tezos-protocol-demo-noops | 7.1 | Tezos/Protocol: demo_noops economic-protocol definition |
| tezos-protocol-environment | 7.1 | Tezos: custom economic-protocols environment implementation for `tezos-client` and testing |
| tezos-protocol-environment-sigs | 7.1 | Tezos: restricted typing environment for the economic protocols |
| tezos-protocol-genesis | 7.1 | Tezos/Protocol: genesis economic-protocol definition |
| tezos-protocol-genesis-carthagenet | 7.1 | Tezos/Protocol: genesis_carthagenet economic-protocol definition |
| tezos-protocol-updater | 7.1 | Tezos: economic-protocol dynamic loading for `tezos-node` |
| tezos-requester | 7.1 | Tezos: generic resource fetching service |
| tezos-rpc | 7.1 | Tezos: library of auto-documented RPCs (service and hierarchy descriptions) |
| tezos-rpc-http | 7.1 | Tezos: library of auto-documented RPCs (http server and client) |
| tezos-rpc-http-client | 7.1 | Tezos: library of auto-documented RPCs (http client) |
| tezos-rpc-http-client-unix | 7.1 | Tezos: unix implementation of the RPC client |
| tezos-rpc-http-server | 7.1 | Tezos: library of auto-documented RPCs (http server) |
| tezos-shell | 7.1 | Tezos: core of `tezos-node` (gossip, validation scheduling, mempool, ...) |
| tezos-shell-context | 7.1 | Tezos: economic-protocols environment implementation for `tezos-node` |
| tezos-shell-services | 7.1 | Tezos: descriptions of RPCs exported by `tezos-shell` |
| tezos-signer | 7.1 | Tezos: `tezos-signer` binary |
| tezos-signer-backends | 7.1 | Tezos: remote-signature backends for `tezos-client` |
| tezos-signer-services | 7.1 | Tezos: descriptions of RPCs exported by `tezos-signer` |
| tezos-stdlib | 7.1 | Tezos: yet-another local-extension of the OCaml standard library |
| tezos-stdlib-unix | 7.1 | Tezos: yet-another local-extension of the OCaml standard library (unix-specific fragment) |
| tezos-storage | 7.1 | Tezos: low-level key-value store for `tezos-node` |
| tezos-tooling | 7.1 | Tezos: tooling for the project |
| tezos-validation | 7.1 | Tezos: library for blocks validation |
| tezos-validator | 7.1 | Tezos: `tezos-validator` binary for external validation of blocks |
| tezos-version | 7.1 | Tezos: version information generated from Git |
| tezos-workers | 7.1 | Tezos: worker library |
| tftp | 0.1.4 | A TFTP library and Mirage unikernel |
| tgls | 0.8.5 | Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCamlbindings opengl opengl-es graphics org:erratique |
| themoviedb | 0.8.1 | API for TheMovieDb.org website |
| theora | 0.3.1 | Bindings for the theora library to decode video files in theora format |
| thrift | 0.10.0 | OCaml bindings for the Apache Thrift RPC system |
| tidy | 5.6-0.1 | Bindings for libtidy5 -- HTML/XML syntax checker and reformatter |
| time_now | v0.14.0 | Reports the current time |
| timed | 1.0 | Timed references for imperative state |
| timezone | v0.14.0 | Time-zone handling |
| tiny_httpd | 0.6 | Minimal HTTP server using good old threadshttp thread server tiny_httpd http_of_dir simplehttpserver |
| tiny_httpd_camlzip | 0.6 | Interface to camlzip for tiny_httpdhttp thread server gzip camlzip |
| tiny_json | 1.1.6 | A small Json library from OCAMLTTER |
| tiny_json_conv | 1.4.1 | Meta conv for Tiny Json |
| tip-parser | 0.6 | Parser for https://tip-org.github.io/format.htmlTIP parse inductive logic |
| tjr_simple_earley | 2017-11-14e | An implementation of an Earley-like algorithm, designed for simplicity. |
| tldr | 0.3.0 | An ocaml tldr client |
| tls | 0.12.1 | Transport Layer Security purely in OCamlorg:mirage |
| tls-mirage | 0.12.1 | Transport Layer Security purely in OCaml, MirageOS layerorg:mirage |
| tlstunnel | 0.2.0 | Tunnel -- a TLS reverse proxy |
| toml | 5.0.0 | TOML parser. |
| toml-cconv | 5.0.0 | Interface between cconv and toml |
| tophide | 1.0.4 | Hides toplevel values whose name starts with an underscore |
| topkg | 1.0.1 | The transitory OCaml software packagerpackaging ocamlbuild org:erratique |
| topkg-care | 1.0.1 | The transitory OCaml software packagerpackaging ocamlbuild org:erratique |
| topkg-jbuilder | 0.2.0 | Helpers for using topkg with jbuilder |
| toplevel_backend | v0.14.0 | Shared backend for setting up toplevels |
| toplevel_expect_test | v0.14.0 | Expectation tests for the OCaml toplevel |
| topological_sort | v0.14.0 | Topological sort algorithm |
| topology | 0.4.0 | A library for working with network topologies. |
| torch | 0.9 | PyTorch bindings for OCaml |
| touist | 3.5.0 | The solver for the Touist language |
| tplib | 1.3 | TPLib: Tropical Polyhedra Library |
| tptp | 0.3.2 | Library for reading and writing FOF and CNF formulas in TPTP format |
| tqdm | 0.1 | OCaml library for progress bars |
| traildb | 0.1 | OCaml bindings for TrailDB. |
| trakeva | 0.1.1 | Transactions, Keys, and Values; with Postgresql and/or Sqlite. |
| transept | 0.1.0 | Generalized parser combinator librarylibrary parser-combinator |
| transmission-rpc | 1.0 | A client library for the Transmission Bittorrent client RPC |
| traverse | 0.2.0 | Traversable data structures with applicative functors |
| travesty | 0.6.2 | Monadically traversable containers |
| travis-opam | 1.5.0 | Scripts for OCaml projects |
| travis-senv | 1.0.0 | Utility to manipulate Travis CI secure environment variablesorg:ocamllabs org:mirage |
| trax | 0.3.0 | Stack-independent exception tracing |
| tree_layout | 0.2 | Algorithms to layout trees in a pretty mannertree graph drawing |
| treeprint | 2.2.0 | Small tree structure printer with operator associations and precedences |
| trie | 1.0.0 | Strict impure trie tree |
| tryocaml | 0.2.2 | Easiest way to learn how to code in OCaml language |
| tsdl | 0.9.7 | Thin bindings to SDL for OCamlaudio bindings graphics media opengl input hci org:erratique |
| tsdl-image | 0.2.0 | SDL2_Image bindings to go with Tsdlbindings graphics |
| tsdl-mixer | 0.2 | SDL2_mixer bindings to go with Tsdlbindings audio |
| tsdl-ttf | 0.2 | SDL2_ttf bindings to go with Tsdlbindings graphics |
| tsort | 2.0.0 | Easy to use and user-friendly topological sort |
| tuareg | 2.2.0 | OCaml mode for GNU Emacs and XEmacs. |
| tube | 4.4.0 | Typesafe abstraction on top of Lwt_io channels |
| tuntap | 1.8.1 | OCaml library for handling TUN/TAP devicesorg:mirage org:xapi-project |
| type-beat | 0.1 | A parser for the Content-Type value |
| type_conv | 113.00.02 | Library for building type-driven syntax extensions |
| typebeat | 0.3 | Agnostic parser of the `Content-Type` in OCaml |
| typehashlib | 109.15.04 | Part of Jane Street’s Core library |
| typerep | v0.14.0 | Typerep is a library for runtime types |
| typerep_extended | v0.9.0 | Runtime types for OCaml |
| typerex-attic | 1.0.2 | A set of simple tools and libraries that we developed over the years |
| typerex-binutils | 1.0 | Libraries and tools to work with object files |
| typerex-build | 1.99.17-beta | Project manager for OCaml |
| typerex-clibs | 1.0 | A set of bindings to common C libraries |
| typerex-lldb | 1.1 | A set of tools and libs built on top of the LLDB debugging framework |
| typerex-system | 1.0 | System utilities written in OCaml |
| typpx | 1.4.3 | a library for PPX with types |
| tyre | 0.5 | Typed Regular Expressionsregex |
| tyxml | 4.4.0 | TyXML is a library for building correct HTML and SVG documents |
| tyxml-jsx | 4.4.0 | JSX syntax to write TyXML documents |
| tyxml-ppx | 4.4.0 | PPX that allows to write TyXML documents with the HTML syntax |
| tyxml-syntax | 4.4.0 | Common layer for the JSX and PPX syntaxes for Tyxml |
| ubpf | 0.1 | OCaml bindings for userspace eBPF VM |
| ucaml | 0.1 | Translate OCaml code into C code |
| uchar | 0.0.2 | Compatibility library for OCaml's Uchar moduletext character unicode compatibility org:ocaml.org |
| ucorelib | 0.2.0 | A light weight Unicode library for OCaml |
| udunits | 0.2.0 | Bindings to the UDUNITS-2 libraryclib:udunits2 clib:m clib:expat |
| uecc | 0.2 | Bindings for ECDH and ECDSA for 8-bit, 32-bit, and 64-bit processors |
| uint | 2.0.1 | Deprecated: An unsigned integer library |
| ulex | 1.2 | lexer generator for Unicode and OCaml |
| ulex-camlp5 | 1.2 | A lexer generator for Unicode (backported to camlp5) |
| ulid | 0.1 | ULIDs for OCaml |
| unidecode | 0.4.0 | Convert unicode strings into its ASCII representation |
| unionFind | 20200320 | Implementations of the union-find data structure |
| unison | 2.51.2 | File-synchronization tool for Unix and Windows |
| unix-dirent | 0.3.5 | ocaml-unix-dirent provides access to the features exposed in dirent.hunix posix dirent syscall readdir |
| unix-errno | 0.5.2 | Unix errno types, maps, and supporterrno errno.h errors unix syscall |
| unix-fcntl | 0.3.5 | Unix fcntl.h types, maps, and supportunix posix fcntl syscall open |
| unix-sys-resource | 0.1.2 | Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)unix posix sys/resource.h getrlimit setrlimit rlimit |
| unix-sys-stat | 0.5.2 | ocaml-unix-sys-stat provides access to the features exposed in sys/stat.hunix posix sys/stat.h syscall stat |
| unix-time | 0.1.0 | Unix time.h types, maps, and supportunix posix time.h tm timespec |
| unix-type-representations | 0.1.1 | Functions that expose the underlying types of some abstract types in the Unix module. |
| unix-unistd | 0.4.0 | Host-independent unistd.h bindings |
| unmagic | 1.0.4 | Runtime tag-checking of marshaled ocaml data |
| unstrctrd | 0.2 | Unstructured parser |
| uri | 3.1.0 | An RFC3986 URI/URL parsing libraryurl uri org:mirage org:xapi-project |
| uri-sexp | 3.1.0 | An RFC3986 URI/URL parsing libraryurl uri org:mirage org:xapi-project |
| uritemplate | 0.2.0 | OCaml implementation of URI templates (RFC6570)uri url templates RFC6570 |
| usb | 1.3.1 | OCaml bindings for libusb-1.0 |
| usbmux | 1.3.2 | Control port remapping for iOS devices |
| user-setup | 0.7 | Helper for the configuration of editors for the use of OCaml toolsorg:ocamlpro |
| utop | 2.6.0 | Universal toplevel for OCaml |
| utp | 0.9.0 | OCaml bindings for [libutp](https://github.com/bittorrent/libutp). |
| uucd | 13.0.0 | Unicode character database decoder for OCamlunicode database decoder org:erratique |
| uucp | 13.0.0 | Unicode character properties for OCamlunicode text character org:erratique |
| uuidm | 0.9.7 | Universally unique identifiers (UUIDs) for OCamluuid codec org:erratique |
| uunf | 13.0.0 | Unicode text normalization for OCamlunicode text normalization org:erratique |
| uuseg | 13.0.0 | Unicode text segmentation for OCamlsegmentation text unicode org:erratique |
| uutf | 1.0.2 | Non-blocking streaming Unicode codec for OCamlunicode text utf-8 utf-16 codec org:erratique |
| uuuu | 0.2.0 | Mapper of ISO-8859-* to Unicode |
| uwt | 0.3.3 | libuv bindingsclib:libuv |
| valentine | 1.0.0 | Validate HTML from command line |
| variantslib | v0.14.0 | Part of Jane Street's Core library |
| varint | 1.0 | A simple varint implementation modeled after the one found in Go's standard library.mirage encoding |
| vcaml | v0.14.0 | OCaml bindings for the Neovim API |
| vcardgen | 1.2 | Simple OCaml library for generating VCards per RFC-6350 |
| vchan | 5.0.0 | Xen Vchan implementationorg:mirage |
| vchan-unix | 5.0.0 | Xen Vchan implementationorg:mirage |
| vchan-xen | 5.0.0 | Xen Vchan implementationorg:mirage |
| vecosek | 0.0.0 | |
| vecosek-engine | 0.0.0 | |
| vecosek-scene | 0.0.0 | |
| vector3 | 0.2.1 | module for 3D vectors (implemented as records of x, y and z floats) |
| vg | 0.9.4 | Declarative 2D vector graphics for OCamlpdf svg html-canvas cairo declarative graphics org:erratique |
| vhd-format | 0.12.0 | Pure OCaml library to read/write VHD format dataorg:mirage org:xapi-project |
| vhd-format-lwt | 0.12.0 | Lwt interface to read/write VHD format dataorg:mirage org:xapi-project |
| vhd-tool | 0.12.0 | A command-line tool to manipulate, transcode and stream .vhd format data.org:mirage org:xapi-project |
| vhdlib | 0.9.1 | Bindings to libvhd |
| vimebac | 0.0.0 | Vimebac is graphical metronome and instructions display that interfaces with |
| virtual_dom | v0.14.0 | OCaml bindings for the virtual-dom library |
| visitors | 20200210 | An OCaml syntax extension for generating visitor classes |
| vlq | 0.2.0 | A simple library for encoding variable-length quantities. |
| vmnet | 1.5.1 | MacOS X `vmnet` NAT networking |
| voaacenc | 0.1.1 | Bindings for the voaacenc library to encode audio files in AAC format |
| vocal | 0.1 | VOCaL -- The Verified OCaml Library |
| vorbis | 0.7.1 | Bindings to libvorbis |
| vpnkit | 0.2.0 | VPN-friendly networking devices for HyperKit |
| vpt | 4.0.1 | Vantage point tree implementation in OCaml. |
| vrt | 0.1.0 | A setup command line tools to help with development on remote AWS desktops |
| wall | 0.4 | Realtime Vector Graphics with OpenGL |
| wamp | 1.2 | Web Application Messaging Protocol (WAMP) library — Core library |
| wamp-msgpck | 1.2 | Web Application Messaging Protocol (WAMP) library — Msgpck support |
| wamp-yojson | 1.2 | Web Application Messaging Protocol (WAMP) library — Yojson support |
| wasm | 1.1.1 | Library to read and write WebAssembly (Wasm) files and manipulate their AST |
| wcs | 2017-05-26.05 | Command line interface for Watson Conversation Service |
| wcs-api | 2017-05-26.04 | SDK for Watson Conversation Service |
| wcs-lib | 2017-05-26.05 | SDK for Watson Conversation Service |
| wdialog | 2.1.3 | Dialog-oriented web applications |
| webbrowser | 0.6.1 | Open and reload URIs in browsers from OCamlweb http uri browser cli org:erratique |
| webdav | 1.1.5 | Implements the client side of the WebDAV protocol (RFC 4918) |
| weberizer | 0.8 | Compile HTML templates into OCaml modulesweb template |
| webidl | 1.4 | Web IDL parser |
| webmachine | 0.6.2 | A REST toolkit for OCaml |
| websocket | 2.14 | Websocket libraryorg:mirage org:xapi-project |
| websocket-async | 2.14 | Websocket library (Async)org:mirage org:xapi-project |
| websocket-lwt | 2.12 | Websocket library (Lwt)org:mirage org:xapi-project |
| websocket-lwt-unix | 2.14 | Websocket library (Lwt)org:mirage org:xapi-project |
| websocketaf | 0.1.0 | Websocket implementation for use with http/af |
| websocketml | 0.1 | A simple websocket library for OCaml with no dependency |
| webtest | 2.0.0 | An in-browser js_of_ocaml testing framework - core library |
| webtest-js | 2.0.0 | An in-browser js_of_ocaml testing framework - js_of_ocaml integration |
| wget | 0.1.0 | Basic wget-like client, based on the Citrix' HTTP library. |
| why | 2.41 | Why is a software verification platform.deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL |
| why3 | 1.3.1 | Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover |
| why3-base | 0.88.3 | Why3 environment for deductive program verification (base)deductive program verification formal specification automated theorem prover interactive theorem prover |
| why3-coq | 1.3.1 | Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover |
| why3-ide | 1.3.1 | Why3 environment for deductive program verificationdeductive program verification formal specification automated theorem prover interactive theorem prover |
| win-error | 1.0 | Manipulate Windows system errors |
| win-eventlog | 0.3 | Log via the Windows event log from OCaml programs |
| wiringpi | 0.0.1 | WiringPi for OCaml, low level Raspberry Pi hardware access |
| ws | 0.1 | Generic websocket implementation for OCamlmonad io interface interface-prime websocket ws |
| wseg | 0.3.0 | A word identification system |
| wtf8 | 1.0.2 | Encoder and decoder for WTF-8 |
| wxOCaml | 1.0.1 | OCaml bindings to the wxWidgets graphical library |
| wyrd | 1.4.6 | Text-based front-end to Remind, a sophisticated calendar and alarm program |
| x509 | 0.11.2 | Public Key Infrastructure (RFC 5280, PKCS) purely in OCamlorg:mirage |
| xapi-backtrace | 0.5 | A simple library for recording and managing backtracesorg:xapi-project |
| xapi-forkexecd | 1.4.0 | Sub-process control service for xapiorg:xapi-project |
| xapi-idl | 1.14.0 | Interface descriptions and common boilerplate for xapi services.org:xapi-project |
| xapi-inventory | 1.0.2 | Library for accessing the xapi toolstack inventory fileorg:xapi-project |
| xapi-libs-transitional | 1.0.1 | Further transitional libraries required by xapiorg:xapi-project |
| xapi-rrd | 1.0.2 | RRD library for use with xapiorg:xapi-project |
| xapi-rrd-transport | 1.2.0 | Shared-memory protocols for exposing performance countersorg:xapi-project |
| xapi-rrdd | 1.2.1 | Performance monitoring daemon for xapiorg:xapi-project |
| xapi-stdext | 2.1.0 | A deprecated collection of utility functionsorg:xapi-project |
| xapi-tapctl | 1.0.1 | A library to control tapdisk on a Xen hostorg:xapi-project |
| xapi-xenops | 1.0.1 | Create/destroy/manipulate Xen domainsorg:xapi-project |
| xe | 0.6.3 | A command-line client for the 'xapi' service (as used in XenServer)org:xapi-project |
| xe-unikernel-upload | 0.5 | A simple tool to upload a Unikernel to a XenServer pool. |
| xen-api-client | 0.9.14 | Xen-API client library for remotely-controlling an XCP or XenServer host.org:mirage org:xapi-project |
| xen-block-driver | 0.2.5 | Xen disk device drivers: both client ("frontend") and server ("backend")org:mirage org:xapi-project |
| xen-disk | 1.2.1 | A command-line tool for attaching disks to VMs running on a xen host.org:mirage org:xapi-project |
| xen-evtchn | 2.1.0 | Xen event channel interface for MirageOSorg:mirage org:xapi-project |
| xen-evtchn-unix | 2.1.0 | Xen event channel interface for Linuxorg:mirage org:xapi-project |
| xen-gnt | 4.0.0 | Xen grant table bindings for OCaml |
| xen-gnt-unix | 4.0.0 | Xen grant table bindings for OCaml |
| xenbigarray | 1.0.0 | Portable Bigarray intended for embedded Xen useorg:mirage org:xapi-project |
| xenctrl | 0.10.0 | Low-level Xen hypercall bindings.org:mirage org:xapi-project |
| xenstore | 2.1.1 | Xenstore protocol in pure OCaml |
| xenstore_transport | 1.1.0 | Low-level libraries for connecting to a xenstore service on a xen host.org:mirage org:xapi-project |
| xentropyd | 0.9.3 | Xentropyd: provide entropy to Xen VMs |
| xml-light | 2.4 | Xml-Light is a minimal XML parser & printer for OCaml |
| xmldiff | 0.5.0 | Diffs on XML trees. |
| xmlm | 1.3.0 | Streaming XML codec for OCamlxml codec org:erratique |
| xmlplaylist | 0.1.4 | Library to parse various file playlists in XML format |
| xstr | 0.2.1 | Functions for string searching/matching/splitting |
| xstrp4 | 1.8 | Brace expansion (alias 'interpolation') performed by camlp4 |
| xtmpl | 0.17.0 | XML templating library and ppx.xml template javascript |
| xxhash | 0.1 | Bindings for xxHash, an extremely fast hash algorithm. |
| yajl | 0.7.3 | bindings to the YAJL streaming JSON library |
| yajl-extra | 0.7.3 | extended YAJL bindings with a convenient high-level JSON representation |
| yaml | 2.1.0 | Parse and generate YAML 1.1 filesorg:mirage org:ocamllabs |
| yara | 0.2 | OCaml bindings for YARA matching engine |
| yices2 | 0.0.3 | Yices2 SMT solver binding |
| yojson | 1.7.0 | Yojson is an optimized parsing and printing library for the JSON format |
| yurt | 0.6 | An HTTP framework for OCaml |
| yuscii | 0.3.0 | Mapper of UTF-7 to Unicode |
| yuujinchou | 0.9 | Generic name manipulation combinators |
| z3 | 4.8.8-1 | Z3 solver |
| zarith | 1.9.1 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zarith-freestanding | 1.7-2 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zarith-ppx | 0.1 | Literals for Zarith's arbitrary-precision integers and rationalsppx zarith |
| zarith-xen | 1.7 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zarith_stubs_js | v0.14.0 | Javascripts stubs for the Zarith library |
| zbar | 0.9 | Binding to ZBar (QR-code scanning library) |
| zed | 3.1.0 | Abstract engine for text edition in OCaml |
| zeit | 0.1.0 | |
| zenon | 0.8.4 | An Extensible Automated Theorem Prover Producing Checkable Proofs |
| zephyrus | 0.1 | Zephyrus automatic configuration generation tool. |
| zero | 109.28.00 | Deprecated, merged into core_kernel |
| zipperposition | 1.6 | A fully automatic theorem prover for typed higher-order and beyondlogic unification term superposition prover |
| zipperposition-tools | 1.6 | Support tools for Zipperposition |
| zlib | 0.6 | Bindings to the zlib compression library |
| zlist | 0.1.2 | Lazy lists for OCaml |
| zmq | 5.1.3 | OCaml bindings for ZeroMQ 4.x |
| zmq-async | 5.1.3 | Async aware bindings to zmq |
| zmq-lwt | 5.1.3 | Lwt aware bindings to zmq |
| zstandard | v0.14.0 | OCaml bindings to Zstandard |
| zstd | 0.2 | Bindings to zstd compression library |
| zxcvbn | 2.3+2 | Bindings for the zxcvbn password strength estimation libraryorg:cryptosense |
