Astra Kolomatskaia

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

perm. Code for the paper "You Wouldn't Permutahedron"

parametric-d. formalisation of the metatheory of a type theory which automatically constructs displayed versions of types

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

xtensor. C++ tensors with broadcasting and lazy computing

stlc-paper. My first experiment with Literate TeX for Agda

HTN_PDEs. JavaScript

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

FrozenWinters. Config files for my GitHub profile.

multigrid_poisson. C++

pathalg. Agda

SBUHacks_cancer_visualisation. SBUHacks 2018 Project

rectangles_web. Visualisation tool for anchored rectangle packing

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

primrec. Erdős institute data science bootcamp project

polymorphic. Formalising "Theorems For Free!"

Standard-Compliant-Vector. C++ study; following the labs from Caltech's CS11 webpages.

xinvert. Project proposal for GSoC 2018