Awesome

BRiCk and other BlueRock libraries

BRiCk (Program logic for C++)

See this README.md.

Code generator for BRiCk

See this README.md.

Lens library

See this README.md.

Extension of std++ for universe polymorphic monads

See this README.md.

Extension of the elpi standard library

See this README.md.

Extension of the Ltac2 standard library

See this README.md.

Ltac2 logging library

See this README.md.

OCaml library with extensions of the Rocq API

See this README.md.

OCaml logger library

See this README.md.

Extension of the OCaml standard library

See this README.md.

OCaml bindings for SWI-Prolog

See this README.md.

Instrumentation for the Rocq compiler

See this README.md.