Ocaml
Showing 36 of 217 projects
A modular and fully-configurable OCaml linter and style checker for OCaml compiler versions 4.10.0 to 4.14.0.
A library for dispatching requests to handlers based on hierarchical URI paths in OCaml applications.
Pure OCaml implementation of the Xen vchan protocol for fast inter-domain communication using shared memory.
An OCaml library for easy indentation and pretty-printing of structured data.
A multi-tool for generating OCaml bindings to JavaScript libraries with OCaml-centric design and automated dependency handling.
Extensible binary data format designed for speed, safety, and backward compatibility, offering a faster alternative to JSON.
Docker images for Coq proof assistant versions 8.4 to 8.20, based on Debian Slim with opam 2.x.
A DSL for safe and composable SQL queries in OCaml using comprehensions and expressive types, built on PG'OCaml.
A minimalistic lazy logger for OCaml console applications with optional coloring and custom prefixes.
OCaml bindings for nanomsg, providing a ctypes-based interface to the lightweight messaging library.
OCaml build rules for Bazel, enabling native and bytecode binary compilation with OPAM dependency management.
A Coq plugin providing tactics for rewriting universally quantified equations modulo associativity and commutativity.
OCaml bindings to the PCRE library, providing Perl-compatible regular expressions for string matching.
A PPX-based OCaml extension for runtime type representations, enabling generic type-driven operations like automatic GUI generation and SQL schema derivation.
A non-blocking streaming Unicode codec for OCaml supporting UTF-8, UTF-16, UTF-16LE, and UTF-16BE encoding schemes.
A module for measuring and comparing the run-time performance of OCaml functions.
A library providing a purely functional IO monad for Coq, enabling direct implementation of IO programs with OCaml bindings.
A library to inspect OCaml values and their object graph, outputting S-expressions or Graphviz DOT format.
An OCaml implementation of the Raft consensus algorithm for building fault-tolerant distributed systems.
A minimalist OCaml library for parsing command-line arguments with strict validation and clear error messages.
A debugging tool that prints OCaml values by inspecting their runtime memory representation.
An OCaml PPX extension and library for general value printing within compiled programs, not just the REPL.
Mutation analysis tool for Coq verification projects to detect incomplete specifications.
A process pool implementation for OCaml that enables parallel task execution across multiple cores using message-passing.
An OCaml library for parsing and printing date-times in ISO 8601 and RFC 3339 formats with permissive input handling.
Vim plugin that integrates ocp-indent for automatic OCaml code formatting.
OCaml bindings for the Message Passing Interface (MPI) library, enabling distributed-memory parallel programming in OCaml.
Converts OASIS metadata to OPAM package descriptions for OCaml projects.
A collection of OCaml bindings for Apache Cordova plugins, enabling typed mobile app development with OCaml.
A static analyzer performing shape analysis on memory structures in programs.
A human-friendly OCaml regex library providing an easy interface for common string operations without C dependencies.
A native OCaml implementation of CBOR (Concise Binary Object Representation) decoder and encoder compliant with RFC 7049.
An OCaml library for printing values with explicit sharing detection, mimicking OCaml syntax for debugging and logging.
A Coq library providing arbitrarily large integer and rational numbers (BigN, BigZ, BigQ) for formal verification.
Pure OCaml library for reading and writing FAT filesystems, primarily for creating bootable Mirage kernel disk images.
An OCaml library providing efficient access to Unicode character properties from the Unicode character database.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.