Welcome to my home page. I'm a software developer, currently doing some independent videogame development, as well as working on a new programming language. More info about me.
See also my GitHub page.
A new verification-aware programming language (currently work-in-progress).
Mips2cs is a tool that converts MIPS machine code executables into C# programs. A variant, Risc2cpp, which converts RISC-V to C++, is also available.
This demo uses the "shallow water equations" to simulate the motion of water across a 3-D landscape.
Knights is a multiplayer game involving several knights who must run around a dungeon and solve various quests. Now available on Steam!
An experiment with reinforcement learning for the card game Dominion.
A rigid body physics engine and car driving simulation.
My PhD research work from 2002–2006.
I can be contacted by email, my address is: stephen (at) solarflare.org.uk.