Popular repositories Loading

1. CoqAlgebra CoqAlgebra Public

   A formalisation of abstract algebra in the Coq Proof Assistant

   Coq 1

2. Portfolio Portfolio Public

   A sample of my work

   CSS

3. MathcompFreeModules MathcompFreeModules Public

   A Formalisation of Free-Modules Extending the "lmodType" Construction in Mathcomp

   Coq

4. SSQRoots SSQRoots Public

   C++ program to create all positive roots of star-shaped quivers up to a give central value.

   C++

5. supermusr-data-pipeline supermusr-data-pipeline Public

   Forked from STFC-ICD-Research-and-Design/supermusr-data-pipeline

   Prototype data acquisition pipeline for Super-MuSR

   Jupyter Notebook

6. pipeline-test pipeline-test Public

   Shell