ImperialCollegeLondon / Visual2

Code for modelling estimated deaths and cases for COVID19.

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Speech Processing Toolbox for MATLAB

Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code

A C++ library and collection of tools that aims to make modding games in the Sonic the Hedgehog franchise easier.

A Full Decompilation of Sonic CD (2011) & Retro Engine (v3)

A complete decompilation of Retro Engine (v5)

Implementations of SIMD instruction sets for systems which don't natively support them.

A mod manager for Sonic Generations, Sonic Lost World, Sonic Forces, Sonic Colours Ultimate and other PC Hedgehog Engine games.

A complete decompilation of Sonic Mania (2017)