Extra CreditOCaml packages
500 in Packages and libraries, most used first. Page 1 of 3.
-
dokeysto The dumb OCaml key-value store - travis-opam Scripts for OCaml projects
- noise An OCaml implementation of the Noise Protocol Framework (rev 34)
- solo5-bindings-spt Solo5 sandboxed execution environment (spt target)
- nunchaku A counter-example finder for higher-order logic, designed to be used from various proof assistants
- search Simple, in-memory search library in pure OCaml
- ppx_typed_fields GADT-based field accessors and utilities
- lpd A Line Printer Daemon (LPD) server library written entirely in OCaml.
- mnotty Declaring terminals with Miou
- pplumbing-pp-tty Build pretty printed documents for the user with [pp]
- zarr-eio Eio-aware API for Zarr
- sociaml-vcard vCard library for OCaml
- ppx_format Interpolate format strings
- dune-expand Tool to view ppx-expanded OCaml source files
- mirage-mtime Libraries and module types for a monotonic clock
- tezos-openapi Tezos: a library for querying RPCs and converting into the OpenAPI format
- octez-tx-rollup-node-PtLimaPt Tezos/Protocol: Transaction Rollup node binary
- tezos-embedded-protocol-010-PtGRANAD Tezos/Protocol: economic-protocol definition, embedded in `octez-node`
- octez-codec Tezos: `octez-codec` binary to encode and decode values
- tezos-protocol-007-PsDELPH1 Tezos protocol 007-PsDELPH1 package
- tezos-embedded-protocol-genesis Tezos/Protocol: genesis (economic-protocol definition, embedded in `octez-node`)
- tezos-rpc-http Tezos: library of auto-documented RPCs (http server and client)
- octez-smart-rollup-wasm-debugger-lib Tezos: Library used for the Smart Rollups' WASM debugger
- tezos-accuser-008-PtEdoTez Tezos/Protocol: accuser binary
- tezos-protocol-010-PtGRANAD Tezos protocol 010-PtGRANAD package
- tezos-mempool-008-PtEdoTez Tezos/Protocol: mempool-filters
- octez-accuser-PtNairob Tezos/Protocol: accuser binary
- octez-smart-rollup-wasm-debugger-plugin Plugin interface for the Octez Smart Rollup WASM Debugger
- octez-plompiler Library to write arithmetic circuits for Plonk
- octez-bls12-381-hash Implementation of some cryptographic hash primitives using the scalar field of BLS12-381
- tezt-performance-regression Performance regression test framework based on Tezt
- tezos-baker-007-PsDELPH1 Tezos/Protocol: baker binary
- octez Main virtual package for Octez, an implementation of Tezos
- tezos-protocol-plugin-013-PtJakart Tezos/Protocol: protocol plugin
- tezos-validator Tezos: `tezos-validator` binary for external validation of blocks
- tezos-client-012-Psithaca Tezos/Protocol: protocol specific library for `tezos-client`
- tezos-injector-alpha Tezos/Protocol: protocol specific library building injectors
- tezos-tx-rollup-node-alpha Tezos/Protocol: Transaction Rollup node binary
- octez-proxy-server Octez: `octez-proxy-server` binary
- tezos-protocol-environment-structs Tezos: restricted typing environment for the economic protocols
- octez-libs A package that contains multiple base libraries used by the Octez suite
- tezos-endorser-007-PsDELPH1 Tezos/Protocol: endorser binary
- tezos-protocol-002-PsYLVpVv Tezos protocol 002-PsYLVpVv package
- tezos-protocol-009-PsFLoren Tezos protocol 009-PsFLoren package
- tezos-baking-008-PtEdo2Zk Tezos/Protocol: base library for `tezos-baker/endorser/accuser`
- tezos-embedded-protocol-genesis-carthagenet Tezos/Protocol: genesis_carthagenet (economic-protocol definition, embedded in `tezos-node`)
- ppx_string_interpolation String interpolation PPX preprocessor
- ffmpeg-avutil Bindings for the ffmpeg avutil libraries
- sibylfs-lem SibylFS fork of Lightweight Executable Mathematics for large-scale semantics
- calculon Library for writing IRC bots in OCaml and a collection of plugins
- synchronizer Synchronizer
- mechaml A functional web scraping library
- styled-ppx Type-safe styled components for ReScript and Melange
- vsrocq-language-server VSRocq language server
- solo5-bindings-muen Solo5 sandboxed execution environment (muen target)
- solo5-bindings-xen Solo5 sandboxed execution environment (xen target)
- solo5-kernel-muen Solo5 sandboxed execution environment (muen target)
- tezos-client-010-PtGRANAD-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- ocamlsdl2-image Interface to the SDL2_image library
- orthologic-coq A plugin to add orthologic-based tactics to Coq
- unix-dirent ocaml-unix-dirent provides access to the features exposed in dirent.h
- ahrocksdb A binding to RocksDB
- channel MirageOS channels
- gitlab-unix GitLab APIv4 OCaml library
- loc Representing ranges of lexing positions from parsed files
- volgo-git-backend An IO-free library that parses the output of Git commands
- dump_ocamlformat Dump preset configuration files for ocamlformat
- mirage-bootvar-solo5 Solo5 implementation of MirageOS Bootvar interface
- proc-smaps Proc-smaps: An ocaml parser of /proc/[pid]/smaps
- note Declarative events and signals for OCaml
- farith Floating point numbers library extracted from the Flocq Coq Library
- conf-tcl Virtual package relying on tcl
- dbm Binding to the NDBM/GDBM Unix "databases"
- xapi-stdext-threads Xapi's standard library extension, Threads
- tezos-012-Psithaca-test-helpers Tezos/Protocol: protocol testing framework
- opam2web Tool to generate the opam.ocaml.org website
- octez-baker-PtParisB Tezos/Protocol: baker binary
- tezos-protocol-plugin-012-Psithaca Tezos/Protocol: protocol plugin
- octez-protocol-010-PtGRANAD-libs Octez protocol 010-PtGRANAD libraries
- tezos-embedded-protocol-005-PsBABY5H Tezos/Protocol: economic-protocol definition, embedded in `octez-node`
- tezos-test-services Tezos: Alcotest-based test services
- octez-tx-rollup-node-PtKathma Tezos/Protocol: Transaction Rollup node binary
- tezos-endorser-010-PtGRANAD Tezos/Protocol: endorser binary
- tezos-client-007-PsDELPH1 Tezos/Protocol: protocol specific library for `tezos-client`
- tezos-client-004-Pt24m4xi-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- tezos-client-genesis-carthagenet Tezos/Protocol: genesis (protocol-specific commands for `tezos-client`)
- tezos-protocol-plugin-017-PtNairob-registerer Tezos/Protocol: protocol plugin registerer
- octez-client Tezos: `octez-client` binary
- tezos-client-002-PsYLVpVv-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- tezos-tx-rollup-013-PtJakart Tezos/Protocol: protocol specific library for `tezos-tx-rollup`
- tezos-tx-rollup-client-013-PtJakart Tezos/Protocol: `tezos-tx-rollup-client-alpha` client binary
- tezos-client-009-PsFLoren Tezos/Protocol: protocol specific library for `tezos-client`
- tezos-smart-rollup-layer2-016-PtMumbai Tezos/Protocol: protocol specific library for `tezos-smart-rollup`
- tezos-lmdb Legacy Tezos OCaml binding to LMDB (Consider ocaml-lmdb instead)
- tezos-client-003-PsddFKi3-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- tezos-client-010-PtGRANAD-commands-registration Tezos/Protocol: protocol-specific commands for `tezos-client`
- tezos-embedded-protocol-011-PtHangz2 Tezos/Protocol: economic-protocol definition, embedded in `octez-node`
- tezos-protocol-plugin-012-Psithaca-tests Tezos/Protocol: protocol plugin tests
- tezos-client-alpha-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- tezos-protocol-plugin-013-PtJakart-registerer Tezos/Protocol: protocol plugin registerer
- tezos-client-005-PsBabyM1 Tezos/Protocol: protocol specific library for `tezos-client`
- tezos-client-005-PsBabyM1-commands Tezos/Protocol: protocol-specific commands for `tezos-client`
- obigstore Client/server + embeddable semi-structured database.
- tezos-tx-rollup-client-alpha Tezos/Protocol: `tezos-tx-rollup-client-alpha` client binary
- tezos-protocol-plugin-011-PtHangz2 Tezos/Protocol: protocol plugin
- tezos-013-PtJakart-test-helpers Tezos/Protocol: protocol testing framework
- tezos-protocol-015-PtLimaPt Tezos protocol 015-PtLimaPt package
- tezos-protocol-plugin-014-PtKathma Tezos/Protocol: protocol plugin
- octez-l2-libs Octez layer2 libraries
- tezos-embedded-protocol-008-PtEdo2Zk Tezos/Protocol: economic-protocol definition, embedded in `octez-node`
- tezos-shell-context-test Testing the Shell Context
- tezos-protocol-010-PtGRANAD-parameters Tezos/Protocol: parameters
- sonet Collection of modules for asynchronous network applications
- menhirGLR Runtime support library for GLR parsers generated by Menhir
- async_shell Shell helpers for Async
- mirage-kv-lwt MirageOS signatures for key/value devices
- commonjs_of_ocaml Import and export CommonJS modules in js_of_ocaml
- sslconf An OCaml version of Openssl's NCONF library
- solvuu-build Solvuu's build system.
- dns-forward-lwt-unix Lwt implementation for the `dns-forward` library
- cudajit Bindings to the `cuda` and `nvrtc` libraries with a unified interface
- not-ocamlfind A small frontend for ocamlfind that adds a few useful commands
- swhid_compute OCaml library to work with Software Heritage identifiers, compute library used in swhid
- zarr-lwt Lwt-aware API for Zarr
- callipyge Pure OCaml implementation of Curve25519
- rake Vector-first language for predictable SIMD
- epictetus Elegant Printer of Insanely Complex Tables Expressing Trees with Uneven Shapes
- ppx_view A ppx rewriter that provides pattern matching on abstract types by
- tezos-dac-node-lib Tezos: `tezos-dac-node` library
- octez-smart-rollup-node-alpha Protocol specific (for alpha) library for smart rollup node
- hedgehog-alcotest Alcotest integration for Hedgehog property-based testing
- camomile A Unicode library
- tezos-client-000-Ps9mPmXa Tezos/Protocol: protocol specific library for `tezos-client`
- tezos-protocol-000-Ps9mPmXa Tezos protocol 000-Ps9mPmXa package
- tezos-smart-rollup-layer2-017-PtNairob Tezos/Protocol: protocol specific library for `tezos-smart-rollup`
- tezos-baking-016-PtMumbai-commands Tezos/Protocol: protocol-specific commands for baking
- octez-protocol-001-PtCJ7pwo-libs Octez protocol 001-PtCJ7pwo libraries
- async_rpc_websocket Library to serve and dispatch Async RPCs over websockets
- pp Pretty-printing library
- subscriptions-transport-ws Websocket protocol for exchanging GraphQL requests and responses
- archi A library for managing the lifecycle of stateful components in OCaml
- lambda-runtime A custom runtime for AWS Lambda written in OCaml
- archi-lwt Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
- mesh Triangular mesh generation and manipulation
- octez-protocol-003-PsddFKi3-libs Octez protocol 003-PsddFKi3 libraries
- octez-shell-libs Octez shell libraries
- tezos-embedded-protocol-016-PtMumbai Tezos/Protocol: economic-protocol definition, embedded in `octez-node`
- tezos-event-logging-test-helpers Tezos: test helpers for the event logging library
- bls12-381 Implementation of the BLS12-381 curve (wrapper for the Blst library)
- tezos-legacy-store Tezos: legacy low-level key-value store for `tezos-node`
- octez-alcotezt Provide the interface of Alcotest for Octez, but with Tezt as backend
- tezos-smart-rollup-016-PtMumbai Tezos/Protocol: protocol specific library of helpers for `tezos-smart-rollup`
- octez-accuser-PtMumbai Tezos/Protocol: accuser binary
- octez-accuser-PtKathma Tezos/Protocol: accuser binary
- tezos-mempool-007-PsDELPH1 Tezos/Protocol: mempool-filters
- vercel A custom runtime for Vercel.com (Now v2) written in OCaml
- archi-async Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
- speed Speed - go fast by writing test first
- trail A minimalistic, composable web framework for building HTTP/WebSocket servers
- httpun-ws-lwt Lwt support for httpun
- httpun-ws-lwt-unix Lwt + unix support for httpun-ws
- httpun-ws-async Mirage support for httpun
- httpun-ws Websocket implementation for httpun
- httpun-ws-mirage Mirage support for httpun
- h2 A high-performance, memory-efficient, and scalable HTTP/2 library for OCaml
- conf-assimp Check if assimp (Open Asset Import Library) is installed
- TCSLib A multi-purpose library for OCaml.
- orgeat Ocaml Random Generation of Arbitrary Types
- ppx_pyformat Ppxlib based string format rewriter inspired by Python string `format`
- olinq LINQ inspired queries on in-memory data
- pidgio-miou A Miou/Flux Pidgio server
- gluten-async Async support for gluten
- gluten-lwt-unix Lwt + Unix support for gluten
- gluten-lwt Lwt-specific runtime for gluten
- gluten-mirage Mirage support for gluten
- gluten-eio EIO runtime for gluten
- gluten A reusable runtime library for network protocols
- cohttp-curl-async Cohttp client using Curl & Async as the backend
- coqide-server The Rocq Prover, XML protocol server
- coq-core Compatibility binaries for Coq after the Rocq renaming
- CamlSurf-x11 A program to display and animate implicit surfaces and curves
- calli CaLLi : OCaml Library for Static Analysis of LLVM bitcode
- swhid_core OCaml library to work with swhids
- cfg CFG - Context-Free Grammars
- tidy_email_smtp An OCaml library that simplifies connecting to SMTP servers
- conf-sdl2-net Virtual package relying on a sdl2-net system installation
- lwt-pipe An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
- hpack An HPACK (Header Compression for HTTP/2) implementation in OCaml
- avro-simple Pure OCaml implementation of Apache Avro
- h2-async Async support for h2
- xapi-forkexecd Sub-process control service for xapi
- h2-lwt-unix Lwt + UNIX support for h2
- h2-eio EIO support for h2
- h2-mirage Lwt support for h2
- h2-lwt Lwt support for h2
- dune-action-trace Dune Action Traces
- udunits Bindings to the UDUNITS-2 library
- tezt-bam A plugin of [bam] for Tezt
- lrgrep Detailed error messages for Menhir-generated parsers
- ppxx Ppxx: a small extension library for writing PPX preprocessors