Since there is no official release, you can browse the svn repository and get the sources of components/ and matita/.