Andrew Head's repositories
texcompile
TeX compilation service that makes use of arXiv.org's AutoTeX library.
scholarphi-definition-detector
Definition detector service for ScholarPhi
cis700-003-ui-hacking-demonstration
Code written during lecture, with one snapshot per lecture day
manim-tests
Attempting to use manim for authoring notation
python-program-analysis
A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
texsymdetect
High-precision extraction of positions and structure of multi-level symbols from LaTeX papers
annotated_latex_equations
Examples of how to create colorful, annotated equations in Latex using Tikz.
cis700-003-implementation
Implementation prototype for prototyping lecture
cis700-003-ui-hacking
Code for CIS 700-003 lecture on UI programming basics
diff_match_patch-python
Python extension module for google-diff-match-patch's C++ implementation
living-papers
Authoring tools for scholarly communication. Create interactive web pages or formal research papers from markdown source.
p5js-iframe-build-tests
Build and iframe tests for simple p5js game
paper-sampling-scripts
Helper scripts for sampling papers from recent academic conferences for science of science
parcel-inline-test
Testing out inlining code using Parcel
scientific-paper-summarisation
Machine learning models to automatically summarise scientific papers
tex-template
References file used in my projects
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
zoom-vtt-formatter
Formats VTT captions output by Zoom to prettier text transcripts