neocompiler-server Simple set of tools for managing a neocompiler server This repository consist in a nginx server and simple scripts for reestarting the server.