FrozenWinters

stlc

This aims to be the most pretentious implementation of stlc in existence

SSTs

Work in progress on semi-simplicial types

SbE

An extension of the NbE algorithm to produce computational traces

parametric-d

formalisation of the metatheory of a type theory which automatically constructs displayed versions of types

xtensor

C++ tensors with broadcasting and lazy computing

2048-tris

Somewhat of a blend between 2048 and tetris, name is currently tentative

lattice_hydrodynamics

This is a cpp TMP library for abstracting distributed storage for local lattice-based computations.

book

A textbook on informal homotopy type theory

FrozenWinters

Config files for my GitHub profile.

GirardReynolds

Formalisation of (part of) Wadler's Girard-Reynolds Isomorphism paper

HTN_PDEs

Moving_Buildings

My solution to problem B from the 2018 Greater NY ICPC Regional

multigrid_poisson

pathalg

polymorphic

Formalising "Theorems For Free!"

primrec

Erdős institute data science bootcamp project

qft

UW PMath quantum field theory seminar

rectangles_web

Visualisation tool for anchored rectangle packing

rms-open-letter.github.io

SBUHacks_cancer_visualisation

SBUHacks 2018 Project

Standard-Compliant-Vector

C++ study; following the labs from Caltech's CS11 webpages.

stlc-paper

My first experiment with Literate TeX for Agda

xinvert

Project proposal for GSoC 2018