Astra Kolomatskaia's repositories
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.
Language:C++000
book
A textbook on informal homotopy type theory
000
FrozenWinters
Config files for my GitHub profile.
GirardReynolds
Formalisation of (part of) Wadler's Girard-Reynolds Isomorphism paper
Moving_Buildings
My solution to problem B from the 2018 Greater NY ICPC Regional
Language:C++000
polymorphic
Formalising "Theorems For Free!"
rectangles_web
Visualisation tool for anchored rectangle packing
Language:HTML000
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