Showing 36 of 217 projects
An RFC3986-compliant URI/URL parsing library for OCaml with multiple parser backends.
A template for OCaml projects with modern tooling including dune build system, LSP server, and CI setup.
A comprehensive OCaml toolbox implementing multiple hash algorithms with both C and OCaml backends.
An OCaml syntax extension for importing types and signatures from compiled interface files to reduce redundancy.
Generates Nix expressions from OPAM packages to build OCaml projects within the Nix ecosystem.
A Mustache.js-compatible logic-less templating engine implemented in OCaml.
A complete OCaml interface to the Slack API with a command-line notification tool.
OCaml bindings for ZeroMQ 4.x, providing message-passing capabilities for distributed systems.
Pure OCaml client library for Redis, offering both synchronous and LWT-based asynchronous bindings.
A generic Makefile for building small to medium-sized OCaml projects with minimal configuration.
A multi-backend SMT solver frontend for OCaml providing a consistent interface to various solvers.
OCaml bindings for Apache Kafka, enabling Kafka client functionality in OCaml applications.
A packager for distributing OCaml software with an API to describe installation files and distribution procedures.
An OCaml client library for AMQP 0.9.1 and RabbitMQ extensions, supporting both Async and Lwt concurrency models.
An OCaml ORM library that automatically generates SQLite persistence functions from type definitions without manual SQL.
A Windows-friendly distribution of OCaml focused on native development with mixed OCaml/C projects.
A multi-format pretty-printer for Menhir parser files, generating LaTeX, HTML, and EBNF outputs.
OCaml bindings to libcurl for client-side URL transfers supporting HTTP and multiple network protocols.
A Coq plugin that replaces Coq's standard unification algorithm with an enhanced one supporting universe polymorphism and overloading.
OCaml bindings for MariaDB providing both blocking and nonblocking APIs, supporting prepared statements and integration with Lwt and Async.
OCaml binding for the Cairo 2D vector graphics library, enabling vector drawing and text rendering from OCaml applications.
Python bindings and libraries for interacting with the Coq interactive proof assistant programmatically.
A comprehensive library of data structures and algorithms implemented in OCaml for educational purposes.
Self-contained OCaml bindings to linenoise, providing easy high-level readline functionality without system dependencies.
A parallel, incremental, and declarative build system for OCaml libraries and programs.
A micro-benchmarking library for OCaml with ppx_bench syntax extension support.
OCaml syntax extension for type-safe embedded SQL queries using PG'OCaml.
OCaml PPX deriver providing runtime type representations for efficient, type-safe reflection and generic functions.
A friendly and minimalist link sharing website built with OCaml and PostgreSQL.
OCaml library for reporting application metrics to Prometheus monitoring servers.
Fast, memory-efficient queue implementations in OCaml for functional and imperative use cases.
An OCaml implementation of Shopify's Liquid templating language, featuring an interpreter, parser, and lexer.
OpenID Connect client implementation in OCaml, currently focused on Relying Party functionality.
Enables Unicode identifiers in OCaml source code, allowing non-English characters in variable, function, and type names.
An OCaml library for building and executing typed, distributed scientific workflows with automatic dependency tracking.
Type and doc on hover for OCaml and Reason in emacs
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.