This page serves as an entry point for organizing subprojects to tla or hackerlab.
Please add your project(s) as appropriate (for example if it is too large to be done by a single person and synchronization is needed).
Someone could also add a page with Tom's plan to separate libtla.
You can use SubprojectTodoTemplate to create the page.