Repository Index

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

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

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

Runtime types for OCaml (beta version)

Tool to convert OASIS metadata to OPAM package descriptions