0install | 2.17 | Decentralised installation system |
0install-gtk | 2.17 | Decentralised installation system - GTK UI |
0install-solver | 2.17 | Package dependency solver |
aacplus | 0.2.2 | Bindings for the aacplus library which provides functions for decoding AAC audio files |
abella | 2.0.6 | Interactive theorem prover based on lambda-tree syntax |
abt | 0.0.3 | OCaml port of CMU's abstract binding trees. |
accessor | v0.14.1 | A library that makes it nicer to work with nested functional data structures |
accessor_async | v0.14.1 | Accessors for Async types, for use with the Accessor library |
accessor_base | v0.14.1 | Accessors for Base types, for use with the Accessor library |
accessor_core | v0.14.1 | Accessors for Core types, for use with the Accessor library |
acgtk | 1.5.1 | Abstract Categorial Grammar development toolkit |
acme | 0.1 | A library to interact with the acme text editor. |
acpc | 1.2.3 | Chemoinformatics tool for ligand-based virtual screening |
aez | 0.3 | Alt-Ergo Zero is an OCaml library for an SMT solver. |
afl | 2.52b | American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam. |
afl-persistent | 1.3 | Use afl-fuzz in persistent mode |
ago | 0.4 | ago(1) - compute the number of days between two calendar dates |
agrep | 1.0 | String searching with errors |
ahrocksdb | 0.2.2 | A binding to RocksDB |
aifad | 2.2.2 | AIFAD - Automated Induction of Functions over Algebraic Datatypes |
aio | 0.0.3 | Linux kernel AIO access library for ocamlorg:mirage org:xapi-project |
alba | 0.4.3 | Alba compiler |
alberto | 0.4 | OCaml interface to Erlang ports |
alcotest | 1.2.3 | Alcotest is a lightweight and colourful test framework |
alcotest-async | 1.2.3 | Async-based helpers for Alcotest |
alcotest-lwt | 1.2.3 | Lwt-based helpers for Alcotest |
alcotest-mirage | 1.2.3 | Mirage implementation for Alcotest |
alg_structs | 0.1.3 | Interfaces and module combinators for algebraic structures |
alg_structs_qcheck | 0.1.3 | Provides qCheck generators for laws of alg_structs |
aliases | 0.0.5 | In memory indexes |
alphaCaml | 20061214 | Turns a so-called "binding specification" into an OCaml compilation unit |
alsa | 0.3.0 | Bindings for the ALSA library which provides functions for using soundcards |
alt-ergo | 2.3.3 | The Alt-Ergo SMT prover |
alt-ergo-free | 2.2.0 | Alt-Ergo, an SMT Solver for Software Verification |
alt-ergo-lib | 2.3.3 | The Alt-Ergo SMT prover library |
alt-ergo-parsers | 2.3.3 | The Alt-Ergo SMT prover parser library |
altgr-ergo | 2.3.3 | The Alt-Ergo SMT prover (graphical interface) |
amf | 0.1.2 | Parser/serializer for Adobe's Action Message Format |
amqp-client | 2.2.2 | Amqp client base library |
amqp-client-async | 2.2.2 | Amqp client library, async version |
amqp-client-lwt | 2.2.2 | Amqp client library, lwt version |
ancient | 0.9.1 | Use data structures larger than available memory |
angstrom | 0.14.1 | Parser combinators built for speed and memory-efficiency |
angstrom-async | 0.14.1 | Async support for Angstrom |
angstrom-lwt-unix | 0.14.1 | Lwt_unix support for Angstrom |
angstrom-unix | 0.14.1 | Unix support for Angstrom |
annexlib | 0.13.5 | An extension to the standard library |
annot | 1.1.0 | annotation parser for external editors and IDEsorg:ocamllabs |
ansi-parse | 0.3.0 | Escape sequences to HTML |
ansicolor | 0.5 | Simple ANSI terminal color library (deprecated in favor of ANSITerminal). |
ANSITerminal | 0.8.2 | Basic control of ANSI compliant terminals and the windows shellterminal |
anthill | 0.1 | Word search library and utility |
anycache | 0.7.4 | Scan-resistant LRU/2Q cache |
anycache-async | 0.7.4 | Scan-resistant LRU/2Q cache |
anycache-lwt | 0.7.4 | Scan-resistant LRU/2Q cache |
ao | 0.2.1 | Bindings for the AO library which provides high-level functions for using soundcards |
apalogretrieve | 0.9.6-4 | Retrieve data from an Apache logfile with a syntax derived from the SQL language. |
aperf | 0.1.2 | OCaml tools for loop perforation |
apero-core | 0.4.7 | OCaml Utility Library |
apero-net | 0.4.7 | OCaml Networking Library |
apero-time | 0.4.7 | OCaml Time Stamping Library |
apron | v0.9.13 | APRON numerical abstract domain library |
apronext | 1.0.1 | Apron extension |
arakoon | 1.9.17 | A distributed key-value store that guarantees consistency above anything else. |
archetype | 1.2.0 | Archetype language compiler |
archi | 0.1.0 | A library for managing the lifecycle of stateful components in OCaml |
archi-async | 0.1.0 | Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml |
archi-lwt | 0.1.0 | Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml |
archimedes | 0.4.19 | Extensible 2D plotting library |
archsat | 1.1 | A first-order theorem prover with formal proof outputsat smt solver theorem prover tptp logic smtlib dimacs |
argon2 | 1.0.1 | OCaml bindings to Argon2 |
argot | 1.1 | An enhanced HTML generator for the ocamldoc tool of the OCaml language. |
arp | 2.2.1 | Address Resolution Protocol purely in OCaml |
arp-mirage | 2.2.1 | Address Resolution Protocol for MirageOS |
asak | 0.2 | Partitioning OCaml codes |
ascii85 | 0.4 | ascii85 - Adobe's Ascii85 encoding as a module and a command line tool |
asetmap | 0.8.1 | Alternative, compatible, OCaml standard library Sets and Mapsorg:erratique set map stdlib |
asl | 0.11 | Bindings for the Apple System Log API |
asli | 0.2.0 | Interpreter for Arm's Architecture Specification Language (ASL) |
asn1-combinators | 0.2.2 | Embed typed ASN.1 grammars in OCaml |
assertions | 0.1 | Basic assert statements |
assimp | 0.3 | OCaml bindings to Assimp, Open Asset Import Library |
astring | 0.8.5 | Alternative String module for OCamlstring org:erratique |
async | v0.14.0 | Monadic concurrency library |
async-mvar | 0.1.0 | Async-mvar is a port of Lwt's Lwt_mvar |
async-uri | 0.2.1 | Open Async (TLS) TCP connections with Uri.t |
async-zmq | 0.3.0 | Async wrapper for OCaml's zeromq bindings |
async_core | 109.55.02 | Monadic concurrency library |
async_durable | v0.14.0 | Durable connections for use with async |
async_extended | v0.11.0 | Additional utilities for async |
async_extra | v0.14.0 | Monadic concurrency library |
async_find | v0.14.0 | Directory traversal with Async |
async_graphics | 0.7.0 | Async wrapper for the OCaml Graphics libraryasync graphics |
async_inotify | v0.14.0 | Async wrapper for inotify |
async_interactive | v0.14.0 | Utilities for building simple command-line based user interfaces |
async_js | v0.14.0 | A small library that provide Async support for JavaScript platforms |
async_kernel | v0.14.0 | Monadic concurrency library |
async_parallel | v0.11.0 | Distributed computing library |
async_rpc_kernel | v0.14.0 | Platform-independent core of Async RPC library |
async_sendfile | v0.14.0 | Thin wrapper around [Linux_ext.sendfile] to send full files |
async_shell | v0.14.0 | Shell helpers for Async |
async_smtp | v0.14.0 | SMTP client and server |
async_ssl | v0.14.0 | An Async-pipe-based interface with OpenSSL |
async_udp | v0.14.0 | Monadic concurrency library |
async_unix | v0.14.0 | Monadic concurrency library |
async_websocket | v0.14.0 | A library that implements the websocket protocol on top of Async |
atd | 2.2.1 | Parser for the ATD data format description language |
atd2cconv | 0.0.0 | Convert ATD definitions to OCaml code that uses the CConv 0.1 library |
atdgen | 2.2.1 | Generates efficient JSON serializers, deserializers and validators |
atdgen-codec-runtime | 2.2.1 | Runtime for atdgen generated bucklescript converters |
atdgen-runtime | 2.2.1 | Runtime library for code generated by atdgen |
atdj | 20151001.01.2 | Java code generation for ATD. |
atds | 2.2.1 | ATD Code generator for Scala |
augeas | 0.6 | Bindings to the Augeas configuration editing tool |
avroc | 0.0.1 | Read and write Apache Avro files |
aws | 1.0.2 | Amazon Web Services SDK |
aws-autoscaling | 0.1.0 | Auto Scaling |
aws-cloudformation | 0.1.0 | AWS CloudFormation |
aws-cloudtrail | 0.1.0 | AWS CloudTrail |
aws-ec2 | 0.1.0 | Amazon Elastic Compute Cloud |
aws-elasticloadbalancing | 0.1.0 | Elastic Load Balancing |
aws-s3 | 4.5.1 | Ocaml library for accessing Amazon S3 |
aws-s3-async | 4.5.1 | Ocaml library for accessing Amazon S3 - Async version |
aws-s3-lwt | 4.5.1 | Ocaml library for accessing Amazon S3 - Lwt version |
aws-sdb | 0.1.0 | Amazon SimpleDB |
aws-ssm | 0.1.0 | Amazon Simple Systems Management Service |
aws-sts | 0.1.0 | AWS Security Token Service |
azblob | 0.1.0 | A trivial Azure Blob Storage interface for OCaml |
azblob-async | 0.1.0 | A trivial Azure Blob Storage interface for OCaml |
azure-cosmos-db | 0.1.3 | Azure cosmos db interface |
b0 | 0.0.1 | Software construction and deployment kitdev org:erratique org:b0-system build |
baardskeerder | 0.5.2 | Baardskeerder is an append-only B-ish tree. |
balancer | 1.0 | A collection of load balancing algorithms implemented in pure Ocamlnetworking load balancing scalability |
bamboo | 0.0.03 | A compiler targeting Ethereum Virtual Machine |
bap | 2.1.0 | Binary Analysis Platform |
bap-abi | 2.1.0 | BAP ABI integration subsystem |
bap-api | 2.1.0 | A pass that adds parameters to subroutines based on known API |
bap-arm | 2.1.0 | BAP ARM lifter and disassembler |
bap-beagle | 2.1.0 | BAP obfuscated string solver |
bap-bil | 2.1.0 | Controls the BIL transformation pipeline |
bap-build | 2.1.0 | BAP build automation tools |
bap-bundle | 2.1.0 | BAP bundler |
bap-byteweight | 2.1.0 | BAP facility for indentifying code entry points |
bap-byteweight-frontend | 2.1.0 | BAP Toolkit for training and controlling Byteweight algorithm |
bap-c | 2.1.0 | A C language support library for BAP |
bap-cache | 2.1.0 | BAP caching service |
bap-callsites | 2.1.0 | Inject data definition terms at callsites |
bap-constant-tracker | 2.1.0 | Constant Tracking Analysis based on Primus |
bap-core-theory | 2.1.0 | BAP Semantics Representation |
bap-cxxfilt | 2.1.0 | A demangler that relies on a c++filt utility |
bap-dead-code-elimination | 1.4.0 | A BAP plugin that removes dead IR code |
bap-demangle | 2.1.0 | Library for name demangling |
bap-disassemble | 2.1.0 | Implements the disassembler command |
bap-dump-symbols | 2.1.0 | BAP plugin that dumps symbols information from a binary |
bap-dwarf | 2.1.0 | BAP DWARF parsing library |
bap-elementary | 2.1.0 | BAP floating point approximations of elementary functions |
bap-elf | 2.1.0 | BAP ELF parser and loader written in native OCaml |
bap-emacs-dot | 0.1 | Will automatically detect graph specifications in a dot syntax and display them using overlaying |
bap-emacs-goodies | 0.1 | A collection of useful Emacs tools for BAP |
bap-emacs-mode | 0.1 | Emacs major mode for reading and analyzing programs in BAP's IR |
bap-frames | 2.1.2 | A data format for storing execution traces |
bap-frontc | 2.1.0 | A C language frontend for based on FrontC library |
bap-frontend | 2.1.0 | BAP frontend |
bap-fsi-benchmark | 1.6.0 | BAP function start identification benchmark game |
bap-future | 2.1.0 | A library for asynchronous values |
bap-glibc-runtime | 2.1.0 | Adds support for the glibc runtime |
bap-ida | 2.1.0 | An IDA Pro integration library |
bap-ida-plugin | 2.1.0 | Plugins for IDA and BAP integration |
bap-ida-python | 2.1.0 | A BAP - IDA Pro integration library |
bap-knowledge | 2.1.0 | Knowledge Representation Library |
bap-llvm | 2.1.0 | BAP LLVM backend |
bap-main | 2.1.0 | Build BAP Main Framework Configuration Library |
bap-mc | 2.1.0 | BAP machine instruction playground |
bap-microx | 2.1.0 | A micro execution framework |
bap-mips | 2.1.0 | BAP MIPS lifter |
bap-objdump | 2.1.0 | Extract symbols from binary, using binutils objdump |
bap-optimization | 2.1.0 | A BAP plugin that removes dead IR code |
bap-phoenix | 2.1.0 | BAP plugin that dumps information in a phoenix decompiler format |
bap-piqi | 2.1.0 | BAP plugin for serialization based on piqi library |
bap-plugins | 2.1.0 | BAP plugins support library |
bap-powerpc | 2.1.0 | BAP PowerPC lifter |
bap-primus | 2.1.0 | The BAP Microexecution Framework |
bap-primus-dictionary | 2.1.0 | BAP Primus Lisp library that provides dictionaries |
bap-primus-lisp | 2.1.0 | BAP Primus Lisp Runtime |
bap-primus-powerpc | 2.1.0 | Performs the PowerPC target specific setup |
bap-primus-random | 2.1.0 | Provides components for Primus state randomization |
bap-primus-region | 2.1.0 | Provides a set of operations to store and manipulate interval trees |
bap-primus-support | 2.1.0 | Provides supporting components for Primus |
bap-primus-symbolic-executor | 2.1.0 | Primus Symbolic Executor |
bap-primus-systems | 2.1.0 | Loads Primus systems and registers them in the system repository |
bap-primus-test | 2.1.0 | BAP Primus Testing and Program Verification module |
bap-primus-x86 | 2.1.0 | The x86 CPU support package for BAP Primus CPU emulator |
bap-print | 2.1.0 | Print plugin - print project in various formats |
bap-raw | 2.1.0 | Provides a loader for raw binaries |
bap-recipe | 2.1.0 | Stores command line parameters and resources in a single file |
bap-recipe-command | 2.1.0 | Provides commands to manipulate the recipe subsystem |
bap-relocatable | 2.1.0 | Provides a brancher service for BAP that handles certain relocations |
bap-report | 2.1.0 | A BAP plugin that reports program status |
bap-run | 2.1.0 | A BAP plugin that executes a binary |
bap-saluki | bap-1.6 | A verification framework for detecting vulnerability patterns in binaries |
bap-server | 0.3.0 | BAP RPC server |
bap-signatures | 2.1.0 | A data package with binary signatures for bap |
bap-ssa | 2.1.0 | A BAP plugin, that translates a program into the SSA form |
bap-std | 2.1.0 | The Binary Analysis Platform Standard Library |
bap-strings | 2.1.0 | Text utilities useful in Binary Analysis and Reverse Engineering |
bap-stub-resolver | 2.1.0 | Substitutes calls to stubs with calls to real functions |
bap-symbol-reader | 2.1.0 | BAP plugin that reads symbol information from files |
bap-taint | 2.1.0 | BAP Taint Analysis Framework |
bap-taint-propagator | 2.1.0 | BAP Taint propagation engine using based on microexecution |
bap-term-mapper | 2.1.0 | A BAP DSL for mapping program terms |
bap-trace | 2.1.0 | A plugin to load and run program execution traces |
bap-traces | 2.1.0 | BAP Library for loading and parsing execution traces |
bap-trivial-condition-form | 2.1.0 | Eliminates complex conditionals in branches |
bap-veri | 0.2.5 | BAP Instruction Semantics Verification Tool |
bap-warn-unused | 2.1.0 | Emit a warning if an unused result may cause a bug or security issue |
bap-x86 | 2.1.0 | BAP x86 lifter |
bare | 2.1.0 | BAP Rule Engine Library |
bark | 0.1.4 | Unofficial OCaml port of elm/parser (v1.1.0) |
base | v0.14.0 | Full standard library replacement for OCaml |
base-bigarray | base | |
base-bytes | base | Bytes library distributed with the OCaml compiler |
base-implicits | base | Dummy base package for compilers with modular implicits support. |
base-metaocaml-ocamlfind | base | Findlib toolchain configuration for MetaOCaml |
base-native-int63 | 0.1 | Virtual package for enabling native int63 support in Base |
base-no-ppx | base | A pseudo-library to indicate lack of extension points support |
base-num | base | Num library distributed with the OCaml compiler |
base-ocamlbuild | base | OCamlbuild binary and libraries distributed with the OCaml compiler |
base-threads | base | |
base-unix | base | |
base-unsafe-string | base | A pseudo-library to indicate OCaml versions that equate 'string' and 'bytes' (by default) |
base58 | 0.1.2 | Base58 encoding and decoding |
base64 | 3.4.0 | Base64 encoding for OCaml |
base_bigstring | v0.14.0 | String type based on [Bigarray], for use in I/O and C-bindings |
base_quickcheck | v0.14.0 | Randomized testing framework, designed for compatibility with Base |
bastet | 1.2.5 | A ReasonML/OCaml library for category theory and abstract algebracategory theory abstract algebra algebra cats |
bastet_async | 0.1.0 | Async implementations for bastetcategory theory abstract algebra algebra cats async |
bastet_lwt | 0.1.0 | Lwt implementations for bastetcategory theory abstract algebra algebra cats lwt |
batch_jaro_winkler | 0.1.0 | Fast batch jaro winkler distance implementation in C99 |
batsat | 0.4 | OCaml bindings for batsat, a SAT solver in rustminisat solver SAT |
batsh | 0.0.6 | A (C-like syntax) programming language that compiles to Bash and Windows Batch. |
batteries | 3.1.0 | A community-maintained standard library extension |
bau | 0.0.4 | Bigarray utilities |
bdd | 0.3 | Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml |
bddapron | 2.3.3 | Logico-numerical domain(s) based on BDDs and APRON |
bear | 0.0.1 | Bare essential additions to the stdlib |
bech32 | 0.1 | Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)bitcoin |
beluga | 0.8.2 | A Language for programming and reasoning using Higher-Order Abstract Syntax |
bench | 1.3 | A benchmarking tool for statistically valid benchmarks |
benchmark | 1.6 | Benchmark running times of codebenchmark |
benchpress | 0.1 | Tool to run one or more logic programs, on a set of files, and collect the results |
benchpress-server | 0.1 | Server and web UI for benchpress |
bencode | 2.0 | Bencode (`.torrent` file format) reader/writer in OCaml |
bentov | 1 | 1D histogram sketching |
bes | 0.9.4.2 | boolean expression simplifier |
BetterErrors | 0.0.1 | Better compiler error output.syntax |
bheap | 2.0.0 | Priority queues |
bibtex2html | 1.99 | BibTeX to HTML translator |
bigarray-compat | 1.0.0 | Compatibility library to use Stdlib.Bigarray when possible |
bigarray-overlap | 0.2.0 | Bigarray.overlap |
bigbro | 2.0.4-rev3 | Management tool for hypertext (HTML) documents |
bignum | v0.14.0 | Core-flavoured wrapper around zarith's arbitrary-precision rationals |
bigstring | 0.3 | A set of utils for dealing with `bigarrays` of `char`bigstring bigarray |
bigstring-unix | 0.3 | I/O functions for bigstrings using file descriptors and memory-mapsbigstring bigarray |
bigstringaf | 0.6.1 | Bigstring intrinsics and fast blits based on memcpy/memmove |
bimage | 0.2.1 | A simple, efficient image-processing libraryimage processing |
bimage-gtk | 0.2.1 | Bimage_gtk allows images to be displayed in GTK windowsimage processing gtk |
bimage-sdl | 0.2.1 | Bimage_gtk allows images to be displayed using SDLimage processing sdl |
bimage-unix | 0.2.1 | Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_imageimage processing |
bin_prot | v0.14.0 | A binary protocol generator |
binaryen | 0.3.0 | OCaml bindings for Binaryen |
binbin | 0.01 | Convenient and human-readable bitmap manipulation. |
bindlib | 5.0.1 | OCaml Bindlib library for bound variables |
biniou | 1.2.1 | Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve |
binsec | 0.3 | Semantic analysis of binary executablesbinary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly |
biocaml | 0.11.1 | The OCaml Bioinformatics Library |
bip32 | 0.2 | Hierarchical Deterministic Wallets |
bisect | 1.3.1 | Code coverage tool for the OCaml language (deprecated) |
bisect-summary | 0.3 | bisect-summary - simple analysis of coverage data created by bisect-ppx |
bisect_ppx | 2.4.1 | Code coverage for OCaml |
bisect_ppx-ocamlbuild | 1.0.1 | Ocamlbuild plugin for Bisect_ppx, the coverage tool |
bistro | 0.5.0 | A library to build and run distributed scientific workflows |
bitcoin | 2.0 | Library offering an OCaml interface to the official Bitcoin client API |
bitcoinml | 0.4.1 | Bitcoin data-structures library for OCaml |
bitlib | 1.0 | A library for writing binary files |
bitmasks | 1.3.0 | BitMasks over int and int64 exposed as sets |
bitstring | 4.0.0 | Bitstrings and bitstring matching for OCaml |
bitv | 1.4 | A bit vector library for OCaml |
bitvec | 2.1.0 | Fixed-size bitvectors and modular arithmetic, based on Zarith |
bitvec-binprot | 2.1.0 | Janestreet's Binprot serialization for Bitvec |
bitvec-order | 2.1.0 | Base style comparators and orders for Bitvec |
bitvec-sexp | 2.1.0 | Sexp serializers for Bitvec |
bjack | 0.1.5 | Bindings for the Jack library which provides functions for linking audio programs |
blahcaml | 2.1 | Blahcaml provides basic OCaml bindings to the Blahtex library. |
blake2 | 0.3 | Blake2 cryptography |
bloomf | 0.1.0 | Efficient Bloom filters for OCaml |
bn128 | 0.1.3 | Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML |
bnfgen | 2.0 | Random text generator that takes context-free grammars from BNF files |
bogue | 20200630 | GUI library for ocaml, with animations, based on SDL2 |
bolt | 1.4 | Bolt is an OCaml Logging Tool |
bonsai | v0.14.0 | A library for building dynamic webapps, using Js_of_ocaml |
bookaml | 4.0 | Library for retrieving information about published books |
boomerang | 1.1.0 | The Boomerang Language |
bos | 0.2.0 | Basic OS interaction for OCamlos system cli command file path log unix org:erratique |
bpf | 0.2 | Embedded eBPF assemblerorg:ygrek |
bracetax | 0.4 | Simple and deterministic text processing syntax |
broken | 0.4.2 | The Broken package is a simple testsuite framework.test unit application |
brotli | 2.0.3 | Bindings to Google's Brotli compresion algorithmclib:stdc clib:brotli |
brozip | 1.1 | CLI to concurrently compress, decompress files using the Brotli algorithm |
bsbnative | 1.9.4 | bsb-native is BuckleScript's bsb but for ocamlc and ocamloptocaml bucklescript stdlib functional programming |
bsdowl | 3.0.0-20150830 | This collection of BSD Make directives aims at providing a highlybsd bmake build |
bson | 0.89.3 | A bson data structure, including encoding/decoding |
bson2 | 0.0.1 | Bson format encoding/decoding for Ocaml |
bst | 7.0.0 | Bisector tree implementation in OCaml |
bt | 0.2 | BitTorrent library and client using Lwt |
buffer-pool | 0.2 | A pool of buffers which automatically increases in size as required |
build_path_prefix_map | 0.2 | An OCaml implementation of the BUILD_PATH_PREFIX_MAP specification |
bulletml | 0.2.0 | Library to manipulate shmup patterns |
bun | 0.3.3 | Simple management of afl-fuzz processes |
bwrap | 0.1 | Use Bubblewrap to sandbox executablessandbox bubblewrap |
bytearray | 1.0.1 | Efficient marshaling to and from bigarrays |
bytepdf | 0.1 | Tool to create PDFs that are also OCaml bytecodes |
c3 | 0.4.0 | OCaml bindings for the Javascript c3 charting library. |
cache | 1.0 | Implements a caching service for storing arbitrary strings that can be located by string keys |
cairo | 1.2.0 | Binding to Cairo, a 2D Vector Graphics Library |
cairo2 | 0.6.1 | Binding to Cairo, a 2D Vector Graphics LibraryCairo stroke drawing tutorial |
cairo2-gtk | 0.6.1 | Rendering Cairo on Gtk2 canvasCairo stroke drawing tutorial |
cairo2-pango | 0.6.1 | Interface between Cairo and Pango (for Gtk2)Cairo stroke drawing tutorial |
calculon | 0.6 | Library for writing IRC bots in OCaml and a collection of pluginsirc bot factoids |
calculon-redis | 0.6 | A redis plugin for Calculonirc bot redis |
calculon-redis-lib | 0.6 | A library to interact with Calculon via Redisirc bot redis |
calculon-web | 0.6 | A collection of web plugins for Calculonirc bot factoids |
calendar | 2.04 | Library for handling dates and times in your program |
calendars | 1.0.0 | Convert dates between gregorian/julian/french/hebrew calendars |
callipyge | 0.2 | Pure OCaml implementation of Curve25519. |
camelot | 1.4.3 | An OCaml Linter / Style Checker |
camels | 0.0.4 | A game about camelsgame |
camelsnakekebab | 0.4 | A Ocaml library for word case conversion |
caml-mode | 4.06 | OCaml code editing commands for Emacs |
caml2html | 1.4.4 | Produce ready-to-go HTML files |
camlbz2 | 0.6.0 | Bindings for bzip2 |
Camldiets | 0.2 | A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order. |
camldm | 0.1.0 | Bindings for Linux libdevicemapper |
CamlGI | 0.6 | FastCGI and CGI library |
camlgpc | 1.0 | Interface to Alan Murta's General Polygon Clipper |
camlhighlight | 5.0 | Camlhighlight provides syntax highlighting facilities for OCaml applications. |
camlidl | 1.09 | Stub code generator for OCaml |
camlimages | 5.0.3 | Image processing library |
camllib | 1.3.2 | Utility Library (including various datatypes) |
camlmix | 1.3.0 | Camlmix is a generic preprocessor which converts text with embedded |
camlon | 3.0.0 | Caml Object Notion, parsing and printing OCaml like data expressions |
camlp4 | 4.11+system | Camlp4 is a system for writing extensible parsers for programming languages |
camlp5 | 8.00~alpha04 | Preprocessor-pretty-printer of OCaml |
camlpdf | 2.3 | Read, write and modify PDF files |
camlprime | 0.5 | Primality testing with lazy lists of prime numbers |
camltc | 0.9.8 | OCaml bindings for tokyo cabinet |
camltemplate | 1.0.2 | Library for generating text from templates |
camlzip | 1.10 | Provides easy access to compressed files in ZIP, GZIP and JAR format |
camomile | 1.0.2 | A Unicode library |
capnp | 3.4.0 | OCaml code generation plugin for the Cap'n Proto serialization framework |
capnp-rpc | 0.8.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
capnp-rpc-lwt | 0.8.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
capnp-rpc-mirage | 0.8.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
capnp-rpc-net | 0.8.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
capnp-rpc-unix | 0.8.0 | Cap'n Proto is a capability-based RPC system with bindings for many languages |
captureio | 0.1.2 | Capture output to Stderr and Stdout |
caqti | 1.2.3 | Unified interface to relational database libraries |
caqti-async | 1.2.2 | Async support for Caqti |
caqti-driver-mariadb | 1.2.3 | MariaDB driver for Caqti using C bindings |
caqti-driver-postgresql | 1.2.4 | PostgreSQL driver for Caqti based on C bindings |
caqti-driver-sqlite3 | 1.2.3 | Sqlite3 driver for Caqti using C bindings |
caqti-dynload | 1.2.0 | Dynamic linking of Caqti drivers using findlib.dynload |
caqti-lwt | 1.2.0 | Lwt support for Caqti |
caqti-type-calendar | 1.2.0 | Date and time field types using the calendar library |
caradoc | 0.3 | parser and validator of PDF files |
caravan | 0.0.2 | A framework for testing arbitrary systems, in OCaml. |
cbat-explicit-edge | 0.1 | VSA-based CFG edge reconstruction made in bap ecosystem |
cbat-tools | 0.1 | Program analysis tools developed at Draper on the CBAT project |
cbat-vsa | 0.1 | Value set analysis made in bap ecosystem |
cbor | 0.3 | CBOR encoder/decoder (RFC 7049) - native OCaml implementationorg:ygrek |
cconv | 0.5 | Combinators for Type Conversion in OCamlconversion gadt serialization |
cconv-ppx | 0.5 | Combinators for Type Conversion in OCamlconversion gadt serialization ppx-deriving |
ccss | 1.6 | CCSS is a preprocessor for CSS, extending the language with arithmetic operations and variables. |
cdrom | 0.9.3 | Query the state and contents of CDROM devices under Linux.org:xapi-project |
cduce | 0.5.5 | Modern XML-oriented functional language with innovative features |
cduce_ws | 0.1 | Library fo Web Services creation |
certify | 0.3.2 | CLI utilities for simple X509 certificate manipulationorg:mirage |
cfg | 2.2.1 | CFG - Context-Free Grammars |
cfgen | 1.0 | This package was renamed to bnfgen. |
cfstream | 1.3.1 | Stream operations in the style of Core's API |
cgi | 0.10 | Library for writing CGIs |
cgroups | 0.1 | An OCaml interface for the Linux control groupscgroups |
chacha | 1.0.0 | The Chacha functions, in OCaml |
chalk | 1.0 | Composable and simple terminal highlighting package |
chamo | 2.03 | A source code editor, even if it can be used to edit any text file.editor development ide |
channel | 1.1.1 | MirageOS channelsorg:mirage |
charInfo_width | 1.1.0 | Determine column width for a character |
charrua | 1.2.2 | DHCP wire frame encoder and decoder |
charrua-client | 1.2.2 | DHCP client implementationorg:mirage |
charrua-client-lwt | 1.2.2 | A DHCP client using lwt as effectful layerorg:mirage |
charrua-client-mirage | 1.2.2 | A DHCP client for MirageOSorg:mirage |
charrua-core | 0.12.0 | DHCP wire frame encoder and decoder |
charrua-server | 1.2.2 | DHCP server |
charrua-unix | 1.2.2 | Unix DHCP daemon |
chartjs | 0.2.2 | OCaml bindings for Chart.js |
chartjs-annotation | 0.2.2 | OCaml bindigns for Chart.js annotation plugin |
chartjs-colorschemes | 0.2.2 | OCaml bindigns for Chart.js colorschemes plugin |
chartjs-datalabels | 0.2.2 | OCaml bindigns for Chart.js datalabels plugin |
chartjs-streaming | 0.2.2 | OCaml bindings for Chart.js streaming plugin |
chase | 1.3 | Model finder for geometric theories using the chase |
checkseum | 0.2.1 | Adler-32, CRC32 and CRC32-C implementation in C and OCaml |
choice | 0.4 | Choice monad, for easy backtracking |
cil | 1.7.3 | A front-end for the C programming language that facilitates program analysis and transformation |
cinaps | v0.14.0 | Trivial metaprogramming tool |
clangml | 4.2.0 | OCaml bindings for Clang API |
clangml-transforms | 0.26 | Code transformers for clangml |
clarity | 0.4.0 | Functional programming library |
cloudi | 2.0.0 | OCaml CloudI API |
cmark | 0.2.0 | OCaml bindings for the CMark Common Markdown parsing and rendering library. |
cmarker | 0.3.0 | Bindings for a local installation of CMark |
cmdliner | 1.0.4 | Declarative definition of command line interfaces for OCamlcli system declarative org:erratique |
cmdtui | 0.4.3 | Interactive command completion and execution for building REPLs |
cmdtui-lambda-term | 0.4.3 | Interactive command completion and execution for building REPLs |
cmitomli | 1.0.0 | Converts compiled interface files (.cmi) into source interface files (.mli) |
coccinelle | 1.0.8 | Coccinelle is a C source code matching and transformation engine |
coclobas | 0.0.2 | Coclobas is a scheduler for HPC-like jobs accessible through HTTP |
codept | 0.10.3 | Alternative ocaml dependency analyzer |
cohttp | 2.5.4 | An OCaml library for HTTP clients and serversorg:mirage org:xapi-project |
cohttp-async | 2.5.4 | CoHTTP implementation for the Async concurrency libraryorg:mirage org:xapi-project |
cohttp-lwt | 2.5.4 | CoHTTP implementation using the Lwt concurrency libraryorg:mirage org:xapi-project |
cohttp-lwt-jsoo | 2.5.4 | CoHTTP implementation for the Js_of_ocaml JavaScript compilerorg:mirage org:xapi-project |
cohttp-lwt-unix | 2.5.4 | CoHTTP implementation for Unix and Windows using Lwtorg:mirage org:xapi-project |
cohttp-mirage | 2.5.4 | CoHTTP implementation for the MirageOS unikernelorg:mirage org:xapi-project |
cohttp-top | 2.5.4 | CoHTTP toplevel pretty printers for HTTP typesorg:mirage org:xapi-project |
coin | 0.1.3 | Mapper of KOI8-{U,R} to Unicode |
coinst | 1.9.1 | Coinst tool suite to perform analysis on package repositories. |
colombe | 0.3.0 | SMTP protocol in OCaml |
color | 0.2.0 | |
color-brewery | 0.1 | Offer colors palettes and functions to brew colors |
combinat | 1.0 | Fast combinatorics functions for OCaml. |
combine | 0.55 | Combine is a library for combinatorics problem solving. |
command_rpc | v0.14.0 | Utilities for Versioned RPC communication with a child process over stdin and stdout |
commonjs_of_ocaml | 0.1.0 | Import and export CommonJS modules in js_of_ocaml |
comparelib | 113.00.00 | Part of Jane Street’s Core library |
conduit | 2.1.0 | A network connection establishment libraryorg:mirage |
conduit-async | 2.1.0 | A network connection establishment library for Asyncorg:mirage |
conduit-lwt | 2.1.0 | A portable network connection establishment library using Lwtorg:mirage |
conduit-lwt-unix | 2.2.2 | A network connection establishment library for Lwt_unixorg:mirage |
conduit-mirage | 2.2.1 | A network connection establishment library for MirageOSorg:mirage |
conex | 0.11.1 | Establishing trust in community repositories |
conex-mirage-crypto | 0.11.1 | Establishing trust in community repositories: crypto provided via mirage-crypto |
conex-nocrypto | 0.11.0 | Establishing trust in community repositories: crypto provided via nocrypto |
conf-aclocal | 1.0.0 | Virtual package relying on aclocal |
conf-autoconf | 0.1 | Virtual package relying on autoconf installation |
conf-bap-llvm | 1.6 | Checks that supported version of LLVM is installed |
conf-binutils | 0.3 | Checks that binutils are installed |
conf-blas | 1 | Virtual package for BLAS configuration |
conf-bluetooth | 1 | Virtual package for Bluetooth library |
conf-bmake | 1.0 | Virtual package relying on a BSD Make compatible program |
conf-boost | 1 | Virtual package relying on boost |
conf-brotli | 0.0.1 | Virtual package relying on a brotli system installation |
conf-cairo | 1 | Virtual package relying on a Cairo system installation |
conf-capnproto | 0 |