Some material here that some people might possibly like. Unfortunately, most of it is written in portuguese.

• The bn*.dvi family is about calculus in Banach spaces, Banach manifolds, how to introduce a Banach manifold structure in spaces of sections of a fiber bundle with compact base and applications to calculus of variations and sub-Riemannian geodesics.
• The conexao.dvi is about connections in vector bundles, pull-backs of connections, tensor products of conections, etc.
• The diid.dvi is about a generalization of Lie derivatives and the formula di+id=L for Lie derivatives of differential forms. As corolaries we get Poincare's theorem (every closed form is exact in contractible manifolds), Darboux's theorem (for simpletic forms and contact forms).
• The froben1.dvi is about the Frobenius theorem and it's aplications. There are lots of examples of how to actually aply Frobenius theorem in global situations (using the fundamental group).
• The prova.dvi is a test I gave to some students. There are five questions and they are nearly impossible to beginners, but they are not very difficult to mathematicians (however, some of them are not very easy too). The answers are in gabar.dvi.
• The hamlag.dvi is about Lagrangians and Hamiltonians (in manifolds and vector bundles). The idea is to make everything coordinate-free as much as possible. Lots of global constructions available there.
• The polinom.dvi is about algebra. It's an interesting approach to rings of polinomials.
• The homology.dvi is about algebraic topology (more especifically, about singular homology theory). Just some stuff I have been studying and decided to write down. It is written in ENGLISH.