Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Auto-formatter for OCaml code

• ocaml

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

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

OCaml code generator plugin for the Cap'n Proto serialization framework