Pinned Repositories
benchmark-submission
Git repository for the submission of SMT-LIB benchmarks
Dagstuhl23401
Work coming out of Dagstuhl seminar 23401
FIE2020
Cyber paper for FI2020
FTAG-Debt
Paper through FTAG on technical debt/security
ICM2018-Panel2
SC2Benchmark
Repository for a paper on Benchmarking out of SC2
SuperOpt
UKRSE.github.io
Website for the UK Society of Research Software Engineers
Website
JHD's testing website
CDs
The OpenMath Content Dictionaries
JamesHDavenport's Repositories
JamesHDavenport/Dagstuhl23401
Work coming out of Dagstuhl seminar 23401
JamesHDavenport/FIE2020
Cyber paper for FI2020
JamesHDavenport/benchmark-submission
Git repository for the submission of SMT-LIB benchmarks
JamesHDavenport/FTAG-Debt
Paper through FTAG on technical debt/security
JamesHDavenport/ICM2018-Panel2
JamesHDavenport/SC2Benchmark
Repository for a paper on Benchmarking out of SC2
JamesHDavenport/SuperOpt
JamesHDavenport/UKRSE.github.io
Website for the UK Society of Research Software Engineers
JamesHDavenport/Website
JHD's testing website