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

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

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 postdoctoral fellow in computer science at Wesleyan University

I completed my PhD at Stony Brook University with Emily Riehl (Johns Hopkins)

My thesis introduced Displayed Type Theory (dTT) and constructed semi-simplicial types

Pinned Loading

  1. stlc stlc Public

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

    Agda 61 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++ 2

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

    C++ tensors with broadcasting and lazy computing

    C++ 3.4k 403