sangwinc
Professor in the School of Mathematics at the University of Edinburgh.
University of EdinburghEdinburgh, UK
Pinned Repositories
arXiv-text-extracter
Scripts to extract text from the bulk data downloaded from arXiv
betterinformatics
Welcome to Better Informatics. The student run website for students in School of Informatics.
bettermathematics.github.io
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
local_rhandler
logic_and_proof
CMU Undergrad Course
moodle-qtype_stack
Stack question type for Moodle
Numbas
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
TMS-MAXIMA
Maxima compatible TMS code for step by step computation
sangwinc's Repositories
sangwinc/arXiv-text-extracter
Scripts to extract text from the bulk data downloaded from arXiv
sangwinc/moodle-qtype_stack
Stack question type for Moodle
sangwinc/Numbas
A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics
sangwinc/TMS-MAXIMA
Maxima compatible TMS code for step by step computation
sangwinc/betterinformatics
Welcome to Better Informatics. The student run website for students in School of Informatics.
sangwinc/bettermathematics.github.io
sangwinc/cnu-w01-workshop
Computing and Numerics - Week 1 workshop
sangwinc/gitsync-test
This repository is used to test the new "gitsync" code: https://github.com/maths/moodle-qbank_gitsync
sangwinc/local_rhandler
sangwinc/logic_and_proof
CMU Undergrad Course
sangwinc/maximapool-docker
Dockerized MaximaPool
sangwinc/moodle
Moodle - the world's open source learning platform
sangwinc/moodle-local_codechecker
Simple coding-style checker for Moodle, using PHP_CodeSniffer
sangwinc/moodle-local_qbehaviour_interactiveexplain
allow configuration of the interactiveexplain question behaviour
sangwinc/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.
sangwinc/moodle-qtype_oumultiresponse
A multiple-choice, multiple response question type for Moodle, with particular scoring rules.
sangwinc/moodle-quizaccess_addreview
sangwinc/moodleCJ
sangwinc/paraglidercontrol
Paragliding simlulator control unit.
sangwinc/Problem-Solving-Maths-Group
Repository for the materials of University of Edinburgh Problem solving maths group
sangwinc/Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
sangwinc/spatchcoqocaml
sangwinc/unicode-math-normalization
Data for normalizing mathematical expressions written in Unicode