GitHub repository: penguineer/synctexng-rmq-server
Primary language: Java
Description: Yet another approach to SyncTex, leveraging RabbitMQ for communication.