I'm Astra Kolomatskaia (she/her), a PhD student at Stony Brook University working with Emily Riehl (Johns Hopkins)
I study homotopy type theory, with a focus on higher coherence issues and infinitary towers of data [watch this space]
Name: Astra Kolomatskaia
Type: User
Company: Stony Brook University
Bio: Studies mathematics.
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
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
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.