Spivoxity
I mostly use Mercurial for version control and push to GitHub via hg-git. Apologies for the artefacts this causes.
University of Oxford
Pinned Repositories
baremetal-v2
Code from the book Bare Metal micro:bit, configured for the V2 micro:bit with an nRF52833 microcontroller chip.
fuzz
The fuzz typechecker for Z
microbian
The micro:bian embedded OS for BBC micro:bit and other ARM-based microcontroller boards
nanocomp
Firmware for an M6802-based clock
ninth
The Ninth dialect of Forth
obc-3
Oxford Oberon-2 compiler
ppc
Multi-target picoPascal compiler
pprolog
thunder
A portable JIT framework
zrm
LaTeX source for the Z Reference Manual
Spivoxity's Repositories
Spivoxity/obc-3
Oxford Oberon-2 compiler
Spivoxity/zrm
LaTeX source for the Z Reference Manual
Spivoxity/fuzz
The fuzz typechecker for Z
Spivoxity/baremetal-v1
Code from the book Bare Metal micro:bit, configured for the V1 micro:bit with an nRF51822 microcontroller chip.
Spivoxity/baremetal-v2
Code from the book Bare Metal micro:bit, configured for the V2 micro:bit with an nRF52833 microcontroller chip.
Spivoxity/microbian
The micro:bian embedded OS for BBC micro:bit and other ARM-based microcontroller boards
Spivoxity/pprolog
Spivoxity/ppc
Multi-target picoPascal compiler
Spivoxity/nanocomp
Firmware for an M6802-based clock
Spivoxity/ninth
The Ninth dialect of Forth
Spivoxity/thunder
A portable JIT framework
Spivoxity/yprolog
University of York portable Prolog system
Spivoxity/avr-usb
Examples of simple USB devices implemented on ATtiny microcontrollers
Spivoxity/geany-mods
Latest version of Geany backported to Debian buster, with minor additions
Spivoxity/geomlab
A simple programming environment that supports a functional graphics language
Spivoxity/mp2pdf
Translator from MetaPost output to TeX input, suitable for pdfTeX
Spivoxity/opdraw
pdfTeX-based tool for rendering operator trees as PDF and PNG
Spivoxity/oxenv-vbox
A simple programming environment for Oxford undergraduates
Spivoxity/Spivoxity
Config files for my GitHub profile.
Spivoxity/winkel-skin
A MediaWiki skin hacked up from Vector that I use at Spivey's Corner.
Spivoxity/xml2pmx
Porting the XML2PMX music conversion tool to OBC.