Explore projects

Itauto: an Extensible Intuitionistic SAT Solver

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.