ocamlPackages

Optics in OCaml

Lustre V6 compiler

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)

Binding to libuv: cross-platform asynchronous I/O

Lightweight reactive documents

Cooperative threads library for OCaml

Cancellation synchronization object

Mutable doubly-linked list with Lwt iterators

Opinionated clean-exit and signal-handling library for Lwt programs

One-to-many broadcast in Lwt

Camlp4 syntax extension for Lwt (deprecated)

Use Lwt libraries from within Eio

Lwt logging library (deprecated)

Ppx syntax extension for Lwt

Helpers for using React with Lwt

OpenSSL binding with concurrent I/O

Library for manipulation of MAC address representations

Library for manipulation of MAC address representations using Cstructs

Library for manipulation of MAC address representations using sexp

Bindings for the mad library which provides functions for encoding wave audio files into mp3

Convert file extensions to MIME types

Collects and displays high-resolution traces of what a process is doing

Man-in-the-middle debugging library

OCaml bindings for MariaDB

Pair of best-effort parsers implementing the HTML5 and XML specifications

Library providing a multi criteria CUDF solver, part of MANCOOSI project

Executable OCaml code blocks inside markdown files

Mec - Mini Elliptic Curve library

Toolchain to produce JS from Reason/OCaml

Compositional JSON encode/decode library and PPX for Melange and OCaml

Compositional JSON encode/decode PPX for OCaml

Cross-platform memory usage information

Streaming client for OCaml's Memprof

LR(1) parser generator for OCaml

Runtime support library for parsers generated by Menhir

Compile-time library for auxiliary tools related to Menhir

Editor-independent tool to ease the development of programs in OCaml

SDK to extend Merlin

Merlin’s libraries

Library to read metadata from files in various formats

Metrics infrastructure for OCaml

Influx reporter for the Metrics library

Lwt backend for the Metrics library

Resource usage (getrusage) sources for the Metrics library

Unix backend for the Metrics library

Modal Editing Witch

Modal Editing Witch, VI interpreter

Composable stacked functions, which can respond to inner calls

Simple protocol dispatcher

Happy-eyeballs integration into mimic

Simple bindings to Minisat-C

Fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleT…

Composable concurrency primitives for OCaml

MirageOS library operating system

Block signatures and implementations for MirageOS

Block signatures and implementations for MirageOS using Lwt

In-memory BLOCK device for MirageOS

MirageOS disk block driver for Unix

Unix implementation of MirageOS Bootvar interface

Handle boot-time arguments for Xen platform

Libraries and module types for portable clocks

Paravirtual implementation of the MirageOS Clock interface

Unix-based implementation for the MirageOS Clock interface

Implementations of Mirage console devices

Simple symmetric cryptography for the modern age

Elliptic Curve Cryptography with primitives taken from Fiat

Simple public-key cryptography for the modern age

Cryptographically secure PRNG

Feed the entropy source in an miou.unix-friendly way

Entropy collection for a cryptographically secure PRNG

Abstract devices for MirageOS

Flow implementations and combinators for MirageOS

Flow implementations and combinators for MirageOS specialized to lwt

Flow implementations and combinators for MirageOS on Unix

MirageOS signatures for key/value devices

Reporter for the Logs library that writes log messages to stderr, using a Mirage CLOCK to add time…

Monotonic time for MirageOS

Mirage-nat is a library for network address translation to be used with MirageOS

Network signatures for MirageOS

Network device for reading and writing Ethernet frames via then Xen netfront/netback protocol

Collect runtime profiling information in CTF format

MirageOS signatures for network protocols

A POSIX clock for MirageOS

Random signatures for MirageOS

Stub random device implementation for testing

Base MirageOS runtime library, part of every MirageOS unikernel

Sleep operations for MirageOS

Time operations for MirageOS

Time operations for MirageOS on Unix

Unix core platform libraries for MirageOS

Virtual network interface and software switch for Mirage

Xen core platform libraries for MirageOS

A not-quite-so-simple Binary Decision Diagrams implementation for OCaml

Another Emacs Org-mode and Markdown parser

OCaml interface to the GMP library

OCaml syntax dialect which adds JSX syntax expressions

High-level library to create and manipulate multimedia streams

Function for mapping files in memory

Facilities for testing an OCaml library

A Modular and Open Platform for Static Analysis using Abstract Interpretation