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.
Pure OCaml implementation of the Xen vchan protocol for fast inter-domain communication using shared memory.
A library for dispatching requests to handlers based on hierarchical URI paths in OCaml applications.
A multi-tool for generating OCaml bindings to JavaScript libraries with OCaml-centric design and automated dependency handling.
An OCaml library for easy indentation and pretty-printing of structured data.
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.
OCaml build rules for Bazel, enabling native and bytecode binary compilation with OPAM dependency management.
OCaml bindings for nanomsg, providing a ctypes-based interface to the lightweight messaging library.
A minimalistic lazy logger for OCaml console applications with optional coloring and custom prefixes.
A PPX-based OCaml extension for runtime type representations, enabling generic type-driven operations like automatic GUI generation and SQL schema derivation.
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 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.
Mutation analysis tool for Coq verification projects to detect incomplete specifications.
An OCaml PPX extension and library for general value printing within compiled programs, not just the REPL.
A process pool implementation for OCaml that enables parallel task execution across multiple cores using message-passing.
A debugging tool that prints OCaml values by inspecting their runtime memory representation.
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.
A collection of OCaml bindings for Apache Cordova plugins, enabling typed mobile app development with OCaml.
Converts OASIS metadata to OPAM package descriptions for OCaml projects.
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.
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.
A native OCaml implementation of CBOR (Concise Binary Object Representation) decoder and encoder compliant with RFC 7049.
Pure OCaml library for reading and writing FAT filesystems, primarily for creating bootable Mirage kernel disk images.
A minimalist library for datatype-generic programming in OCaml, enabling functions that work across unrelated data types without runtime overhead.
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.