Kayrebt::Exec

Equip activity diagrams with a semantics in Rewriting Logic

Kayrebt::Globsym

Extract global symbols from the Linux kernel into a sqlite database

Audit

Generate a call sequence for the Linux system calls

Lexsynt

Transform Alfred code in LaTeX code

Code Viewer

Display GraphViz's files and manipulate the drawing