Popular repositories Loading

1. Dagstuhl23401 Dagstuhl23401 Public

   Work coming out of Dagstuhl seminar 23401

   Lean 2

2. FIE2020 FIE2020 Public

   Cyber paper for FI2020

   TeX 1

3. UKRSE.github.io UKRSE.github.io Public

   Forked from UKRSE/UKRSE.github.io

   Website for the UK Society of Research Software Engineers

   HTML

4. SC2Benchmark SC2Benchmark Public

   Repository for a paper on Benchmarking out of SC2

   TeX

5. Website Website Public

   JHD's testing website

6. ICM2018-Panel2 ICM2018-Panel2 Public

   TeX