OCaml packages
500 in Packages and libraries, most used first. Page 3 of 3.
-
mirage-btrees An implementation of BTrees designed for use with MirageOS's BLOCK interface - ocaml-src Compiler sources
- gospel A tool-agnostic formal specification language for OCaml
- bark Unofficial OCaml port of elm/parser (v1.1.0)
- osx-keychain Typed OCaml bindings to the macOS Keychain
- gettext Internationalization library (i18n)
- yaml Parse and generate YAML 1.1/1.2 files
- tofn Typed ordered fuzzy numbers
- mirage-clock-xen A Mirage-compatible Clock library for Xen
- rocq-runtime The Rocq Prover -- Core Binaries and Tools
- ocaml-gist A tool to create online OCaml gist experiences for the web
- opam-custom-install An opam plugin to install a package using a custom command
- horned_worm An easy functional Web app micro framework
- cosovo An OCaml library parsing CSV files
- plato Python Library Adapted To OCaml
- pf-qubes QubesOS firewall ruleset handling library
- conf-rust-wasm Virtual package relying on an installation of standard Rust libraries including development files, needed to cross-compile Rust programs…
- restricted Limit which system operations and which parts of the filesystem your program can access
- rocq-devtools Development tools for Rocq
- rocq-core The Rocq Prover with its prelude
- mpris-clients Client implementations of the MPRIS D-Bus media player interface
- tezos-protocol-020-PsParisC Tezos protocol 020-PsParisC package
- octez-smart-rollup-node-PtParisB Protocol specific (for 019-PtParisB) library for smart rollup node
- incr_select Handling of large set of incremental outputs from a single input
- tallgeese Enhanced SSH on OS X
- htmlfromtexbooks From TeX To Human-Readable HTML
- conf-gtksourceview3 Virtual package relying on a GtkSourceView-3 system installation
- decoders-msgpck Msgpck backend for decoders
- dune-rpc-lwt Communicate with dune using rpc and Lwt
- ppx_bsx ReasonReact JSX for OCaml
- base-implicits Dummy base package for compilers with modular implicits support.
- bigstring A set of utils for dealing with bigarrays of char
- promise Native implementation of a JS promise binding
- oxcaml Virtual package indicating dependency on OxCaml
- stdlib-diff Symmetric Diffs for OCaml stdlib and ReasonML
- opam-spin Opam plugin for Spin, the OCaml project generator
- adelfa Proof assistant for reasoning about LF specifications
- spin OCaml project generator
- quickterface Quick-to-program app interfaces in OCaml for terminal and web
- disml An OCaml library for interfacing with the Discord API
- stdint Signed and unsigned integer types having specified widths
- sys-socket Ctypes bindings to system-specific low-level socket structure and data-types
- bisect_ppx Code coverage for OCaml
- melange-fetch Fetch API support for Melange
- magic Bindings to libmagic
- xapi-rrd-transport Shared-memory protocols for exposing performance counters
- conf-pam Virtual package relying on a system installation of PAM
- dual Dual numbers library
- config-file A library used to manage configuration files
- cairo2-pango Interface between Cairo and Pango (for Gtk2)
- indentation_buffer A library for building strings with indentation
- ptmap Maps of integers implemented as Patricia trees
- solidity-parser The ocaml-solidity project
- pkcs11-driver Bindings to the PKCS#11 cryptographic API
- owl-opt Owl's Optimisation Module
- dune-ai-context Extract dune external dependencies and generate interface context for AI tools
- launchd Bindings for the launchd socket activation API
- tezos-benchmark Tezos: library for writing benchmarks and performing simple parameter inference
- tezos-accuser-014-PtKathma Tezos/Protocol: accuser binary
- tezos-client-sapling-011-PtHangz2 Tezos: sapling support for tezos-client
- tezos-009-PsFLoren-test-helpers Tezos/Protocol: protocol testing framework
- opam-ed Command-line edition tool for handling the opam file syntax
- ocplib-file A simple library to manage accesses to files
- conf-libpcre2-8 Virtual package relying on a libpcre2 system installation
- core_kernel Industrial strength alternative to OCaml's standard library
- core Industrial strength alternative to OCaml's standard library
- conf-zlib Virtual package relying on zlib
- conf-libinput Virtual package relying on a libinput system installation
- aws-cloudtrail Amazon Web Services SDK bindings to AWS CloudTrail
- conf-mbedtls Virtual package relying on an mbedtls system installation
- should Literate assertions
- brotli Bindings to Google's Brotli compresion algorithm
- spotlib Useful functions for OCaml programming used by @camlspotter
- passmaker Library for generating memorable passphrases
- yultracer A bounded safety checker for Yul
- dead_code_analyzer Dead code analyzer for OCaml
- nanosvg Simple SVG parser and rasterizer
- ppx_test A ppx replacement of pa_ounit
- tracy-client Client bindings to the Tracy profiler (v0.13)
- pa_ppx_string A Camlp5 PPX Rewriter for String Interpolation
- primes A small library for dealing with primes.
- GT Generic programming with extensible transformations
- memtrace-mirage Streaming client for Memprof using MirageOS API
- sexp_pretty S-expression pretty-printer
- uint Deprecated: An unsigned integer library
- mirage-clock-solo5 Paravirtual implementation of the MirageOS Clock interface
- conf-mingw-w64-freeglut-i686 Virtual package for FreeGLUT on i686 mingw-w64 (32-bit x86)
- conf-clang Virtual package relying on clang
- tezos-client-commands Tezos: protocol agnostic commands for tezos-client
- openrouter_api OCaml client for the OpenRouter API
- octez-protocol-004-Pt24m4xi-libs Octez protocol 004-Pt24m4xi libraries
- tezos-protocol-plugin-010-PtGRANAD Tezos/Protocol: protocol plugin
- tezos-protocol-plugin-015-PtLimaPt Tezos/Protocol: protocol plugin
- tezos-protocol-008-PtEdo2Zk Tezos protocol 008-PtEdo2Zk package
- tezos-embedded-protocol-013-PtJakart Tezos/Protocol: economic-protocol definition, embedded in octez-node
- tezos-protocol-alpha Tezos protocol alpha package
- tezos-baking-013-PtJakart-commands Tezos/Protocol: protocol-specific commands for baking
- octez-smart-rollup-client-PtMumbai Tezos/Protocol: Smart rollup client
- bastet An OCaml library for category theory and abstract algebra
- redis-sync Redis client (blocking)
Nothing on this page matches. Search all 85,062 technologies.