Chris Sangwin's repositories
moodle-qtype_stack
Stack question type for Moodle
arXiv-text-extracter
Scripts to extract text from the bulk data downloaded from arXiv
TMS-MAXIMA
Maxima compatible TMS code for step by step computation
betterinformatics
Welcome to Better Informatics. The student run website for students in School of Informatics.
cnu-w01-workshop
Computing and Numerics - Week 1 workshop
gitsync-test
This repository is used to test the new "gitsync" code: https://github.com/maths/moodle-qbank_gitsync
logic_and_proof
CMU Undergrad Course
maximapool-docker
Dockerized MaximaPool
moodle-local_codechecker
Simple coding-style checker for Moodle, using PHP_CodeSniffer
moodle-local_qbehaviour_interactiveexplain
allow configuration of the interactiveexplain question behaviour
moodle-qtype_coderunner
A moodle quiz question type that runs student-submitted program code in a sandbox to check if it satisfies a given set of tests.
moodle-qtype_oumultiresponse
A multiple-choice, multiple response question type for Moodle, with particular scoring rules.
paraglidercontrol
Paragliding simlulator control unit.
Problem-Solving-Maths-Group
Repository for the materials of University of Edinburgh Problem solving maths group
Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
unicode-math-normalization
Data for normalizing mathematical expressions written in Unicode