A template to write simple math documents.
A LaTeX template to write beautiful posters.
Implementation of bigraphs in Coq.
Our fork of Frama-C.