Neumann János Informatikai Technikum - GitLab
Interested parties can even contribute by pushing commits if they want to.