Explore projects

Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.

forked from coq/coq

A short introduction to Iris: slides and demos.