Repository Index

Universal toplevel for OCaml

A lightweight and colourful test framework

• unit-testing
• ocaml

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

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

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

Inline (Unit) Tests for OCaml

OCaml bindings to MariaDB, supporting the nonblocking API

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

Test::Simple, for OCaml

• ocaml
• testing
• unit-testing

Declarative terminal graphics for OCaml