Contract Programming Library for C++
proof verifier for mathematical proofs and documentation generator
Woas is a complete wiki in a single HTML file, forked from stickwiki.
Sonicwall Configuration File Reader
doc cms + more
Program for generating Arch Linux Pacman Manager dependencies graph
html5media is a DITA-OT plugin and authoring UI for media insertion
small web CMS for software projects
Collaborative editor, requirements management tool and much more