This is Diffgeom (the Differential Geometry wiki).
Much of it is patterned on the Group Properties wiki.
It is currently in a very preliminary stage and may contain a number of factual errors. It is meant only for private use.
It may never become sturdy enough for public use!
- [Lie group]