Pinned Repositories
git-remote.nvim
dynamical
agartex-app
Web application for AgarTeX
agartex-authentication
Authentication Service
agartex-collaboration
Real time collaboration service for AgarTeX
agartex-compilation
Latex Compilation Service
agartex-resource-management
Resource Management Service
agartex-service
Service with backend functionalities for AgarTeX
agartex-service-core
Main reposiotry with miscellaneous scripts used to start agartex