proof verifier for mathematical proofs and documentation generator
Additional Graphical Classes and Widgets for Tkinter/Ttk
Book On C++11 feature
Simple and Powerful Latex Editor
The new multi-platform text editor with syntax highlighting
CV / Resume Maker Latex package for creating configurable layout PDFs
Ready-to-use appliance for GIS, Data Mining and Analysis, Modelling...
Yacc-to-Latex pretty printer/convertor