Skip to content
View FrozenWinters's full-sized avatar
🔍
Studying homotopy type theory.
🔍
Studying homotopy type theory.
65 followers · 8 following
  • Stony Brook University

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark
Block or Report

Block or report FrozenWinters

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
FrozenWinters/README.md

👋 Hi there!

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]

Pinned Loading

  1. stlc stlc Public

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

    Agda 59 2

  2. SbE SbE Public

    An extension of the NbE algorithm to produce computational traces

    Agda 21

  3. SSTs SSTs Public

    Work in progress on semi-simplicial types

    Agda 23

  4. Labdabeta/trains Labdabeta/trains Public

    CS452

    C 1

  5. lattice_hydrodynamics lattice_hydrodynamics Public

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

    C++ 1

  6. xtensor-stack/xtensor xtensor-stack/xtensor Public

    C++ tensors with broadcasting and lazy computing

    C++ 3.3k 390