The specification and the documentation can be found in the wiki. Use the wiki sidebar for navigation. The native component can be found in the parser, the Spring backend in the backend, and the IOS frontend in the frontend folder.