Repository Index

Code coverage for OCaml and ReScript

• coverage
• ocaml

An OCaml lexer generator for Unicode

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

A Yojson codec generator for OCaml.

• deriving
• json

OCaml type-safe query builder with syntax tree extension

A Unicode library for OCaml

Pure OCaml implementation of Zlib.

• ocaml
• zlib
• compression
• decompression

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

OCaml code generator plugin for the Cap'n Proto serialization framework

Light library to deal with RPCs in OCaml

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Declarative 2D vector graphics for OCaml

Template for an ocaml project with modern tooling

• ocaml

Less redundancy in type declarations and signatures

OCaml Amqp client library for Async and Lwt.

• amqp-client
• rabbitmq
• async
• ocaml

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

Multilingualization for the OCaml source code

OCaml PPX deriver for reflection

Path-based dispatching for client- and server-side applications.

• web

Non-blocking streaming Unicode codec for OCaml