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