Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

Rocq plugin embedding Elpi

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

OCaml template engine almost compatible with jinja2

• ocaml
• jinja2
• template-engine

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

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

A dumb OCaml logger

• minimalist
• logging
• ocaml-library
• logger

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

TranslatedOCaml@p : A debugging printer for OCaml

Volt - A variant of Bolt OCaml logging tool