Visual Studio Code extension for OCaml

OCaml Language Server Protocol implementation

Script that greps anything in the sources of every opam packages

The official OCaml website.

Design discussions about the OCaml language

Progress bar library for OCaml

reuse is a tool for compliance with the REUSE recommendations.

GitHub Action for the OCaml programming language

Empowering everyone to build reliable and efficient software.

[@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.

The core OCaml system: compilers, runtime system, base libraries

OCaml bindings for Python

A library of generic data structures.

Cerberus C semantics

Interface with the rustc compiler for the purpose of program verification

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

Library for binding to C libraries using pure OCaml

Auto-formatter for OCaml code

A frontend for multiple SMT solvers in OCaml

Set up a specific version of the Z3 theorem prover

overrides for packages converted from opam

The Z3 Theorem Prover

Kani Rust Verifier