Good idea. Give them these:<p><a href="http:&#x2F;&#x2F;neugierig.org&#x2F;software&#x2F;c-repl&#x2F;" rel="nofollow">http:&#x2F;&#x2F;neugierig.org&#x2F;software&#x2F;c-repl&#x2F;</a><p><a href="https:&#x2F;&#x2F;root.cern.ch&#x2F;cint" rel="nofollow">https:&#x2F;&#x2F;root.cern.ch&#x2F;cint</a>