Showing entries 501-600 out of 1036.
OCaml interface to GTK 3
OCaml interface to GTK 3
OCaml interface to Gnome rsvg2 library
OCaml interface to GTK 3
OCaml interface to Tcl/Tk, including OCaml library explorer OCamlBrowser
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
Simple Profiling Library for OCaml
Preprocessor instrumenting code using the landmarks library
OCaml API to lastfm radio and audioscrobbler
Tool for lightweight executable mathematics
Functional lenses
ACME implementation in OCaml
ACME client implementation of the ACME protocol (RFC 8555) for OCaml
DNS solver for the ACME implementation in OCaml
ACME implementation in OCaml for MirageOS
OCaml library for creating and sending emails over SMTP using LWT
Raw definitions and bindings to platforms system libraries
OCaml bindings for lilv
OCaml bindings to linenoise
Formalisation of substantial parts of ELF linking and DWARF debug information
LSP server library
LSP server library (with Eio for concurrency)
LSP server library (with Lwt for concurrency)
Bindings for LO library
Logging infrastructure for OCaml
Logs reporter to syslog (UDP/TCP/TLS)
Lreplay plugin of Frama-C, part of the LTest suite
Scalable LRU caches for OCaml
LSP protocol implementation in OCaml
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
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
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
OCaml bindings for MariaDB
Markdown parser and printer
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
Memory limits, allocation limits, and thread cancellation for OCaml
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