The main repo for the Scicloj Foundations study group - View it on GitHub