Repository Index

Universal toplevel for OCaml

Low-level JSON parsing and pretty-printing library for OCaml

• json
• ocaml
• yojson
• parser

An OCaml lexer generator for Unicode

Terminal manipulation library for OCaml

• ocaml

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

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

Communication between Coq and SAT/SMT solvers

Exercism exercises in OCaml.

• exercism-track
• community-contributions-accepted
• maintained-solitary

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

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

OCaml bindings to MariaDB, supporting the nonblocking API

Pure OCaml implementation of the "vchan" shared-memory communication protocol

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Extensible binary data format, like JSON but faster

Pretty-printing library for OCaml

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

Declarative terminal graphics for OCaml