Showing entries 401-500 out of 938.
Fast implementation of queue in OCaml
OCaml library for exporting Kicad Sch files to SVG pictures
OCaml bindings for kqueue event notification interface
A library for using Kerberos for both Rpc and Tcp communication
OpenGL bindings for ocaml
An OCaml interface to GTK
OCaml interface to GTK 3
OCaml interface to GTK 3
OCaml interface to Gnome rsvg2 library
OCaml interface to GTK 3
OCaml bindings for BLAS and LAPACK
Bindings for the LADSPA API which provides audio effects
Terminal manipulation library for OCaml
Proof assistant based on the λΠ-calculus modulo rewriting
Functional HTML scraping and rewriting with CSS in OCaml
Bindings for the lame library which provides functions for encoding mp3 files
OCaml API to lastfm radio and audioscrobbler
A tool for lightweight executable mathematics
Functional lenses
ACME implementation in OCaml
An ACME client implementation of the ACME protocol (RFC 8555) for OCaml
A DNS solver for the ACME implementation in OCaml
ACME implementation in OCaml for MirageOS
OCaml bindings for lilv
OCaml bindings to linenoise
A formalisation of substantial parts of ELF linking and DWARF debug information
LSP server library
LSP server library (with Lwt for concurrency)
Bindings for LO library
Logging infrastructure for OCaml
Scalable LRU caches for OCaml
An LRU Cache implementation
LSP protocol implementation in OCaml
An embeddable Lua 2.5 interpreter implemented in OCaml
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
A cooperative threads library for OCaml
Cancellation synchronization object
Mutable doubly-linked list with Lwt iterators
An opinionated clean-exit and signal-handling library for Lwt programs
One-to-many broadcast in Lwt
Camlp4 syntax extension for Lwt (deprecated)
Lwt logging library (deprecated)
Ppx syntax extension for Lwt
Helpers for using React with Lwt
OpenSSL binding with concurrent I/O
A library for manipulation of MAC address representations
A library for manipulation of MAC address representations using Cstructs
A 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
A pair of best-effort parsers implementing the HTML5 and XML specifications
A library providing a multi criteria CUDF solver, part of MANCOOSI project
Executable OCaml code blocks inside markdown files
Mec - Mini Elliptic Curve library
Streaming client for OCaml's Memprof
A LR(1) parser generator for OCaml
Runtime support library for parsers generated by Menhir
Compile-time library for auxiliary tools related to Menhir
An 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
A simple protocol dispatcher
A happy-eyeballs integration into mimic
Simple bindings to Minisat-C
A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's Bubbl…
The 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
Buffered channels for MirageOS FLOW types
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
Implementation of Mirage consoles for Unix
Simple symmetric cryptography for the modern age
Elliptic Curve Cryptography with primitives taken from Fiat
Simple public-key cryptography for the modern age
A cryptographically secure PRNG
Feed the entropy source in an Async-friendly way
A cryptographically secure PRNG