The Contributing page provides some pointers to how to contribute.

The Reference page hosts the documentation for Cinnamon, which Cinnamon extension developers may find useful.