| 0install | 2.12.1 | The antidote to app-stores |
| aacplus | 0.2.2 | Bindings for the aacplus library which provides functions for decoding AAC audio files |
| abella | 2.0.4 | Interactive theorem prover based on lambda-tree syntax |
| abt | 0.0.3 | OCaml port of CMU's abstract binding trees. |
| acgtk | 1.3.1 | Abstract Categorial Grammar development toolkit. |
| acme | 0.1 | A library to interact with the acme text editor. |
| acpc | 1.2.2 | Chemoinformatics tool for ligand-based virtual screening |
| aez | 0.3 | Alt-Ergo Zero is an OCaml library for an SMT solver. |
| afl-persistent | 1.1 | use afl-fuzz in persistent mode |
| ago | 0.3 | ago(1) - compute the number of days between two calendar dates |
| agrep | 1.0 | String searching with errors |
| aifad | 2.0.8 | AIFAD - Automated Induction of Functions over Algebraic Datatypes |
| aio | 0.0.3 | Linux kernel AIO access library for ocaml |
| alba | v0.4.0~rc4 | A compiler for the Albatross programming language |
| alberto | 0.4 | OCaml interface to Erlang ports |
| alcotest | 0.7.2 | Alcotest is a lightweight and colourful test framework. |
| 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 | 1.30 | Alt-Ergo, an SMT Solver for Software Verification |
| altgr-ergo | 1.30 | Alt-Ergo, an SMT Solver for Software Verification: Graphical Interface |
| amqp-client | 1.0.4 | Amqp client library compatable with async and lwt. |
| ancient | 0.9.0 | Allows to use in-memory data structures which are larger than available memory and so are kept in swap |
| angstrom | 0.4.0 | Parser combinators built for speed and memory-efficiency |
| annexlib | 0.13.5 | An extension to the standard library |
| annot | 1.1.0 | annotation parser for external editors and IDEs |
| ansi-parse | 0.3.0 | Escape sequences to HTML |
| ansicolor | 0.5 | Simple ANSI terminal color library (deprecated in favor of ANSITerminal). |
| ANSITerminal | 0.7 | Basic control of ANSI compliant terminals and the windows shell. |
| anycache | 0.6.0 | 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 |
| apron | 20160125 | APRON numerical abstract domain library |
| arakoon | 1.9.0 | A distributed key-value store that guarantees consistency above anything else. |
| archimedes | 0.4.18 | Extensible 2D plotting library. |
| argon2 | 0.2 | OCaml bindings to Argon2 |
| argot | 1.1 | An enhanced HTML generator for the ocamldoc tool of the OCaml language. |
| arp | 0.2.0 | Address Resolution Protocol purely in OCaml |
| ascii85 | 0.3 | ascii85 - Adobe's Ascii85 encoding as a module and a command line tool |
| asetmap | 0.8.1 | Alternative, compatible, OCaml standard library Sets and Maps |
| asl | 0.10 | Bindings for the Apple System Log API |
| asn1-combinators | 0.1.3 | Define 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 OCaml |
| async | v0.9.0 | Monadic concurrency library |
| async-mvar | 0.1.0 | Async-mvar is a port of Lwt's Lwt_mvar |
| async-zmq | 0.3.0 | Async wrapper for OCaml's zeromq bindings |
| async_core | 109.55.02 | Monadic concurrency library |
| async_extended | 113.33.03 | Additional utilities for async |
| async_extra | v0.9.0 | Monadic concurrency library |
| async_find | 113.33.03 | Directory traversal with Async |
| async_graphics | 0.5.1 | Async wrapper for the OCaml Graphics library |
| async_inotify | 113.33.03 | Async wrapper for inotify |
| async_kernel | v0.9.0 | Monadic concurrency library |
| async_parallel | 113.33.03 | Distributed computing library |
| async_rpc_kernel | v0.9.0 | Platform-independent core of Async RPC library |
| async_shell | 113.33.03 | Shell helpers for Async |
| async_smtp | 113.33.03 | SMTP client and server |
| async_ssl | 113.33.07 | An Async-pipe-based interface with OpenSSL. |
| async_unix | v0.9.0 | Monadic concurrency library |
| atd | 1.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 | 1.10.2 | Generates efficient JSON serializers, deserializers and validators |
| atdj | 20151001.01.2 | Java code generation for ATD. |
| 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 | 0.9.0 | Client Library for simple S3 access. |
| 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 |
| baardskeerder | 0.5.2 | Baardskeerder is an append-only B-ish tree. |
| bap | 1.2.0 | Binary Analysis Platform. |
| bap-abi | 1.2.0 | A pass that applies ABI specific information |
| bap-api | 1.2.0 | A pass that adds parameters to subroutines based on known API |
| bap-arm | 1.2.0 | BAP ARM lifter |
| bap-beagle | 1.2.0 | An obfuscated string solver |
| bap-byteweight | 1.2.0 | A library and a plugin for finding function starts. |
| bap-byteweight-frontend | 1.2.0 | A frontend for the Byteweight library |
| bap-c | 1.2.0 | A C language support library for BAP |
| bap-cache | 1.2.0 | BAP caching service |
| bap-callsites | 1.2.0 | Inject data definition terms at callsites |
| bap-demangle | 1.2.0 | Library for name demangling |
| bap-dump-symbols | 1.2.0 | BAP plugin that dumps symbols information from a binary |
| bap-dwarf | 1.2.0 | BAP DWARF parsing library |
| bap-elf | 1.2.0 | BAP ELF parser and loader written in native OCaml |
| bap-frames | 2.1.0 | A data format for storing execution traces. |
| bap-frontc | 1.2.0 | A C language frontend for based on FrontC library. |
| bap-frontend | 1.2.0 | BAP frontend |
| bap-fsi-benchmark | 1.2.0 | BAP function start identification benchmark game |
| bap-future | 1.2.0 | Library for asynchronous values |
| bap-ida | 1.2.0 | An IDA Pro integration library |
| bap-ida-plugin | 1.2.0 | Plugins for IDA and BAP integration |
| bap-ida-python | 1.2.0 | An IDA Pro integration library |
| bap-llvm | 1.2.0 | BAP LLVM backend |
| bap-mc | 1.2.0 | BAP machine instruction playground |
| bap-microx | 1.2.0 | A micro execution framework |
| bap-objdump | 1.2.0 | extract symbols from binary, using binutils objdump |
| bap-phoenix | 1.2.0 | BAP plugin that dumps information in a phoenix decompiler format |
| bap-piqi | 1.2.0 | BAP plugin for serialization based on piqi library |
| bap-print | 1.2.0 | Print plugin - print project in various formats |
| bap-saluki | 1.0.0~alpha | A verification framework for detecting vulnerability patterns in binaries |
| bap-server | 0.1.0 | BAP RPC server |
| bap-signatures | 1.0.0 | A data package with binary signatures for bap |
| bap-std | 1.2.0 | Binary Analysis Platform Standard Library |
| bap-symbol-reader | 1.2.0 | BAP plugin to read symbols information from file |
| bap-taint | 1.2.0 | Introduce taint into a program. |
| bap-taint-propagator | 1.2.0 | Taint propagation engine using based on microexecution. |
| bap-term-mapper | 1.2.0 | A DSL for program transformations |
| bap-trace | 1.2.0 | A plugin to load and run program execution traces |
| bap-traces | 1.2.0 | BAP Library for loading and parsing execution traces |
| bap-veri | 0.2 | BAP verification tool |
| bap-warn-unused | 1.2.0 | Emit a warning if an unused result may cause a bug or security issue |
| bap-x86 | 1.2.0 | BAP x86 lifter |
| base | v0.9.2 | Full standard library replacement for OCaml |
| base-bytes | legacy | Bytes compatibility library distributed with ocamlfind |
| base-flambda | base | Virtual package relying on Flambda. |
| 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-ocamlbuild | base | OCamlbuild binary and libraries distributed with the OCaml compiler |
| base58 | 0.1.2 | Base58 encoding and decoding |
| base64 | 2.1.2 | For OCaml |
| batsh | 0.0.6 | A (C-like syntax) programming language that compiles to Bash and Windows Batch. |
| batteries | 2.6.0 | a community-maintained standard library extension |
| bau | 0.0.3 | Bigarray utilities |
| bdd | 0.3 | Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml |
| bddapron | 2.3.1 | Logico-numerical domain(s) based on BDDs and APRON |
| bear | 0.0.1 | Bare essential additions to the stdlib |
| 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.4 | Benchmark running times of code. |
| bencode | 1.0.2 | Read/Write bencode (.torrent) files in OCaml |
| bencode_rpc | 0.2.1 | Remote Procedure Call in OCaml, with B-encode and Lwt. |
| bes | 0.9.4.2 | boolean expression simplifier |
| BetterErrors | 0.0.1 | Better compiler error output. |
| bheap | 1.0.0 | Binary heap implementation |
| bibtex2html | 1.98 | BibTeX to HTML translator |
| bigbro | 2.0.4-rev3 | Management tool for hypertext (HTML) documents |
| bignum | 113.33.03 | Core-flavoured wrapper around zarith's arbitrary-precision rationals. |
| bigstring | 0.1.1 | Bigstring built on top of bigarrays, and convenient functions |
| bin_prot | v0.9.0 | A binary protocol generator |
| bindlib | 4.0.3 | OCaml Bindlib library for bound variables |
| biniou | 1.0.13 | Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve |
| biocaml | 0.7.0 | The OCaml Bioinformatics Library |
| bisect | 1.3 | Code coverage tool for the OCaml language |
| bisect-summary | 0.3 | bisect-summary - simple analysis of coverage data created by bisect-ppx |
| bisect_ppx | 1.2.0 | Code coverage for OCaml |
| bistro | 0.2.0 | A library to build and run distributed workflows |
| bitcoin | 2.0 | Library offering an OCaml interface to the official Bitcoin client API |
| bitmasks | 1.0.0 | BitMasks over int and int64 exposed as sets |
| bitstring | 2.1.0 | bitstrings and bitstring matching for OCaml |
| bitv | 1.2 | A bit vector library |
| 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. |
| bolt | 1.4 | Bolt is an OCaml Logging Tool |
| bookaml | 4.0 | Library for retrieving information about published books |
| bos | 0.1.6 | Basic OS interaction for OCaml |
| broken | 0.4.2 | The Broken package is a simple testsuite framework. |
| brotli | 1.2.2 | Bindings to Google's Brotli compresion algorithm |
| brozip | 1.1 | CLI to concurrently compress, decompress files using the Brotli algorithm |
| bsdowl | 3.0.0-20150830 | This collection of BSD Make directives aims at providing a highly |
| bson | 0.89.3 | A bson data structure, including encoding/decoding |
| bt | 0.2 | BitTorrent library and client using Lwt |
| bulletml | 0.2.0 | Library to manipulate shmup patterns |
| c3 | 0.3.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.5 | Binding to Cairo, a 2D Vector Graphics Library. |
| calculon | 0.1 | Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor. |
| calendar | 2.03.2 | Library for handling dates and times in your program |
| callipyge | 0.1 | Curve25519 in OCaml |
| caml-mode | 4.02 | 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.05 | Stub code generator for OCaml |
| camlimages | 4.2.3 | Image processing library |
| camllib | 1.3.1 | Utility Library (including various datatypes) |
| camlmix | 1.3.0 | Camlmix is a generic preprocessor which converts text with embedded |
| camlon | 1.0.1 | Caml Object Notion, parsing and printing OCaml like data expressions |
| camlp4 | 4.05+system | Camlp4 is a system for writing extensible parsers for programming languages |
| camlp5 | 6.17 | Preprocessor-pretty-printer of OCaml |
| camlpdf | 2.2.1 | Read, write and modify PDF files |
| camlprime | 0.5 | Primality testing with lazy lists of prime numbers |
| camltc | 0.9.4 | OCaml bindings for tokyo cabinet |
| camltemplate | 1.0.2 | Library for generating text from templates |
| camlzip | 1.07 | Provides easy access to compressed files in ZIP, GZIP and JAR format |
| camomile | 0.8.5 | A comprehensive Unicode library |
| capnp | 2.1.1 | OCaml code generation plugin for the Cap'n Proto serialization framework |
| captureio | 0.1.2 | Capture output to Stderr and Stdout |
| caradoc | 0.3 | parser and validator of PDF files |
| caravan | 0.0.2 | A framework for testing arbitrary systems, in OCaml. |
| cbor | 0.1 | CBOR encoder/decoder (RFC 7049) |
| cconv | 0.4 | Combinators for Type Conversion in OCaml, and ppx_deriving plugin. |
| ccss | 1.6 | CCSS is a preprocessor for CSS, extending the language with arithmetic operations and variables. |
| cdrom | 0.9.1 | Query the state and contents of CDROM devices under Linux. |
| cduce | 0.5.5 | Modern XML-oriented functional language with innovative features |
| cduce_ws | 0.1 | Library fo Web Services creation |
| cfg | 2.0.4 | Manipulate context-free grammars |
| cfgen | 1.0 | Context-free grammar based random text generator |
| cfstream | 1.2.2 | Stream operations in the style of Core's API. |
| cgi | 0.8 | Library for writing CGIs |
| cgroups | 0.1 | An OCaml interface for the Linux control groups |
| chamo | 2.03 | A source code editor, even if it can be used to edit any text file. |
| channel | 1.1.1 | MirageOS channels |
| charrua-client | 0.1.0 | Library using charrua-core to provide a DHCP-configured IPv4 implementation. |
| charrua-core | 0.7 | DHCP core library - a DHCP server and wire frame encoder and decoder |
| charrua-unix | 0.6 | DHCP Unix Server |
| choice | 0.2 | Monadic combinators for enumerating alternatives. |
| cil | 1.7.3 | A front-end for the C programming language that facilitates program analysis and transformation |
| clangml | 3.9.1 | clang OCaml bindings |
| clangml-transforms | 0.23 | Transformations over the clang AST for MemCAD |
| clarity | 0.1.4 | Functional programming library. |
| cmark | 0.2.0 | OCaml bindings for the CMark Common Markdown parsing and rendering library. |
| cmdliner | 1.0.0 | Declarative definition of command line interfaces for OCaml |
| cmdtui | 0.3.0 | 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.2 | Coccinelle is a C source code matching and transformation engine. |
| coclobas | 0.0.1 | Coclobas is a scheduler for HPC-like jobs accessible through HTTP |
| codept | 0.9.0 | alternative ocaml dependency analyzer |
| cohttp | 0.22.0 | HTTP(S) library for Lwt, Async and Mirage |
| coinst | 1.9.1 | Coinst tool suite to perform analysis on package repositories. |
| combine | 0.55 | Combine is a library for combinatorics problem solving. |
| 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 | 0.15.3 | Network connection library for TCP and SSL |
| conex | 0.9.2 | Establish trust in community repositories |
| conf-autoconf | 0.1 | Virtual package relying on autoconf installation. |
| conf-bap-llvm | 1 | |
| conf-binutils | 0.1 | checks that binutils are installed |
| conf-blas | 1 | Virtual package relying on a BLAS (Basic Linear Algebra Subroutines) library |
| conf-bmake | 1.0 | Virtual package relying on a BSD Make compatible program |
| conf-cairo | 1 | Virtual package relying on a Cairo 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-ftgl | 1 | Virtual package relying on an ftgl system installation. |
| conf-glade | 2 | Virtual package relying on a libglade system installation. |
| conf-glew | 1 | Virtual package relying on a GLEW system installation. |
| conf-glib-2 | 1 | Virtual package relying on a system GLib 2 installation. |
| 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-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-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-gtksourceview | 2 | Virtual package relying on a GtkSourceView system installation. |
| conf-ida | 0.1 | Checks that IDA Pro is installed |
| conf-lapack | 1 | Virtual package relying on a LAPACK (Linear Algebra) library installation. |
| conf-leveldb | 1 | Virtual package relying on a LevelDB lib system installation. |
| 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-libgsasl | 1 | Virtual package relying on a GSASL lib system installation. |
| conf-libMagickCore | 1 | Virtual package relying on an ImageMagick 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-libsodium | 1 | Virtual package relying on a libsodium system installation. |
| conf-libuv | 1 | Virtual package relying on a libuv system installation. |
| conf-lldb | 3.5 | Virtual package to check the availability of LLDB 3.5 development packages. |
| conf-llvm | 3.8 | Virtual package relying on llvm library installation. |
| conf-lua | 1 | Virtual package relying on a Lua system installation. |
| conf-m4 | 1 | Virtual package relying on m4 |
| conf-mpfr | 1 | Virtual package relying on library MPFR installation. |
| conf-mysql | 1 | Virtual package relying on a libmysqlclient system installation. |
| conf-nanomsg | 0 | Virtual package relying on a nanomsg system installation. |
| conf-ncurses | 1+system | Virtual package relying on ncurses |
| conf-ode | 1 | Virtual package relying on a ODE system installation. |
| conf-openssl | 1 | Virtual package relying on an OpenSSL 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.0 | Virtual package relying on pkg-config installation. |
| conf-ppl | 1 | Virtual package relying on the Parma Polyhedra Library (PPL) system installation. |
| conf-python-2-7 | 1.0 | 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-qt | 5.2.1 | Installation of Qt5 using APT packages or from source. |
| 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-sfml2 | 1 | Virtual package relying on a SFML2 system installation. |
| conf-tcl | 1 | Virtual package relying on tcl |
| 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. |
| config-file | 1.2 | Small library to define, load and save options files. |
| configuration | 0.4.1 | Analyse configuration files |
| configurator | v0.9.0 | Helper library for gathering system configuration |
| containers | 1.2 | A modular, clean and powerful extension of the OCaml standard library. |
| cookie-js | 1.0.0 | Simple library for setting/getting cookies in js_of_ocaml |
| coq | 8.6 | Formal proof management system. |
| coq-shell | 1 | Simplified OPAM shell for Coq |
| coqide | 8.6 | 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.9.0 | Industrial strength alternative to OCaml's standard library |
| core-lwt | 0.1 | Lwt library wrapper in the Janestreet core style |
| core_bench | 113.33.03 | Benchmarking library |
| core_extended | 113.33.03 | Extra components that are not as closely vetted or as stable as Core |
| core_kernel | v0.9.0 | Industrial strength alternative to OCaml's standard library |
| core_profiler | 113.33.03 | Profiling library |
| corecount | 1.0.0 | Get count of cores on machine |
| cow | 2.2.0 | XML, JSON, HTML and Markdown libraries |
| cowabloga | 0.3.0 | Simple static blogging support. |
| cpdf | 2.2.1 | High-level pdf tools based on CamlPDF |
| cppo | 1.5.0 | Equivalent of the C preprocessor for OCaml programs |
| cpuid | 0.1.1 | Detect CPU features |
| crc | 1.0.0 | CRC implementation supporting strings and cstructs |
| crdt-ml | 0.10.0 | CRDTs - Conflict-Free Replicated Data Types for OCaml |
| crunch | 2.0.0 | Convert a filesystem into a static OCaml module |
| cry | 0.5.0 | The cry library is an implementation of the shout protocol to connect to audio diffusion servers such as icecast |
| crypt | 1.3 | Tiny binding for the unix crypt function |
| cryptgps | 0.2.1 | Cryptographic functions |
| cryptodbm | 0.8 | 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.11 | Cryptographic primitives library. |
| cstruct | 2.4.1 | access C structures via a camlp4 extension |
| cstruct-lwt | 0 | Access C-like structures directly from OCaml |
| csv | 1.6 | A pure OCaml library to read and write CSV files. |
| csvprovider | 1.2 | CSV Type Provider for OCaml |
| ctypes | 0.11.4 | Combinators for binding to C libraries without writing any C. |
| ctypes-build | 0.0.2 | Support for building Ctypes bindings. |
| ctypes-foreign | 0.4.0 | Virtual package for enabling the ctypes.foreign subpackage. |
| cubicle | 1.0.2 | SMT based model checker for parameterized systems |
| cudf | 0.7 | CUDF library (part of the Mancoosi tools) |
| curses | 1.0.3 | Bindings to curses/ncurses |
| custom_printf | 113.00.00 | Extension for printf format strings |
| d3 | 0.2.2 | OCaml bindings for D3.js |
| daft | 0.0.2 | DAFT Allows File Transfers |
| datakit | 0.10.1 | Orchestrate applications using a Git-like dataflow |
| datakit-bridge-github | 0.10.1 | A bi-directional bridge between the GitHub API and Datakit |
| datakit-bridge-local-git | 0.10.1 | DataKit Local-Git bridge |
| datakit-ci | 0.10.1 | Continuous Integration service using DataKit |
| datakit-client | 0.10.1 | A library to connect to DataKit servers |
| datakit-github | 0.10.1 | Abstraction of the GitHub API, suitable for DataKit clients |
| datakit-server | 0.10.1 | A library to write Datakit servers |
| datalog | 0.5.1 | An in-memory datalog implementation for OCaml. |
| dbforge | 2.0.1 | A tool to describe database schemas and generate OCaml code to access these databases. |
| dbm | 1.0 | Binding to the NDBM/GDBM Unix "databases" |
| dead_code_analyzer | 0.9 | dead_code_analyzer -- Dead code analyzing tool. |
| decompress | 0.6 | Pure OCaml implementation of Zlib |
| delimcc | 0 | Oleg's delimited continuations library for byte-code and native OCaml |
| depext | 1.0.4 | Query and install external dependencies of OPAM packages |
| depgraph | 0.1.0 | dot graphs out of ocamldep output |
| depyt | 0.1.0 | Yet-an-other type combinator library |
| deriving | 0.7.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 | 0.4 | development kit - general purpose library |
| dht | 0.2.0 | OCaml bindings for Juliusz Chroboczek's dht C library |
| digestif | 0.1 | Hash algorithms in OCaml |
| dispatch | 0.3.0 | Path-based dispatching for client- and server-side applications. |
| distributed | 0.4.0 | Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell. |
| 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 |
| dns | 0.20.1 | DNS client and server implementation in pure OCaml |
| dns-forward | 0.7.2 | Library and tools for creating forwarding DNS servers |
| dnscurve | 0.3.0 | DNSCurve protocol for DNS queries over a secure channel |
| doc-ock | 1.0.0 | Extract documentation from OCaml files |
| doc-ock-html | 1.0.0 | From doc-ock to HTML |
| doc-ock-xml | 1.0.0 | XML printer and parser for Doc-Ock |
| docker-api | 0.1 | Binding to the Docker Remote API |
| dockerfile | 2.2.2 | Typed interface for constructing Docker container descriptions |
| 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. |
| dolmen | 0.2 | Dolmen is a parser library. It currently mainly supports languages used in automated deduction. |
| dolog | 3.0 | the dumb OCaml logger (lazy and optionally colorful) |
| dose | 3.4.2 | Dose library (part of Mancoosi tools) |
| dose3 | 5.0.1 | Dose library (part of Mancoosi tools) |
| dropbox | 0.1~772c4a6 | Binding to the Dropbox Remote API |
| dssi | 0.1.2 | Bindings for the DSSI API which provides audio synthesizers |
| dtoa | 0.1 | converts OCaml floats into strings, using the efficient Grisu3 algorithm |
| dtools | 0.3.3 | Library providing various helper functions to make daemons |
| dum | 1.0.1 | Inspect the runtime representation of arbitrary OCaml values |
| dumpast | 0.2.0 | OCaml AST dumper |
| duppy | 0.6.0 | Library providing monadic threads |
| duration | 0.1.0 | Conversions to various time units |
| dyntype | 0.9.0 | syntax extension which makes OCaml types and values easier to manipulate programmatically |
| dypgen | 20120619-1 | Self-extensible parsers and lexers for OCaml |
| easy-format | 1.2.0 | High-level and functional interface to the Format module of the OCaml standard library |
| edn | 0.1.5 | Parsing OCaml library for EDN format |
| efl | 1.18.0 | An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary. |
| eigen | 0.0.3 | Owl's OCaml interface to Eigen3 C++ library |
| electrumAnalyzer | 0.3.5-2 | A tool for the analysis of Electrum formal specifications. |
| elf2json | 1.0.0 | Converts an ELF binary to a JSON representation |
| eliom | 6.2.0 | Client/server Web framework |
| email_message | 113.33.03 | E-mail message parser |
| emoji | 1.1.0 | Use emojis by name |
| enumerate | 111.08.00 | Quotation expanders for enumerating finite types. |
| enumerators | 0.2.0 | Finite lazy enumerators |
| 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. |
| estring | 1.3 | Extension for string literals |
| exenum | 0.7 | Build efficient enumerations for datatypes. Inspired by Feat for Haskell. |
| exn-source | 0.1 | Exception backtrace for OCaml with source code printing |
| expect | 0.0.4 | Simple implementation of "expect" to help building unitary testing of interactive program |
| extlib | 1.7.2 | A complete yet small extension for OCaml standard library (reduced, recommended) |
| extlib-compat | 1.7.0 | A complete yet small extension for OCaml standard library (full, compatibility) |
| extprot | 1.3.0 | Extensible binary protocols for cross-language communication and long-term serialization |
| extunix | 0.1.4 | Collection of thin bindings to various low-level system API |
| ezirmin | 0.2.0 | An easy interface on top of the Irmin library. |
| ezjsonm | 0.4.3 | An easy interface on top of the Jsonm library |
| ezxmlm | 1.0.1 | Combinators to use with XMLM for parsing and selection |
| faad | 0.3.3 | 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 | Constraint programming library over integer finite domains |
| faillib | 111.17.00 | Part of Jane Street’s Core library |
| faraday | 0.1.0 | A library for writing fast and memory-efficient serializers. |
| farfadet | 0.1 | Printf-like for Faraday library |
| fat-filesystem | 0.12.0 | FAT filesystem implementation |
| fd-send-recv | 1.0.4 | Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets |
| fdkaac | 0.2.1 | Fraunhofer FDK AAC Codec Library |
| ffmpeg | 0.1.1 | Bindings for the ffmpeg library which provides functions for decoding audio and video files |
| fftw3 | 0.7.3 | Binding to the famous Fast Fourier Transform library FFTW |
| fieldslib | v0.9.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.5.1 | Library to provide pure OCaml functions to manipulate real file (POSIX like) and filename. |
| fix | 20130611 | a least fixed point computation library, using an efficient imperative algorithm |
| flac | 0.1.2 | 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.46.0 | The Flow parser is a JavaScript parser written in OCaml. It produces an AST |
| flowcaml | 1.07 | Flow Caml is an extension of OCaml with a type system tracing information flow. |
| flowtype | 0.46.0 | Flow is a static typechecker for JavaScript. |
| fluent-logger | 1.0.2 | A structured logger for Fluentd |
| fm-simplex-plugin | 1.30 | Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin |
| fmt | 0.8.3 | OCaml Format pretty-printer combinators |
| 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 OCaml |
| frag | 0.1.0 | File fragment extraction |
| frama-c | 20161101 | Platform dedicated to the analysis of source code written in C. Silicon version. |
| frama-c-base | 20161101 | Platform dedicated to the analysis of source code written in C. Silicon version. |
| frama-c-e-acsl | 0.5 | This package contains the Frama-C's E-ACSL plug-in. |
| freetds | 0.5.1 | Binding to the ct-lib component of the FreeTDS library. |
| freetennis | 0.4.8 | Free Tennis, a free tennis simulation. |
| frei0r | 0.1.1 | Bindings for the frei0r API which provides video effects |
| frenetic | 3.4.1 | The Frenetic SDN Controller Platform |
| froc | 0.2.2 | Jake Donham's Froc library for functional reactive programming in OCaml. |
| FrontC | 3.4 | Library providing a C parser and lexer |
| fstar | 0.9.3.0-beta1 | An ML-like language with a type system for program verification. |
| fstreams | 0.2.1 | Functional, lazy, infinite streams. |
| ftp | 0.1.0 | Functions for accessing files via FTP |
| functoria | 2.0.2 | A DSL to organize functor applications. |
| functoria-runtime | 2.0.0 | |
| functory | 0.5 | 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. |
| gadelac | 0.6.1 | Preprocessor for the Game Description Language. |
| gamepad | 0.1.0 | Bindings for the JS Gamepad API |
| gammu | 0.9.3 | Cell phone and SIM card access. |
| gapi-ocaml | 0.3.3 | A simple OCaml client for Google Services. |
| gasoline | 0.5.0 | Unix-ish application development framework |
| gavl | 0.1.6 | Bindings for the gavl library which provides functions for converting images formats, colorspaces, etc. |
| gdal | 0.9.0 | Bindings to the GDAL and OGR libraries |
| gdb | 0.3 | GDB/MI (machine interface) library and stack-sampling profiler |
| gdbprofiler | 0.1 | gdbprofiler, a profiler for native OCaml and other executables |
| gedcom | 1.0.0 | GEDCOM parsing. |
| gen | 0.4 | Simple and efficient iterators (modules Gen and GenLabels). |
| gen_js_api | 1.0.3 | Easy OCaml bindings for Javascript libraries |
| gen_server | 2.0.2 | An Erlang-like gen_server framework written for Async. |
| genet | 0.6 | Genet is tool to build a continuous integration platform. |
| genlet | 201406 | Let-insertion for MetaOCaml. |
| genspio | 0.0.0 | Genspio is a typed EDSL to generate shell scripts and commands from OCaml. |
| genspir | 0.1 | functions to generate almost uniformly points on the unit sphere |
| gensqlite | 0.1 | A ppx preprocessor to generate SQLite3 prepared statements and query functions. |
| geoip | 0.0.2 | Bindings to GeoIP database library. |
| get_line | 2.1.1 | output line at index i from file f (or a range of lines) |
| getopt | 20120615 | Parsing of command line arguments (similar to GNU GetOpt) for OCaml |
| getopts | 0.4.0 | Analyse command line arguments |
| gettext | 0.3.7 | Provides enough service to build a basic internationalized program |
| gg | 0.9.2 | Basic types for computer graphics in OCaml |
| git | 1.10.0 | Git format and protocol in pure OCaml |
| git-http | 1.10.0 | Client implementation of the "Smart" HTTP Git protocol in pure OCaml |
| git-mirage | 1.10.0 | MirageOS backend for the Git protocol(s) |
| git-unix | 1.10.1 | Unix backend for the Git protocol(s) |
| github | 2.3.0 | GitHub APIv3 client bindings |
| github-hooks | 0.1.2 | GitHub API web hook listener library |
| gles3 | 20160505.alpha | OCaml GLES 3.0 bindings |
| glical | 0.0.7 | Glical: glancing at iCalendar data. |
| glMLite | 0.03.51 | OpenGL bindings for OCaml |
| glpk | 0.1.8 | Bindings for glpk |
| glsurf | 3.3.1 | GlSurf, implicit curves and surfaces drawing and discretization |
| gmp-freestanding | 6.0.0 | The GNU Multiple Precision Arithmetic Library |
| gmp-xen | 6.0.0 | The GNU Multiple Precision Arithmetic Library |
| gnuplot | 0.5.2 | Simple interface to Gnuplot |
| google-drive-ocamlfuse | 0.6.17 | A FUSE filesystem over Google Drive |
| gperftools | 0.2 | Bindings to gperftools |
| gpr | 1.2.1 | GPR - Library and Application for Gaussian Process Regression |
| gpx | 1.1.1 | Conversions between XML and GPX (1.1) types. |
| graphics | 1.0 | Virtual package to check the availability of the Graphics library |
| graphicspdf | 2.2.1 | Version of OCaml's Graphics library which outputs PDFs. |
| graphlib | 1.2.0 | Generic Graph library |
| grenier | 0.5 | Collection of algorithms (HyperLogLog, order maintenance, ...) |
| grib | 0.11.0 | Bindings for the ECMWF GRIB API |
| gsasl | 0.10.0 | Bindings ot the GNU SASL library using Ctypes |
| gsl | 1.19.3 | GSL - Bindings to the GNU Scientific Library |
| gstreamer | 0.2.3 | Bindings for the GStreamer library which provides functions for playning and manipulating multimedia streams |
| gtk-light | 0.0.1 | Light wrapper around lablgtk2 |
| gtktop | 2.0 | A small library to ease the creation of graphical toplevels. |
| gxl-light | 1.0 | Gxl parser and in-place destructive update library |
| hamt | 1.0.0 | Hash Array Mapped Tries |
| hardcaml | 1.2.0 | Register Transfer Level 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 |
| hashcons | 1.2 | OCaml hash-consing library |
| hashset | 1.0.0 | Sets as hash tables |
| hdf | 0.9.1 | Bindings for the HDF4 library |
| hdf5 | 0.1.1 | Manages HDF5 files used for storing large amounts of data |
| headache | 1.03 | Automatic generation of files headers |
| heptagon | 1.03.03 | Compiler for the Heptagon/BZR synchronous programming language |
| herdtools7 | 7.45 | herdtools7, a tool suite for shared memory models. |
| herelib | 112.35.00 | Part of Jane Street’s Core library |
| hevea | 2.29 | A quite complete and fast LATEX to HTML translator |
| hex | 1.0.0 | Minimal library providing hexadecimal converters. |
| higher | 0.3.1 | Library for higher-kinded programming. |
| higlo | 0.6 | Library for syntax highlighting. |
| hkdf | 1.0.2 | Extract-and-Expand Key Derivation Function (HKDF) |
| hlarp | 0.0.3 | Normalize and compare HLA typing output. |
| hll | 2.7 | Create opam package files from a repository |
| hmap | 0.8.0 | Heterogeneous value maps for OCaml |
| http2https | 1.0.0 | HTTP to HTTPS redirector daemon |
| http_router | 0.1.2 | Simple http router for cohttp and async. |
| humane-re | 0.1.1 | A human friendly interface to regular expressions in OCaml |
| hvsock | 0.14.0 | Bindings to Hyper-V AF_HVSOCK |
| hweak | 1.1 | An hastable with weak pointer enabling the GC to collect things that are in the hashtable |
| hydro | 0.7.1 | An independent implementation of ICE, the object-oriented RPC protocol by ZeroC |
| i2c | 0.1.1-0 | i2c |
| ibx | 0.8.1 | OCaml implementation of the Interactive Brokers TWS API |
| igvxml | 0.1.0 | Create IGV session files from the command-line |
| imagelib | 20160413 | The imagelib library implements image formats such as PNG or 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. |
| incremental | 113.33.03 | Library for incremental computations |
| incremental_kernel | 113.33.03 | Library for incremental computations depending only on Core_kernel |
| indexmap | 0.0.3 | Generic indexed data for OCaml |
| inotify | 2.3 | Inotify bindings for ocaml. |
| inspect | 0.2.1 | Inspect the runtime representation of arbitrary OCaml values. |
| integers | 0.2.2 | Various signed and unsigned integer types for OCaml |
| integration1d | 0.4.1 | Integration of functions of one variable. |
| inuit | 0.2 | Make interactive text-based user-interfaces in OCaml |
| io | 0.2.0 | Simple, secure and composable abstraction for efficient component |
| io-page | 1.6.1 | Allocate memory pages suitable for aligned I/O |
| io-page-unix | 0.9.9 | Allocate OS memory pages suitable for aligned I/O |
| io-page-xen | 0.9.9 | Allocate OS memory pages suitable for aligned I/O |
| 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 | 2.7.2 | IP (and MAC) address manipulation |
| ipv6-multicast | 0.1 | UNIX bindings for IPv6 multicast |
| irc-client | 0.4.0 | IRC client library |
| iri | 0.4.0 | IRI (RFC3987) native OCaml implementation. |
| irmin | 1.1.0 | Irmin, a distributed database that follows the same design principles as Git |
| irmin-chunk | 1.0.0 | Irmin backend to store raw contents into chunks |
| irmin-git | 1.1.0 | Git backend for Irmin |
| irmin-http | 1.0.0 | HTTP client and server for Irmin |
| irmin-indexeddb | 0.3 | This is an Irmin backend that stores the data in the web-browser's IndexedDB store. |
| irmin-mirage | 1.0.0 | MirageOS-compatible Irmin stores |
| irmin-unix | 1.1.0 | Unix backends for Irmin |
| irmin-watcher | 0.2.0 | Portable Irmin watch backends using FSevents or Inotify |
| irrlicht | 0.0.3 | An OCaml binding for the Irrlicht Engine. |
| iso-filesystem | 0.1 | ISO9660 filesystem library |
| ISO8601 | 0.2.5 | ISO 8601 and RFC 3339 date parsing and printing. |
| 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.9.0 | Jane Street C header files |
| javalib | 2.3.3 | 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 JavaScriptCore |
| jbuilder | 1.0+beta8 | Fast, portable and opinionated build system |
| jekyll-format | 0.1.0 | Jekyll post parsing library |
| jenga | 113.33.03 | Build system |
| jhupllib | 0.1 | A library of tools and utilities for JHU PL lab projects. |
| jingoo | 1.2.14 | 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 |
| 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 | 2.8.4 | Compiler from OCaml bytecode to Javascript |
| json-pointer | 0.1.1-0 | JSON pointer |
| json-predicate | 0.2.0-0 | JSON predicate |
| json-static | 0.9.8 | JSON camlp4 syntax extension using json-wheel |
| json-wheel | 1.0.6 | JSON parser and writer, with optional C-style comments |
| jsondiff | 0.0.1 | JSON sensitive diffing |
| jsonm | 1.0.1 | Non-blocking streaming JSON codec for OCaml |
| jsoo_broadcastchannel | 1.1 | Jsoo_broadcastchannel is a binding for the BroadcastChannel API for Js_of_OCaml. |
| jsoo_router | 1.0 | Jsoo_router provide an extension point to manage route with the Hash |
| jsoo_storage | 1.0 | A wrapper in Js_of_ocaml for the WebStorage API |
| junit | 0.1 | Library to produce XML JUnit reports. |
| jwt | 0.1 | Implementation of JWT in OCaml. |
| kafka | 0.2 | Bindings for Apache Kafka - high-throughput distributed messaging system |
| kaputt | 1.2 | Testing tool |
| KaSim | 3.5.150925 | Command line stochastic simulator for kappa models. |
| ketrew | 3.1.0 | A Workflow Engine for Computational Experiments |
| key-parsers | 0.8.1 | Parsers for multiple key formats |
| kinetic-client | 0.0.6 | Client for Seagate's kinetic drives. |
| krb5 | 109.38.alpha1 | Kerberos 5 bindings |
| lablgl | 1.05 | Interface to OpenGL |
| lablgtk | 2.18.5 | OCaml interface to GTK+ |
| lablgtk-extras | 1.6 | A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2. |
| lablgtkosx | 2.01 | Lablgtkosx binds gOSX_application on top of lablgtk |
| lablqml | 0.5 | OCamlfind package and PPX extension to interface OCaml and QtQuick. |
| lablqt | 0.4 | OCamlfind package and PPX extension to interface OCaml and QtQuick. |
| labltk | 8.06.2 | OCaml interface to Tcl/Tk, including OCaml library explorer OCamlBrowser |
| lacaml | 9.3.0 | 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-term | 1.11 | Terminal manipulation library for OCaml |
| lambdasoup | 0.6.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.1 | A simple profiling library |
| lastfm | 0.3.1 | The lastfm library is an implementation of the API used by the last.fm to keep count of played songs |
| launchd | 1.2 | Bindings for the launchd socket activation API |
| lazy-trie | 1.1.0 | Implementation of lazy prefix trees |
| lbfgs | 0.8.8 | Minimization of multidimensional functions on bounded or unbounded domains. |
| ledit | 2.03 | Line editor, a la rlwrap |
| lemonade | 0.6.0 | A monad library with bubbles |
| lemonade-sqlite | 0.1.0 | A monadic interface to sqlite |
| lens | 1.2.0 | Functional lenses |
| leveldb | 1.1.2 | OCaml bindings for Google's LevelDB library. |
| levenshtein | 1.1.2 | Levenshtein distance algorithm for general array. |
| libevent | 0.8.0 | OCaml wrapper for the libevent API |
| libra-tk | 1.1.2 | Learning and inference with discrete probabilistic models |
| libres3 | 1.3 | Amazon S3 compatible server |
| libssh | 0.1 | Bindings to libssh |
| libsvm | 0.9.3 | LIBSVM bindings for OCaml |
| libudev | 0.2 | Bindings to libudev for OCaml |
| libvhd | 0.9.0 | OCaml bindings for the C library 'libvhd' which allows the manipulation |
| libvirt | 0.6.1.4 | Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems. |
| lilis | 0.2.1 | Library to Interpret Lindenmayer Systems |
| linenoise | 1.0.0 | Simple readline like functionality with nice hints feature. |
| linkage | 0.1 | easier plugin loading |
| links | 0.6.1 | Links is a functional programming language designed to make web programming easier. |
| lipsum | 0.2 | lipsum - self-contained tool for literate programming in tradition of NoWeb |
| liquidsoap | 1.3.0 | Swiss-army knife for multimedia streaming |
| liquidsoap-daemon | 0.1.3 | Daemonization scripts for liquidsoap |
| litiom | 4.0 | Extensions to Ocsigen's Eliom. |
| llvm | 4.0.0 | The OCaml bindings distributed with LLVM |
| llvmgraph | 0.2 | Ocamlgraph overlay for llvm |
| lo | 0.1.1 | Bindings for the lo library which provides functions for communicating with input controls using the OSC protocol |
| logs | 0.6.2 | Logging infrastructure for OCaml |
| logs-syslog | 0.1.0 | Logs output via syslog |
| logtk | 0.8.1 | Logic Toolkit |
| lpd | 1.2.1 | A Line Printer Daemon (LPD) server library written entirely in OCaml. |
| lpi | 0.0.2 | A REPL and library for a small dependently-typed language. |
| lru | 0.2.0 | Scalable LRU caches |
| lru-cache | 0.3.0 | A simple implementation of a LRU cache. |
| lua_pattern | 1.7 | Implementation of Lua patterns |
| lutils | 1.9 | Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg). |
| lwt | 3.0.0 | Monadic promises and concurrent I/O |
| lwt-binio | 0.2.1 | Asynchronous random access IO for numbers |
| lwt-parallel | 0.1.1 | Lwt-enabled multiprocessing library |
| lwt-zmq | 2.1.0 | Lwt-friendly interface to ZeroMQ |
| lwt_glib | 1.0.1 | GLib integration for Lwt |
| lwt_named_threads | 0.1 | Library to attach names and logs to Lwt threads (for debug/trace/objsize) |
| lwt_react | 1.0.1 | Helpers for using React with Lwt |
| lwt_ssl | 1.0.1 | Lwt-friendly OpenSSL bindings |
| lymp | 0.2.3 | Use Python functions and objects from OCaml |
| lz4 | 1.1.1 | Bindings for LZ4, a very fast lossless compression algorithm |
| lzo | 0.0.1 | Bindings to LZO - a portable lossless data compression library |
| m17n | 1.0 | Multilingualization for OCaml source code |
| macaque | 0.7.4 | Macaque (Macros for Caml Queries) is a DSL for OCaml, which produces |
| macaque_lwt | 0.1 | Utils for MaCaQue with Lwt |
| macaroons | 0.1.0 | 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.0.0 | Convert file extensions to 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. |
| mariadb | 0.8.1 | OCaml bindings to MariaDB |
| markup | 0.7.4 | Error-recovering functional HTML5 and XML parsers and writers |
| mascot | 1.0 | A style-checker for OCaml sources (code, documentation, interface, metrics, and typography). |
| maxminddb | 0.6 | Bindings to Maxmind.com's libmaxminddb library, like geoip2 |
| mbr-format | 0.3 | A simple library for manipulating Master Boot Records. |
| melt | 1.4.0 | Program LaTeX documents using OCaml |
| memcad | 1.0.0 | The MemCAD analyzer |
| memcpy | 0.2.0 | Safe and efficient copying between blocks of memory. |
| menhir | 20170509 | LR(1) parser generator |
| 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 | 2.5.4 | Editor helper, provides completion, typing and source browsing in Vim and Emacs |
| merlin-acme | 0.1 | Merlin interface for acme. |
| merlin-extend | 0.3 | 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.8.8 | Triangular mesh generation and manipulation. |
| message-switch | 0.10.5.1 | A simple store-and-forward message switch. |
| meta_conv | 1.1.5 | Meta conv, type_conv for various tree data formats. |
| mezzo | 0.0.m8 | We present the design of Mezzo, a programming language in the ML tradition, |
| mikmatch | 1.0.8 | OCaml syntax extension for regexps |
| milter | 1.0.2 | OCaml libmilter bindings |
| mindstorm | 0.6.1 | Drive Lego Mindstorms bricks from OCaml |
| minilight | 1.6 | Minimal global illumination renderer. |
| minima-theme | 1.0.0 | OCaml port of the Jekyll Minima theme |
| minios-xen | 0.9 | A minimal OS for running under the Xen hypervisor |
| minisat | 0.1 | Bindings to Minisat, with the solver included (no external dependency) |
| minivpt | 1.0.0 | Minimalist vantage point tree implementation in OCaml. |
| mirage | 3.0.2 | The MirageOS library operating system |
| mirage-block | 1.0.0 | Utilities and module definitions for dealing with block devices. |
| mirage-block-ccm | 1.0.1 | AES-CCM encrypted Mirage V1.BLOCK storage |
| mirage-block-lwt | 1.0.0 | Utilities and module definitions for dealing with block devices. |
| mirage-block-ramdisk | 0.3 | In-memory block device ("Ramdisk") for Mirage |
| mirage-block-solo5 | 0.2.1 | Solo5 implementation of MirageOS block interface |
| mirage-block-unix | 2.7.0 | MirageOS disk block driver for Unix |
| mirage-block-xen | 1.5.0 | MirageOS block driver for Xen that implements the blkfront/back protocol |
| mirage-bootvar-solo5 | 0.2.0 | Solo5 implementation of MirageOS Bootvar interface |
| mirage-bootvar-xen | 0.4.0 | Library for reading MirageOS unikernel boot parameters in Xen |
| mirage-btrees | 0.1.0 | An implementation of BTrees designed for use with MirageOS's BLOCK interface |
| mirage-channel | 3.0.0 | MirageOS channels |
| mirage-channel-lwt | 3.0.0 | MirageOS channels |
| mirage-clock | 1.2.0 | Libraries and module types for two kinds of clocks: |
| mirage-clock-freestanding | 1.2.0 | |
| mirage-clock-lwt | 1.2.0 | Libraries and module types for two kinds of clocks: |
| mirage-clock-unix | 1.2.0 | A Mirage-compatible Clock library for Unix |
| mirage-clock-xen | 1.1 | A Mirage-compatible Clock library for Xen |
| mirage-conduit | 2.3.1 | Virtual package for the MirageOS Conduit transports |
| mirage-console | 2.2.0 | A Mirage-compatible Console library for Xen and Unix |
| mirage-console-lwt | 2.2.0 | A Mirage-compatible Console library for Xen and Unix |
| mirage-console-solo5 | 0.2.0 | Solo5 implementation of MirageOS console interface |
| mirage-console-unix | 2.2.0 | A Mirage-compatible Console library for Unix |
| mirage-console-xen | 2.2.0 | A Mirage-compatible Console library for Xen |
| mirage-console-xen-backend | 2.2.0 | Libraries for interacting with the Xen console. |
| mirage-console-xen-cli | 2.2.0 | Libraries for interacting with the Xen console command-line interface. |
| mirage-console-xen-proto | 2.2.0 | Protocol for communicating with Xen consoles. |
| mirage-device | 1.0.0 | Foundational module types for devices. |
| mirage-dns | 2.7.0 | Virtual package for the MirageOS DNS transports |
| mirage-entropy | 0.4.0 | Entropy source for MirageOS unikernels. |
| mirage-entropy-unix | 0.2.0 | MirageOS entropy device |
| mirage-entropy-xen | 0.3.0 | MirageOS entropy device |
| mirage-flow | 1.2.0 | Various implementations of the MirageOS FLOW interface |
| mirage-flow-lwt | 1.2.0 | Various implementations of the MirageOS FLOW interface |
| mirage-flow-unix | 1.2.0 | Various implementations of the MirageOS FLOW interface |
| mirage-fs | 1.0.0 | MirageOS filesystem utilities |
| mirage-fs-lwt | 1.0.0 | Module type definitions for filesystems, with concurrency provided by the `lwt` library. |
| mirage-fs-unix | 1.3.0 | MirageOS filesystem passthrough driver for Unix |
| mirage-git | 1.6.0 | Virtual package to install the `git.mirage` libary |
| mirage-http | 3.1.0 | MirageOS-compatible implementation of the Cohttp interfaces |
| 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 | 1.0.0 | MirageOS utilities for interfacing with key-value stores. |
| mirage-kv-lwt | 1.0.0 | MirageOS utilities for interfacing with key-value stores. |
| mirage-logs | 0.3.0 | A reporter for the Logs library that writes log messages to stderr, using a Mirage `CLOCK` to add timestamps. |
| mirage-net | 1.0.0 | MirageOS TCP/IP networking library |
| mirage-net-direct | 0.9.4 | TCP/IP networking stack in pure OCaml |
| mirage-net-fd | 0.2.0 | MirageOS network interfaces using raw sockets |
| mirage-net-lwt | 1.0.0 | MirageOS TCP/IP networking library |
| mirage-net-macosx | 1.3.0 | MacOS X implementation of the Mirage NETWORK interface. |
| mirage-net-socket | 0.9.4 | Socket-based networking stack compatible with Mirage |
| mirage-net-solo5 | 0.2.0 | Solo5 implementation of MirageOS network interface |
| mirage-net-unix | 2.4.0 | Unix implementation of the Mirage NETWORK interface. |
| mirage-net-xen | 1.7.0 | Ethernet network device driver for MirageOS/Xen |
| mirage-no-solo5 | 1 | Virtual package conflicting with mirage-solo5 |
| mirage-no-xen | 1 | Virtual package conflicting with mirage-xen |
| mirage-os-shim | 3.0.0 | Portable shim for MirageOS APIs |
| mirage-profile | 0.7.0 | Collect profiling information |
| mirage-protocols | 1.1.0 | Module type definitions for network protocols. |
| mirage-protocols-lwt | 1.1.0 | |
| mirage-qubes | 0.4 | Implementations of various QubesOS protocols: |
| mirage-random | 1.0.0 | Random signatures for MirageOS, and an implementation using stdlib |
| mirage-runtime | 3.0.0 | A bundle of useful runtime functions for applications built with Mirage. |
| mirage-seal | 0.4.2 | Serve static files over HTTPS, using Mirage+ocaml-TLS. |
| mirage-solo5 | 0.2.0 | Solo5 core platform libraries for MirageOS |
| mirage-stack | 1.0.0 | Module type definitions for network stacks. |
| mirage-stack-lwt | 1.0.0 | Module type definitions for network stacks. |
| 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 | 1.0.0 | Module type definitions for dealing with time. |
| mirage-time-lwt | 1.0.0 | Module type definitions for dealing with time. |
| mirage-types | 3.0.0 | Module type definitions for Mirage-compatible applications |
| mirage-types-lwt | 3.0.0 | Lwt module type definitions for Mirage-compatible applications |
| mirage-unix | 3.0.0 | MirageOS platform library for UNIX compilation |
| mirage-vnetif | 0.3.1 | Virtual network interface and software switch for Mirage. |
| mirage-www | 1.1.0 | MirageOS website (written with MirageOS) |
| mirage-xen | 3.0.0 | MirageOS library for Xen compilation |
| mirage-xen-minios | 0.8.0 | Xen MiniOS guest operating system library |
| mirage-xen-ocaml | 3.0.0 | MirageOS headers for the OCaml runtime |
| mirage-xen-posix | 2.6.0 | MirageOS library for posix headers |
| mirari | 0.9.7 | MirageOS application builder |
| mirror | 0.0.1 | Mirror upstream OPAM package distribution files |
| missinglib | 0.4.1 | Collection of OCaml-related utilities |
| mixture | 1.0.0 | The Mixture package is a mixin library for the module system |
| mkaudio | 1.0.1 | CLI program for generating audio files |
| ml2mxml | 0.2 | Generate musicxml files from OCaml |
| mlbdd | 0.6 | A high performance BDD implementation in OCaml |
| mlcuddidl | 3.0.1 | OCaml interface to the CUDD BDD library |
| mld | 0.1 | The MLD package makes directory foo.mld turn into module Foo |
| mldonkey | 3.1.6 | Cross-platform multi-network peer-to-peer daemon |
| mlgmp | 20120224 | Interface of GNU MP and MPFR |
| mlgmpidl | 1.2.4 | OCaml interface to the GMP library |
| mlpost | 0.8.2 | Interface to Metapost |
| mm | 0.3.0 | The mm library contains high-level to create and manipulate multimedia streams (audio, video, MIDI) |
| mmseg | 0.1.1 | A word identification system based on the maximum matching algorithm. |
| modelica_ml | 0.2.0 | Modelica abstract syntax and parser |
| monadlib | 0.2 | A starter library for monads, with transformers and applicatives. |
| mongo | 0.67.2 | OCaml driver for MongoDB |
| monomorphic | 1.4 | A small library used to shadow polymorphic operators (and functions) contained in the stdlib. |
| more-ocaml | 1.0 | Support code for the book 'More OCaml' |
| mparser | 1.2.1 | A simple monadic parser combinator library |
| mpi | 1.01 | OCaml binding to the Message Passing Interface (MPI) |
| mpp | 0.3.0 | A preprocessor meant to blend languages. |
| mpris | 0.1.0 | Client library for 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 |
| msat | 0.6 | Modular sat/smt solver |
| msgpack | 1.2.1 | Msgpack library for OCaml |
| msgpck | 1.2 | Fast MessagePack (http://msgpack.org) library |
| mstruct | 1.3.2 | Mstruct is a thin mutable layer on top of cstruct |
| mtime | 1.0.0 | Monotonic wall-clock time for OCaml |
| mtl | 1.0.0 | A Monad Transformers Library for OCaml |
| multipart-form-data | 0.1.0 | multipart/form-data (RFC2388) parser |
| mustache | 3.0.0 | Mustache logic-less templates in OCaml |
| mybuild | 5 | Collection of ocamlbuild plugins (extprot, atdgen, ragel, etc) |
| mysql | 1.2.1 | Bindings to libmysqlclient for interacting with mysql databases |
| mysql_protocol | 2.0 | Implementation of MySQL Protocol with the Bitstring library |
| named-pipe | 0.4.0 | Bindings for named pipes |
| namespaces | 0.5.1 | Turn directories into OCaml modules |
| nanomsg | 1.0 | Ctypes based bindings to nanomsg |
| nbd | 3.0.0 | Network Block Device (NBD) protocol implementation |
| nebula | 0.2.1 | DCPU-16 emulator. |
| netamqp | 1.0 | Implements an AMQP client for accessing a message broker |
| netlink | 0.2.1 | Bindings to the Netlink Protocol Library Suite (libnl) |
| netml | 0.1.0 | Network packets authoring and parsing toolkit. |
| 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 |
| nocrypto | 0.5.4 | Simpler crypto |
| nonstd | 0.0.2 | Non-standard mini-library |
| nosetup | 0.8.1 | An `.ocamlinit` helper to `#require` packages in an OCaml toplevels |
| notty | 0.1.1 | Notty is a declarative terminal library for OCaml structured around a notion of |
| nproc | 0.5.1 | Process pool implementation for OCaml. |
| npy | 0.0.5 | Numpy npy file format reading/writing. |
| numerix | 0.22 | Big integer library, written by Michel Quercia. Compares well to GMP. |
| nunchaku | 0.4 | A counter-example finder for higher-order logic. |
| oasis | 0.4.8 | Tooling for building OCaml libraries and applications |
| oasis-mirage | 0.3.0a | This is a fork of OASIS with support for native output-obj. |
| oasis2opam | 0.8 | Tool to convert OASIS metadata to OPAM package descriptions |
| obandit | 0.2.3.1-5-g40e1b6c | Ocaml Multi-Armed Bandits |
| obeanstalk | 0.1 | Async based client for the beanstalk work queue |
| 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.8 | simple package build system for OCaml |
| obus | 1.1.7 | A pure OCaml implementation of DBus |
| obytelib | 1.2 | OCaml bytecode library tools to read, write and evaluate OCaml bytecode files. |
| ocal | 0.1.2 | Unix `cal` replacement |
| ocaml-arg | 0.3 | A simple library to handle subcommand arguments |
| ocaml-basics | 0.2.0 | Implements common functionnal patterns / abstractions |
| ocaml-buddy | 0.6.1 | Bindings for the Buddy BDD library. |
| ocaml-compiler-libs | v0.9.0 | OCaml compiler libraries repackaged |
| ocaml-data-notation | 0.0.11 | Store data using OCaml notation |
| ocaml-expat | 1.0.0 | Write XML-Parsers using the SAX method |
| ocaml-freestanding | 0.2.1 | Freestanding OCaml runtime |
| ocaml-http | 0.1.5 | 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-lua | 1.5 | Lua bindings |
| ocaml-makefile | 6.38.0 | Easy to use Makefile for small to medium-sized OCaml-projects |
| ocaml-manual | 4.04.0 | The OCaml system manual |
| ocaml-markdown | 0.1.1 | Markdown processor for Ocsigen |
| ocaml-migrate-parsetree | 1.0 | Convert OCaml parsetrees between different versions |
| ocaml-monadic | 0.3.3 | OCaml monadic syntax extensions |
| ocaml-protoc | 1.2.0 | A Protobuf Compiler for OCaml |
| ocaml-protoc-yojson | 0.2.0 | JSON Runtime based on Yojson library for `ocaml-protoc` generated code |
| ocaml-src | 4.05.0 | Compiler sources |
| ocaml-systemd | 1.1 | OCaml module for native access to the systemd facilities |
| ocaml-top | 1.1.3 | The OCaml interactive editor for education |
| ocaml-twt | 0.94.0 | The Whitespace Thing, a layout preprocessor for OCaml code |
| ocaml-xdg-basedir | 0.0.2 | 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 | 113.33.03 | Automatically build and dynlink OCaml source files |
| ocamlbuild | 0.11.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-protoc | 0.1 | ocaml-protoc plugin for Ocamlbuild |
| ocamlcc | 1.0 | Compiler from OCaml bytecode executable files to C source code |
| ocamlclean | 2.1 | Reduce size of OCaml bytecode files by dead-code removing |
| ocamldap | 2.2 | Implementation of the Light Weight Directory Access Protocol |
| 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. |
| 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.7.1 | A library manager for OCaml |
| ocamlfind-lint | 0.1.0 | Simple tool performing checks on installed findlib META files |
| ocamlfuse | 2.7.1-cvs5 | OCaml bindings for FUSE (Filesystem in UserSpacE) |
| ocamlgraph | 1.8.7 | A generic graph library for OCaml |
| ocamlify | 0.0.1 | Include files in OCaml code |
| ocamllint | 0.3.0 | Detect common errors in OCaml code |
| ocamlmod | 0.0.8 | Generate OCaml modules from source files |
| ocamlnet | 4.1.2 | 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 files |
| ocamlscript | 2.0.4 | Tool which compiles OCaml scripts into native code |
| ocamlsdl | 0.9.1 | Interface between OCaml and SDL |
| ocamlspot | 4.04.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.3 | Development tools to run OCaml programs on PIC microcontrollers |
| ocb-stubblr | 0.1.1 | OCamlbuild plugin for C stubs |
| 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. |
| 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 |
| ocp-browser | 1.0.0 | virtual package to force the installation of ocp-browser |
| ocp-build | 1.99.19-beta | Project builder for OCaml |
| ocp-indent | 1.6.0 | A simple tool to indent OCaml programs |
| ocp-index | 1.1.5 | Lightweight completion and documentation browsing for OCaml libraries |
| ocp-manager | 0.1.3 | Global Manager for OCaml versions and OPAM switches |
| ocp-ocamlres | 0.3 | Manipulation, injection and extraction of embedded resources |
| ocp-pack-split | 1.0.1 | ocp-pack and ocp-split |
| ocp-pp | 1.99.17-beta | A simple preprocessor for OCaml |
| 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.0 | Optimised functions to read and write int16/32/64 from strings and bigarrays, based on new primitives added in version 4.01. |
| ocplib-file | 1.99.17-beta | A simple library to manage accesses to files |
| ocplib-json-typed | 0.5 | Type-aware JSON and JSON schema utilities |
| ocplib-resto | 0.1 | Minimal OCaml library for type-safe HTTP/JSON RPCs. |
| ocplib-simplex | 0.3 | 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.1.0 | I18n made easy for web sites written with eliom. |
| ocsigen-start | 1.0.0 | Skeleton for building client-server Eliom applications |
| ocsigen-toolkit | 1.0.0 | Reusable UI components for Eliom applications (client only, or client-server) |
| ocsigenserver | 2.8 | A full-featured and extensible Web server |
| octavius | 0.2.0 | Ocamldoc comment syntax parser |
| ocurl | 0.7.9 | Bindings to libcurl |
| ocveralls | 0.3.4 | Generate JSON for http://coveralls.io from bisect code coverage data. |
| odate | 0.5 | Date & Duration Library |
| odb-server | 0.1 | Text editors/IDE helper module |
| odbc | 3.0 | Interface to various ODBC drivers |
| odepack | 0.6.8 | Binding to ODEPACK. |
| odiff-gtk | 1.0 | OCaml library to display and merge diffs using Lablgtk. |
| odig | 0.0.1 | Mine installed OCaml packages |
| odisco | 0.1.3 | OCaml library for Disco workers. |
| odoc | 1.0.0 | An OCaml API documentation tool |
| odoc-depgraph | 1.0 | Custom OCamldoc generator to insert clickable dependency graphs in generated html page |
| 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.1 | Interface for Ogg Bitstream Library, otherwise known as libogg |
| ojquery | 0.1 | JQuery binding for OCaml |
| ojs-base | 0.5.0 | Components to create web applications using js_of_ocaml and websockets. |
| ojwidgets | 0.1 | Browser widgets in OCaml with js_of_ocaml. |
| olinq | 0.2 | powerful combinators for iteration, transformation and combination of collections |
| 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.2 | Build system designed for scalability and portability |
| omd | 1.3.0 | A Markdown frontend in pure OCaml. |
| oml | 0.0.7 | Math Library |
| omonad | 0.3.3 | 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 |
| opal | 0.1.1 | Self-contained monadic parser combinators for OCaml |
| opam-build-revdeps | 0.1.0 | Build reverse dependencies of a package in OPAM. |
| opam-client | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-core | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-devel | 2.0.0~beta3 | opam 2.0.0 beta version |
| opam-doc | 0.9.3 | Produce documentation for OPAM packages |
| opam-ed | 0.1 | Command-line edition tool for handling the opam file syntax |
| opam-file-format | 2.0.0~beta3 | Parser and printer for the opam file syntax |
| opam-format | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-installext | 1.0.1 | OPAM plugin to install external system dependencies |
| opam-lib | 1.3.1 | The OPAM library |
| opam-publish | 0.3.0+transition | opam-publish transition package |
| opam-query | 1.2 | A tool to query opam files from shell scripts |
| opam-repository | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-solver | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-state | 2.0.0~beta3 | opam 2.0 development libraries |
| opam-sync-github-prs | 1.1.0 | Sync OCaml GitHub issues with OPAM |
| opam2web | 1.4.0 | A tool to generate a website from an OPAM repository |
| opamconfig | 0.3.0 | Virtual package owning parameters of opam installation. |
| opamfind | 1.1.3 | 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. |
| opencc | 0.4.3-0.1.1 | bindings for OpenCC - Open Chinese Convert |
| openflow | 0.9.1 | Serialization and protocol implementation for OpenFlow 1.{0,3} |
| operf-macro | 0.2 | Macro benchmarking tool |
| operf-micro | 1.1 | Simple tool for benchmarking the OCaml compiler |
| opium | 0.15.1 | Sinatra like web toolkit based on Lwt + Cohttp |
| oplay | 1.0.0 | Raw YUV video player |
| optcomp | 1.6 | Optional compilation with cpp-like directives |
| optimization1d | 0.5.1 | Find extrema of 1D functions. |
| opus | 0.1.2 | Bindings for the opus library to decode audio files in opus format |
| oqamldebug | 0.9.5 | Graphical front-end to ocamldebug |
| orakuda | 2.0.0 | Perlish string literals in OCaml |
| ordma | 0.0.2 | ordma provides ocaml bindings to librdmacm (rsocket) |
| orm | 0.7.1 | The ORM library provides a storage backend to persist ML values. |
| orocksdb | 0.3.0 | ctypes based bindings for rocksdb |
| osc | 0.1.1 | Pure OCaml OpenSoundControl client and server implementation |
| 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) bindings |
| osx-attr | 0.3.0 | OS X generic file system attribute system call bindings |
| 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 translation |
| osx-mount | 0.1.1 | Bindings to OS X mount system calls |
| osx-plutil | 0.5.0 | OS X plutil plist manipulation |
| osx-secure-transport | 0.1.0 | |
| osx-xattr | 0.3.0 | OS X extended attribute system call bindings |
| otags | 4.01.1 | Tag file generation of OCaml sources (for vi and emacs) |
| otfm | 0.3.0 | OpenType font decoder for OCaml |
| otr | 0.3.3 | Off the record implementation purely in OCaml |
| ott | 0.25 | Ott is a tool for writing definitions of programming languages and calculi |
| otto | 0.0.2 | Otto is a testing / autograding library |
| ounit | 2.0.0 | Unit testing framework loosely based on HUnit. It is similar to JUnit, and other XUnit testing frameworks |
| owebl | 0.1 | A fast, light, and concurrent web framework inspired by Flask and Sinatra. |
| owee | 0.2 | OCaml library to work with DWARF format |
| owl | 0.2.4 | Scientific computing library |
| ox | 1.1.1 | A platform for writing OpenFlow controllers |
| 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_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 |
| pareto | 0.3 | GSL powered OCaml statistics library. |
| parmap | 1.0-rc8 | Minimalistic library allowing to exploit multicore architecture |
| parse-argv | 0.0.3 | process strings into sets of command-line arguments |
| patdiff | 113.33.03 | File Diff using the Patience Diff algorithm |
| patience_diff | v0.9.0 | Diff library using Bram Cohen's patience diff algorithm. |
| patoline | 0.1 | A new typesetting system, programmable in ocaml. |
| pbkdf | 0.2.0 | Password based key derivation functions from PKCS#5, RFC 2898 |
| pbs | 0.2.0 | Helper library around PBS/Torque |
| pcap-format | 0.5.0 | Decode and encode PCAP (packet capture) files |
| pcf-format | 0.0.1 | parse PCF format X11 bitmap font files |
| pci | 1.0.0 | 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.2.3 | pcre-ocaml - bindings to the Perl Compatibility Regular Expressions library |
| pds | 5.24 | A tool to build Makefiles for Ocaml projects |
| pds-reachability | 0.2 | A PDS reachability query library. |
| perf | 1.0 | Binding to perf_event_open |
| pfff | 0.29 | Tools and APIs for program analysis, code visualization, refactoring |
| pgocaml | 2.3 | Interface to PostgreSQL databases |
| pipebang | 113.00.00 | Part of Jane Street’s Core library |
| piqi | 0.7.5 | Protocol Buffers, JSON and XML serialization system for OCaml |
| piqilib | 0.6.13 | The Piqi library -- runtime support for multi-format Protobuf/JSON/XML/Piq data serialization and conversion |
| pkcs11 | 0.7.3 | Bindings to the PKCS#11 cryptographic API |
| pla | 1.1 | 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 |
| plist | 1.0.0 | Native OCaml Plist manipulation |
| plplot | 5.11.0 | 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 | 3.0.7 | pomap - Partially Ordered Maps for OCaml |
| portaudio | 0.2.1 | Bindings for the portaudio library which provides high-level functions for using soundcards |
| portia | 1.0 | Literate Programming Preprocessor. |
| posix-clock | 0.4.0-0 | POSIX clock |
| posix-getopt | 0.1.0 | |
| posix-math | 0.3.1-0 | POSIX math |
| posix-mqueue | 0.8.0-0 | POSIX message queues |
| posix-semaphore | 0.4.0-0 | POSIX semaphore |
| posix-time | 1.0.0-0 | POSIX time |
| posix-types | 0.1.1 | ctypes-compatible type representations for the types exposed in <sys/types.h>. |
| postgresql | 4.0.1 | postgresql-ocaml - bindings to the PostgreSQL library |
| pprint | 20140424 | an OCaml adaptation of Wadler's and Leijen's prettier printer |
| ppx_assert | v0.9.0 | Assert-like extension nodes that raise useful errors on failure |
| ppx_ast | v0.9.1 | OCaml AST used by Jane Street ppx rewriters |
| ppx_base | v0.9.0 | Base set of ppx rewriters |
| ppx_bench | v0.9.1 | Syntax extension for writing in-line benchmarks in ocaml code |
| ppx_bigarray | 2.0.0 | A PPX extension for big array literals |
| ppx_bin_prot | v0.9.0 | Generation of bin_prot readers and writers from types |
| ppx_bitstring | 1.3.3 | PPX extension for the bitstring library. |
| ppx_blob | 0.2 | Include a file as a string at compile time |
| ppx_compare | v0.9.0 | Generation of comparison functions from types |
| ppx_const | 1.1 | Compile-time "if" statement for conditional inclusion of code. |
| ppx_conv_func | v0.9.0 | Deprecated |
| ppx_core | v0.9.0 | Standard library for ppx rewriters |
| ppx_cstruct | 0 | Access C-like structures directly from OCaml |
| ppx_csv_conv | 113.33.03 | 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.9.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.2.0 | A syntax extension to provide a somewhat Go-like defer |
| ppx_derivers | 1.0 | Shared [@@deriving] plugin registry |
| ppx_deriving | 4.1 | Type-driven code generation for OCaml >=4.02 |
| ppx_deriving_cmdliner | 0.4.0 | Cmdliner.Term.t generator |
| ppx_deriving_hardcaml | 1.1.0 | PPX deriving plugin for HardCaml |
| ppx_deriving_morphism | 0.4 | Morphism generator for OCaml >=4.02 |
| ppx_deriving_protobuf | 2.5 | A Protocol Buffers codec generator for OCaml >=4.02 |
| ppx_deriving_yojson | 3.0 | JSON codec generator for OCaml >=4.02 |
| ppx_distr_guards | 0.1 | Extension to distribute guards over or-patterns. |
| ppx_driver | v0.9.1 | Feature-full driver for OCaml AST transformers |
| ppx_enumerate | v0.9.0 | Generate a list containing all values of a finite type |
| ppx_expect | v0.9.0 | Cram like framework for OCaml |
| ppx_fail | v0.9.0 | Add location to calls to failwiths |
| ppx_fields_conv | v0.9.0 | Generation of accessor and iteration functions for ocaml records |
| ppx_fun | 0.0.4 | ppx_fun is PPX rewriter that provides simplified syntax for anonymous functions via extensions: `[%f ...]` and `[%f_ ...]`. |
| ppx_getenv | 1.2 | A sample syntax extension that uses OCaml's new extension points API. |
| ppx_hardcaml | 1.2.0 | PPX extension for HardCaml |
| ppx_hash | v0.9.0 | A ppx rewriter that generates hash functions from type expressions and definitions |
| ppx_here | v0.9.1 | Expands [%here] into its location |
| ppx_implicits | 0.1.0 | ppx_implicits: ppx extension for implicits, overloading and type classes. |
| ppx_import | 1.2 | A syntax extension for importing declarations from interface files |
| ppx_include | 1.1 | Include OCaml source files in each other |
| ppx_inline_test | v0.9.1 | Syntax extension for writing in-line tests in ocaml code |
| ppx_jane | v0.9.0 | Standard Jane Street ppx rewriters |
| ppx_js_style | v0.9.0 | Code style checker for Jane Street Packages |
| ppx_jsobject_conv | 0.4.3 | Ppx plugin for Typeconv to derive conversion from ocaml types to js objects to use with js_of_ocaml. |
| ppx_json_types | 0.3 | JSON type providers |
| ppx_let | v0.9.0 | Monadic let-bindings |
| ppx_measure | 1.1 | Provide a Type-safe way to manage unit of measure |
| ppx_meta_conv | 2.6.0 | ppx_meta_conv, ppx based type_conv for various tree data formats. |
| ppx_metaquot | v0.9.0 | Write OCaml AST fragment using OCaml syntax |
| ppx_monadic | 1.0.6 | ppx extension for do notation, pattern guards, and monad comprehension |
| ppx_monoid | 0.2 | A syntax extension for easier building of values of monoids. |
| ppx_netblob | 1.1 | fill strings with data collected from the internet |
| ppx_optcomp | v0.9.0 | Optional compilation for OCaml |
| ppx_optional | v0.9.0 | Pattern matching on flat options |
| ppx_orakuda | 3.0.3 | ORakuda, Perlish string literals in OCaml |
| ppx_overload | 1.0.1 | ppx_overload: SML style simple but user definable overloading |
| ppx_pattern_guard | 1.0.1 | ppx_pattern_guard: ppx extension for pattern guard |
| ppx_pipebang | v0.9.0 | A ppx rewriter that inlines reverse application operators `|>` and `|!` |
| ppx_poly_record | 1.1.3 | ppx for polymorphic records |
| ppx_sexp | 0.3.0 | ppx_sexp is a ppx preprocessor for embedding S-expressions in OCaml programs. |
| ppx_sexp_conv | v0.9.0 | Generation of S-expression conversion functions from type definitions |
| ppx_sexp_message | v0.9.0 | A ppx rewriter for easy construction of s-expressions |
| ppx_sexp_value | v0.9.0 | A ppx rewriter that simplifies building s-expressions from ocaml values |
| ppx_test | 1.4.2 | A ppx replacement of pa_ounit. |
| ppx_tools | 5.0+4.05.0 | Tools for authors of ppx rewriters and other syntactic tools |
| ppx_tools_versioned | 5.0.1 | A variant of ppx_tools based on ocaml-migrate-parsetree |
| ppx_traverse | v0.9.0 | Automatic generation of open-recursion classes |
| ppx_traverse_builtins | v0.9.0 | Builtins for Ppx_traverse |
| ppx_type_conv | v0.9.0 | Support Library for type-driven code generators |
| ppx_typerep_conv | v0.9.0 | Generation of runtime types from type declarations |
| ppx_variants_conv | v0.9.0 | Generation of accessor and iteration functions for ocaml variant types |
| ppx_where | 1.0 | Haskell-style `where` clauses as a PPX syntax extension |
| ppx_xml_conv | 113.33.03 | Generate XML conversion functions from records |
| ppxx | 1.4.0 | Ppxx: a small extension library for writing PPX preprocessors |
| primes | 1.3.5 | A small library for dealing with primes. |
| printbox | 0.1 | Allows to print nested boxes, lists, arrays, tables in several formats |
| prob-cache | 1.1.0 | Polymorphic probability cache API, including a distributed riak backed cache. |
| process | 0.2.1 | Easy process control |
| procord | 0.2.0 | Procord: a portable library to delegate tasks to other processes. |
| prof_spacetime | 0.1.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.1 | Bindings to the PROJ.4 projection library |
| promela | 0.4.2 | Library to create, manipulate and reason about PROMELA data structures. |
| prometheus | 0.1 | Client library for Prometheus monitoring |
| prometheus-app | 0.1 | Client library for Prometheus monitoring |
| protobuf | 1.0.0 | Protobuf implementation for Ocaml |
| protocol-9p | 0.11.0 | An implementation of the 9P protocol in pure OCaml |
| protocol-9p-tool | 0.11.0 | A simple command-line tool for accessing 9P servers |
| protocol-9p-unix | 0.11.0 | Unix clients and servers for the 9P protocol |
| proverif | 1.96pl1 | ProVerif: Cryptographic protocol verifier in the formal model |
| psq | 0.1.0 | Functional Priority Search Queues |
| ptime | 0.8.3 | POSIX time for OCaml |
| ptmap | 2.0.1 | Maps over integers implemented as Patricia trees |
| ptset | 1.0.0 | Sets of integers implemented as Patricia trees |
| publish | 0.3.4 | A tool to ease contributions to opam repositories. |
| pulseaudio | 0.1.3 | Bindings to Pulseaudio client library |
| pumping | 0.1.0 | Regular languages in types |
| 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.8 | Polymorphic XML Parser |
| pyml | 20161224 | ``py.ml``: OCaml bindings for Python |
| qcheck | 0.5.3.1 | QuickCheck inspired property-based testing for OCaml. |
| qcow | 0.10.0 | Support for Qcow2 images |
| qcow-format | 0.5.0 | Read and write images in Qcow2 format |
| qcow-tool | 0.10.0 | A command-line tool for manipulating qcow2-formatted data |
| qfs | 0.6 | bindings to libqfs - client library to access QFS |
| qmp | 0.9.1 | OCaml implementation of a Qemu Message Protocol (QMP) client |
| qocamlbrowser | 0.2.7 | OCamlBrowser clone written with OCaml and QtQuick 2. |
| qrencode | 0.1 | Binding to libqrencode (QR-code encoding library) |
| qtest | 2.6 | iTeML / qtest : Inline (Unit) Tests for OCaml. |
| quest | 0.1 | quest - generates C code for testing a C compiler's calling convention |
| quickcheck | 1.0.2 | Translation of QuickCheck from Haskell into OCaml |
| r2pipe | 0.0.1 | OCaml binding of R2Pipe |
| radare2 | 0.0.1 | OCaml interface to r2 |
| randomconv | 0.1.0 | Convert from random bytes to random native numbers |
| ranger | 0.1.0 | A consecutive range slice library for strings, arrays, etc. |
| rashell | 0.2.1 | A resilient and replicant shell programming library |
| raw_spacetime | base | Raw_spacetime_lib library distributed with the OCaml compiler |
| rawlink | 0.5 | Portable library to read and write raw packets. |
| raygun4ocaml | 0.1.0 | Client for the Raygun error reporting API |
| rdbg | 1.70 | RDBG: a reactive programs debugger. |
| rdf | 0.11.0 | Native OCaml implementation of RDF Graphs and Sparql 1.1 Query. |
| rdr | 2.0.1 | Rdr is a cross-platform binary analysis and reverse engineering library, |
| re | 1.7.1 | RE is a regular expression library for OCaml |
| re2 | 113.33.03 | OCaml bindings for RE2, Google's regular expression library |
| react | 1.2.1 | Declarative events and signals for OCaml |
| reactiveData | 0.2.1 | Functional reactive programming with incremental changes in data structures |
| reason | 1.13.5 | Reason: Meta Language Toolchain |
| reason-parser | 1.13.5 | Reason Parser: Meta Language Toolchain |
| receive-mail | 0.1.2 | A simple SMTP server for OCaml |
| records | 0.8.0 | Records |
| redis | 0.3.5 | Bindings for the key-value cache and store redis. |
| redis-lwt | 0.3.5 | Lwt-based client for Redis |
| redis-sync | 0.3.5 | Synchronous client for Redis |
| reedsolomon | 0.2 | Reed-Solomon error correction CODEC |
| regstab | 2.0.0 | SAT-Solver able to deal with formulae patterns |
| regular | 1.2.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. |
| res | 4.0.7 | RES - Library for resizable, contiguous datastructures. |
| result | 1.2 | Compatibility Result module |
| rfc6287 | 1.0.2 | RFC6287 OCRA (OATH Challenge-Response Algorithm) |
| 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 |
| river | 0.1.2 | A planet (feed aggregator) in OCaml. |
| rml | 1.09.04 | ReactiveML: a programming language for implementing interactive systems. |
| root1d | 0.4 | Find roots of 1D functions. |
| rope | 0.5 | Ropes ("heavyweight strings") |
| rpc | 1.5.4 | A library to deal with RPCs in OCaml |
| rpc_parallel | 113.33.03 | Type-safe parallel library built on top of Async_rpc |
| rresult | 0.5.0 | Result value combinators for OCaml |
| rtime | 0.9.3 | Module implementing timelines for React |
| rubytt | 0.1 | rubytt is a static code analyzer for Ruby. |
| safa | 1.4 | Symbolic Algorithms for Finite Automata |
| safepass | 2.0 | A library enabling the safe storage of user passwords |
| salsa20-core | 0.1.0 | Salsa20 core functions, in pure OCaml |
| samplerate | 0.1.4 | Bindings for the samplerate library which provides functions for changing samplerate of audio data |
| 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 |
| sawja | 1.5.2 | Provide a high level representation of Java bytecode programs and static analysis tools. |
| 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 | 0.4.0 | Scrypt Password-Based Key Derivation Function |
| sedlex | 1.99.3 | ppx-based unicode-friendly lexer generator |
| semver | 0.1.0 | Semantic versioning module |
| sendmsg | 0.0.2 | π-calculus? In _my_ kernel? |
| sequence | 0.10 | Simple and lightweight sequence abstract data type. |
| sequoia | 0.1.0 | Type-safe query builder for OCaml |
| session | 0.3.2 | A session manager for your everyday needs |
| sessions | 0.1.0 | Library to provide session types to allow for static verification of protocols between concurrent computations. |
| setr | 0.1.1 | Abstract domain library for sets |
| sexplib | v0.9.1 | Library for serializing OCaml values to and from S-expressions |
| sgf | 1.0 | Parser and pretty printer for SGF files. |
| sha | 1.9 | Binding to the SHA cryptographic functions |
| shared-block-ring | 1.0.0 | A shared ring over a MirageOS block device |
| shared-memory-ring | 1.3.0 | Shared memory rings for RPC and bytestream communications. |
| shared-secret | 0.2 | Exceptions are shared secrets. |
| shcaml | 0.2.0 | Library for Unix shell programming |
| 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 |
| 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 |
| slack-backup | 0.1 | Small tool to backup IM and channels from slack. |
| slacko | 0.12.0 | Access the Slack API |
| slap | 4.1.0 | A linear algebra library with static size checking for matrix operations |
| smart-print | 0.2.0 | The pretty-printing library which feels natural to use. |
| smbc | 0.3.1 | Sat Modulo Bounded Checking |
| smtp | 0.3 | SMTP library with Unix and Lwt backends |
| snabela | 1.0 | Logic-less template system |
| snappy | 0.1.0 | Bindings to snappy - fast compression/decompression library |
| 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, ..., orders |
| socketcan | 0.8.8-0 | socketcan |
| sodium | 0.6.0 | Binding to libsodium UNAUDITED |
| solo5-kernel-ukvm | 0.2.2 | Solo5 unikernel base (ukvm target) |
| solo5-kernel-virtio | 0.2.2 | Solo5 unikernel base (virtio target) |
| solvuu-build | 0.3.0 | Solvuu's build system. |
| solvuu_build | 0.0.2 | DEPRECATED. Please use solvuu-build. |
| sonet | 0.1.2 | Collection of modules for asynchronous network applications |
| sosa | 0.2.0 | Sane OCaml String API |
| soundtouch | 0.1.8 | Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data |
| space-search | 0.9.1 | SpaceSearch is a library that turns Coq into a solver-aided host language. Many |
| spacetime_lib | 0.1.0 | Library for decoding OCaml spacetime profiles |
| sparrow | 0.1 | A Static Analyzer for C |
| spatial_index | 0.0.2 | Implementation of several spatial indexes (R-tree, etc.) |
| spawn | v0.9.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.1 | Fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking. |
| spf | 1.0.1 | OCaml bindings for libspf2 |
| spirv | 1.1.1 | SPIR-V Compiler Library |
| spoc | 20140620 | 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.0 | OCaml library for interacting with the web-based Spotify metadata API |
| spotinstall | 1.2.1 | A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit). |
| spotlib | 3.1.2 | 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. |
| sqlexpr | 0.8.0 | Type-safe, convenient SQLite database access. |
| sqlgg | 0.3.0 | SQL Guided (code) Generator |
| sqlite3 | 4.1.2 | sqlite3-ocaml - SQLite3 bindings |
| sqlite3EZ | 0.1.0 | Thin wrapper for sqlite3-ocaml with a simplified interface |
| srs | 1.0.0 | OCaml bindings for libsrs2 |
| ssl | 0.5.3 | Bindings for OpenSSL |
| starterkit | 1.0.0 | Virtual package for starting OCaml |
| stationary | 0.0.1 | Static site generator |
| statsd-client | 1.0.1 | StatsD client library |
| stb_image | 0.3 | 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.2 | OCaml bindings to stb_truetype, a public domain font rasterizer |
| stdint | 0.3.0-0 | signed and unsigned integer types having specified widths |
| stdio | v0.9.0 | Standard IO library for OCaml |
| stemmer | 0.2 | Porter stemming algorithm in pure OCaml |
| stemming | 0.2.0 | Collection of stemmers |
| stog | 0.17.1 | A static web site compiler, handling blog posts, or XML document in general. |
| stog-rdf | 0.16.1 | Plugin for Stog. Define and query RDF graphs in rewrite rules. |
| stog-writing | 0.17.0 | Plugin for Stog to use footnotes and bibliographies in stog-generated web sites. |
| stone | 0.5.0 | Simple static website generator, useful for a portfolio or documentation pages |
| stringext | 1.4.3 | Extra string functions for OCaml |
| sturgeon | 0.2 | A toolkit for communicating with Emacs |
| subtype-refinement | 0.1 | Refinement types encoded with private types in OCaml. |
| sundialsml | 2.7.0p0 | Sundials/ML is an interface to the Sundials suite of numerical solvers. |
| swdogen | 0.1.0 | SWagger DOcumentation GENerator |
| symkat | 1.4 | Symbolic Algorithms for Kleene algebra with Tests (KAT) |
| syndic | 1.5.3 | RSS1, RSS2, Atom and OPML1 parsing |
| syslog | 1.4 | syslog(3) routines for ocaml |
| syslog-message | 0.0.2 | Syslog message parser |
| systemverilog | 0.0.1 | SystemVerilog for OCaml |
| taglib | 0.3.3 | 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. |
| tallgeese | 0.1 | Enhanced SSH on OS X |
| tar | 0.8.0 | Decode and encode tar formatted data |
| tar-format | 0.7.1 | Decode and encode tar files |
| tar-mirage | 0.8.0 | Decode and encode tar formatted streams |
| tar-unix | 0.8.0 | Decode and encode tar files |
| tcpip | 3.1.2 | Userlevel TCP/IP stack |
| TCSLib | 0.2 | 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 |
| telegraml | 2.1.4 | Telegram Bot API for OCaml |
| tensorflow | 0.0.10 | TensorFlow bindings for OCaml |
| termbox | 0.1.0 | Bindings for the termbox library, minimalistic API for creating text-based interfaces. |
| terminal_size | 0.1.2 | Get the dimensions of the terminal |
| testrunner | 0.1.0 | Simple framework to run tests and create test reports for OCaml libraries. |
| testsimple | 0.3.1 | A simple unit testing framework |
| text | 0.8.0 | Library for dealing with "text", i.e. sequence of unicode characters, in a convenient way |
| text-tags | 1.2.0 | A library for rich formatting using semantics tags |
| textutils | 113.33.03 | Text output utilities |
| textwrap | 0.2 | Text wrapping and filling 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 OCaml |
| 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.9.0 | OCaml bindings for the Apache Thrift RPC system |
| tidy | 1-4.9.30-0.1.1 | bindings for tidy5 - HTML Tidy with HTML5 support |
| tiny_json | 1.1.3 | A small Json library from OCAMLTTER |
| tiny_json_conv | 1.4.1 | Meta conv for Tiny Json |
| tip-parser | 0.3 | Parser for TIP (Tons of Inductive Problems) |
| tls | 0.8.0 | Transport Layer Security purely in OCaml |
| tlstunnel | 0.1.3 | A TLS proxy using OCaml-TLS |
| toml | 4.0.0 | TOML parser. |
| tophide | 1.0.4 | Hides toplevel values whose name starts with an underscore |
| topkg | 0.9.0 | The transitory OCaml software packager |
| topkg-care | 0.9.0 | The transitory OCaml software packager |
| toplevel_expect_test | 113.33.03 | Expectation tests for the OCaml toplevel |
| topology | 0.4.0 | A library for working with network topologies. |
| touist | 3.1.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 |
| trakeva | 0.1.1 | Transactions, Keys, and Values; with Postgresql and/or Sqlite. |
| transmission-rpc | 1.0 | A client library for the Transmission Bittorrent client RPC |
| travis-opam | 1.0.3 | Travis CI (Continuous Integration) helpers |
| travis-senv | 1.0.0 | Utility to manipulate Travis CI secure environment variables |
| tree_layout | 0.1.0 | Algorithms to layout trees in a pretty manner. |
| treeprint | 2.1.1 | Small tree structure printer with operator associations and precedences. |
| trie | 0.1.1 | trie tree |
| tryocaml | 0.2.2 | Easiest way to learn how to code in OCaml language |
| tsdl | 0.9.3 | Thin bindings to SDL for OCaml |
| tsdl-image | 0.2.0 | SDL2_Image bindings to go with Tsdl |
| tsdl-mixer | 0.2 | SDL2_mixer bindings to go with Tsdl |
| tsdl-ttf | 0.2 | SDL2_ttf bindings to go with Tsdl |
| tuareg | 2.0.10 | OCaml mode for GNU Emacs and XEmacs. |
| tuntap | 1.4.1 | OCaml library for handling TUN/TAP devices |
| type-beat | 0.1 | A parser for the Content-Type value |
| type_conv | 113.00.02 | Library for building type-driven syntax extensions |
| typehashlib | 109.15.04 | Part of Jane Street’s Core library |
| typerep | v0.9.0 | typerep is a library for runtime types. |
| typerep_extended | 113.33.03 | 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.2.2 | a library for PPX with types |
| tyre | 0.3 | Typed Regular Expressions |
| tyxml | 4.1.0 | TyXML is a library for building statically correct HTML5 and SVG documents |
| tyxml-ppx | 4.1.0 | Virtual package for tyxml's ppx |
| ucaml | 0.1 | Translate OCaml code into C code |
| uchar | 0.0.1 | Compatibility library for OCaml's Uchar module |
| ucorelib | 0.0.2 | A light weight Unicode library for OCaml |
| udunits | 0.2.0 | Bindings to the UDUNITS-2 library |
| uint | 1.2.0 | Unsigned ints for OCaml |
| ulex | 1.1 | lexer generator for Unicode and OCaml |
| unison | 2.48.3 | File-synchronization tool for Unix and Windows |
| unix-dirent | 0.3.5 | ocaml-unix-dirent provides access to the features exposed in dirent.h |
| unix-errno | 0.5.2 | Unix errno types, maps, and support |
| unix-fcntl | 0.3.5 | Unix fcntl.h types, maps, and support |
| unix-sys-resource | 0.1.2 | Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends) |
| unix-sys-stat | 0.5.2 | ocaml-unix-sys-stat provides access to the features exposed in sys/stat.h |
| unix-time | 0.1.0 | Unix time.h types, maps, and support |
| 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.1 | Runtime tag-checking of marshaled ocaml data |
| uri | 1.9.2 | RFC3986 URI/URL parsing library |
| usb | 1.3.0 | OCaml bindings for libusb-1.0 |
| usbmux | 1.3.2 | Control port remapping for iOS devices |
| user-setup | 0.6 | Helper for the configuration of editors for the use of OCaml tools |
| utop | 1.19.3 | Universal toplevel for OCaml |
| utp | 0.9.0 | OCaml bindings for [libutp](https://github.com/bittorrent/libutp). |
| uucd | 4.0.0 | Unicode character database decoder for OCaml |
| uucp | 2.0.0 | Unicode character properties for OCaml |
| uuidm | 0.9.6 | Universally unique identifiers (UUIDs) for OCaml |
| uunf | 2.0.1 | Unicode text normalization for OCaml |
| uuseg | 1.0.1 | Unicode text segmentation for OCaml |
| uutf | 1.0.1 | Non-blocking streaming Unicode codec for OCaml |
| uwt | 0.2.0 | libuv bindings |
| valentine | 1.0.0 | Validate HTML from command line |
| variantslib | v0.9.0 | Part of Jane Street's Core library |
| vchan | 2.3.0 | Xen Vchan implementation |
| vector3 | 0.2.1 | module for 3D vectors (implemented as records of x, y and z floats) |
| vg | 0.9.0 | Declarative 2D vector graphics for OCaml |
| vhd-format | 0.8.0 | Pure OCaml library for reading and writing .vhd format data |
| vhd-tool | 0.7.8 | A command-line tool to manipulate, transcode and stream .vhd format data. |
| vhdlib | 0.9.1 | Bindings to libvhd |
| visitors | 20170420 | An OCaml syntax extension (technically, a ppx_deriving plugin) which generates |
| vmnet | 1.1.0 | Userlevel network bridging on MacOS X |
| voaacenc | 0.1.1 | Bindings for the voaacenc library to encode audio files in AAC format |
| vorbis | 0.6.2 | Bindings to libvorbis |
| vpnkit | 0.0.0 | VPN-friendly networking devices for [HyperKit](https://github.com/docker/hyperkit) |
| vrt | 0.1.0 | A setup command line tools to help with development on remote AWS desktops |
| wamp | 1.1 | Web Application Messaging Protocol (WAMP) library |
| wasm | 0.13 | An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. |
| wdialog | 2.1.3 | Dialog-oriented web applications |
| webbrowser | 0.6.1 | Open and reload URIs in browsers from OCaml |
| webdav | 1.1 | Implements the client side of the WebDAV protocol (RFC 4918) |
| weberizer | 0.7.7 | HTML templating system. |
| webidl | 1.1 | Web IDL parser |
| webmachine | 0.4.0 | A REST toolkit for OCaml |
| websocket | 2.9 | Websocket library |
| webtest | 1.1.0 | Framework for in-browser testing of js_of_ocaml code |
| wget | 0.1.0 | Basic wget-like client, based on the Citrix' HTTP library. |
| why | 2.38 | Why is a software verification platform. |
| why3 | 0.87.3 | Why3 environment for deductive program verification. |
| why3-base | 0.87.3 | Why3 environment for deductive program verification (base) |
| win-error | 0.2 | Windows system error codes |
| win-eventlog | 0.1 | Write to the Windows event log |
| wiringpi | 0.0.1 | WiringPi for OCaml, low level Raspberry Pi hardware access |
| 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.5.3 | X.509 certificate (RFC5280) library |
| xapi | 1.9.56 | The xapi toolstack daemon which implements the XenAPI |
| xapi-backtrace | 0.2 | A simple library for recording and managing backtraces |
| xapi-forkexecd | 0.9.2 | Sub-process control service for xapi |
| xapi-idl | 0.11.0 | Interface descriptions and common boilerplate for xapi services. |
| xapi-inventory | 0.9.1 | Library for accessing the xapi toolstack inventory file |
| xapi-libs-transitional | 0.9.6 | Further transitional libraries required by xapi |
| xapi-netdev | 0.9.1 | Host network device configuration |
| xapi-networkd | 0.9.4 | Xapi toolstack host network configurator |
| xapi-rrd | 0.12.0 | RRD library for use with xapi |
| xapi-rrd-transport | 0.7.2 | Shared-memory protocols for exposing performance counters |
| xapi-rrdd | 0.9.8 | Performance monitoring daemon for xapi |
| xapi-rrdd-plugin | 0.6.0 | A plugin library for the xapi performance monitoring daemon |
| xapi-squeezed | 0.10.7 | A memory ballooning daemon for the Xen hypervisor |
| xapi-stdext | 0.13.0 | A deprecated collection of utility functions |
| xapi-tapctl | 0.9.2 | A library to control tapdisk on a Xen host |
| xapi-xenops | 0.9.6 | Create/destroy/manipulate Xen domains |
| xapi-xenops-cli | 0.9.1 | A CLI for the xapi Xen domain manager. |
| xapi-xenopsd | 0.9.44.1 | A single-host domain/VM manager for the Xen hypervisor |
| xe | 0.6.3 | A command-line client for the 'xapi' service (as used in XenServer) |
| xe-unikernel-upload | 0.5 | A simple tool to upload a Unikernel to a XenServer pool. |
| xen-api-client | 0.9.10 | Xen-API client library for remotely-controlling an XCP or XenServer host. |
| xen-block-driver | 0.2.5 | Xen disk device drivers: both client ("frontend") and server ("backend") |
| xen-disk | 1.2.1 | A command-line tool for attaching disks to VMs running on a xen host. |
| xen-evtchn | 1.0.7 | Xen event channel bindings. |
| xen-gnt | 2.2.3 | Xen grant table bindings |
| xenbigarray | 1.0.0 | Portable Bigarray intended for embedded Xen use |
| xenctrl | 0.9.32 | Low-level Xen hypercall bindings. |
| xenstore | 1.3.0 | Xenstore protocol clients and server |
| xenstore_transport | 0.9.4 | Low-level libraries for connecting to a xenstore service on a xen host. |
| 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 OCaml |
| 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.16.0 | XML templating library and ppx. |
| 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 |
| yices2 | 0.0.3 | Yices2 SMT solver binding |
| yojson | 1.3.3 | Yojson is an optimized parsing and printing library for the JSON format |
| zarith | 1.4.1 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zarith-freestanding | 1.4.1 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zarith-xen | 1.4 | Implements arithmetic and logical operations over arbitrary-precision integers |
| zbar | 0.9 | Binding to ZBar (QR-code scanning library) |
| zed | 1.5 | Abstract engine for text edition in OCaml |
| zenon | 0.8.0 | Automated theorem prover for first order classical logic (with equality), based on the tableau method |
| zephyrus | 0.1 | Zephyrus automatic configuration generation tool. |
| zero | 109.28.00 | Deprecated, merged into core_kernel |
| zipperposition | 1.1 | A fully automatic theorem prover for typed first-order and beyond. |
| zlib | 0.5 | Bindings to the zlib compression library |
| zlist | 0.1.2 | Lazy lists for OCaml |
| zmq | 4.0-8 | OCaml bindings for ZeroMQ 4.0 |
| zstd | 0.2 | Bindings to zstd compression library |
| zxcvbn | 2.0+2 | Bindings for the zxcvbn password strength estimation library |
