Repository Index

OCaml debug adapter

• debugger
• debug-adapter-protocol
• ocaml

OCaml library for reading, writing and modifying PDF files

A REST toolkit for OCaml

• ocaml
• webmachine
• web
• http

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.

Automated S-expression conversion

OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.

• diff
• snapshot-testing
• testing
• snapshot

A Yojson codec generator for OCaml.

• deriving
• json

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

OCaml implementation of the DNS protocol

• ocaml
• dns
• mirageos
• unikernel

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.

OCaml cryptographic library

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

A neat interface for Slack

• ocaml
• slack
• binding
• bot

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

The transitory OCaml software packager

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing