Astra Kolomatskaia's Projects
Somewhat of a blend between 2048 and tetris, name is currently tentative
A textbook on informal homotopy type theory
Config files for my GitHub profile.
Formalisation of (part of) Wadler's Girard-Reynolds Isomorphism paper
This is a cpp TMP library for abstracting distributed storage for local lattice-based computations.
My solution to problem B from the 2018 Greater NY ICPC Regional
formalisation of the metatheory of a type theory which automatically constructs displayed versions of types
Code for the paper "You Wouldn't Permutahedron"
Formalising "Theorems For Free!"
ErdΕs institute data science bootcamp project
UW PMath quantum field theory seminar
Visualisation tool for anchored rectangle packing
An extension of the NbE algorithm to produce computational traces
SBUHacks 2018 Project
Work in progress on semi-simplicial types
C++ study; following the labs from Caltech's CS11 webpages.
This aims to be the most pretentious implementation of stlc in existence
My first experiment with Literate TeX for Agda
Project proposal for GSoC 2018
C++ tensors with broadcasting and lazy computing